
Søren Debois
Associate Professor
- Computer Science
Department
- Center for Information Security and Trust
Research center
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Building: 4F25-4T91
Information Desk: 72185000
- 2014
- Published
A Case for Declarative Process Modelling: Agile Development of a Grant Application System
Debois, S., Hildebrandt, T., Slaats, T. & Marquard, M., 2014, Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), 2014 IEEE 18th International. IEEE Computer Society Press, p. 126-133 8 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
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
- Published
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
- 2015
- Published
Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes
Debois, S., Hildebrandt, T. & Slaats, T., 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Bjørner, N. & de Boer, F. (eds.). Springer, p. 143-160 18 p. (Lecture Notes in Computer Science, Vol. 9109).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
The Analysis of a Real Life Declarative Process
Debois, S. & Slaats, T., 2015, Proceedings of the 2015 Symposium on Computational Intelligence and Data Mining (CIDM). IEEE: IEEE Computer Society Press, p. 1374 - 1382Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9
Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 17 May 2015, Proceedings of the 2nd International Workshop on Software Engineering Research and Industrial Practice. IEEE Computer Society Press, p. 54-57Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Concurrency & Asynchrony in Declarative Workflows
Debois, S., Hildebrandt, T. & Slaats, T., 31 Aug 2015, Lecture Notes in Computer Science: Proceedings of 13th International Conference on Business Process Management (BPM 2015). Springer, Vol. 9253. p. 72-89 (Lecture Notes in Computer Science).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Hybrid process technologies in the financial sector
Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 31 Aug 2015, CEUR Workshop Proceedings: Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 (BPM-Industry 2015). CEUR Workshop Proceedings, Vol. 1439. p. 107-119 (CEUR Workshop Proceedings).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- 2016
- Published
Deriving Consistent GSM Schemas from DCR Graphs
Eshuis, R., Debois, S., Slaats, T. & Hildebrandt, T., 2016, International Conference on Service-Oriented Computing: ICSOC 2016: Service-Oriented Computing . Springer Publishing Company, p. 467–482 (Lecture Notes in Computer Science, Vol. 9936).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
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
ID: 263576