The DCR Workbench: Declarative Choreographies for Collaborative Processes

Debois, S. & Hildebrandt, T., 1 Jun 2017, Behavioural Types: from Theory to Tools. Gay, S. & Ravara, A. (eds.). River Publishers, p. 99-124 26 p. (River Publishers Series in Automation, Control and Robotics).

Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review

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

A Model Checker for Bigraphs

Perrone, G. D., Debois, S. & Hildebrandt, T., Mar 2012, SAC '12. Proceedings of the 27th Annual ACM Symposium on Applied Computing. New York, NY, USA: Association for Computing Machinery, p. 1320-1325

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Bigraphical Refinement

Perrone, G. D., Debois, S. & Hildebrandt, T., 2012, Electronic Proceedings in Theoretical Computer Science. EPTCS. University of New South Wales Press, Vol. 55. p. 20-36 16 p. (Electronic Proceedings in Theoretical Computer Science. EPTCS, Vol. 55).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

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-57

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

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

DCR Event-reachability via Genetic Algorithms

Högnasson, T. & Debois, S., 29 Jan 2019, Business Process Management Workshops: BPM 2018. Springer, Cham, Vol. 342. (Lecture Notes in Business Information Processing, Vol. 342).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Declarative Choreographies and Liveness

Hildebrandt, T. T., Slaats, T., López, H. A., Debois, S. & Carbone, M., Jun 2019, International Conference on Formal Techniques for Distributed Objects, Components, and Systems: FORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems . Springer, p. 129-147 19 p. (Lecture Notes in Computer Science, Vol. 11535).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

Declarative Process Mining for DCR Graphs

Debois, S., Hildebrandt, T. T., Laursen, P. H. & Ulrik, K. R., 2017, Proceedings of the Symposium on Applied Computing: SAC '17. New York, NY, USA: Association for Computing Machinery, p. 759-764 6 p.

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

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