Research output per year
Research output per year
Search results
-
2021
ReGraDa: Reactive graph data
Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, T. T., Norman, H. & Slaats, T., 2021, In: Lecture notes in computer science. 12717, p. 188-205 18 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research
Open Access -
2018
The Process Highlighter: From Texts to Declarative Processes and Back
López-Acosta, H.-A., Hildebrandt, T., Debois, S. & Marquard, M., 10 Sept 2018, In: CEUR Workshop Proceedings. p. 66-70 5 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open AccessFile -
2017
Managing complexity in process digitalisation with dynamic condition response graphs
Hildebrandt, T., Debois, S., Slaats, T. & Marquard, M., 2017, In: CEUR Workshop Proceedings. 1898, 8 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open AccessFile -
2016
Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans
Debois, S., Hildebrandt, T. & Sandberg, L., 2016, In: Procedia Computer Science. 83, p. 1295–1300Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open AccessFile -
In the Nick of Time: Proactive Prevention of Obligation Violations
Basin, D., Debois, S. & Hildebrandt, T., 11 Aug 2016, In: I E E E Computer Security Foundations Symposium. Proceedings. p. 120-134 15 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open AccessFile -
2014
Hierarchical Declarative Modelling with Refinement and Sub-processes
Debois, S., Hildebrandt, T. & Slaats, T., 2014, In: Lecture Notes in Computer Science. 8659, p. 18--33 16 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
-
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 2014, In: Lecture Notes in Computer Science. 8461, p. 1-16 16 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
-
2010
A Graphical Approach to Progress for Structured Communication in Web Services
Carbone, M. & Debois, S., 2010, In: Electronic Proceedings in Theoretical Computer Science. 38Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
-
2008
On the Construction of Sorted Reactive Systems
Birkedal, L., Debois, S. & Hildebrandt, T., 2008, In: Lecture Notes in Computer Science. 5201, p. 218-232 15 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
File