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

Towards an Entropy-based Analysis of Log Variability

Back, C. O., Debois, S. & Slaats, T., 17 Jan 2018, International Conference on Business Process Management: BPM 2017: Business Process Management Workshops. Springer, p. 53-70 (Lecture Notes in Business Information Processing, Vol. 308).

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

On Purpose and by Necessity: Compliance under the GDPR

Basin, D., Debois, S. & Hildebrandt, T., 2018, Financial Cryptography and Data Security. 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018,. Springer, (Lecture Notes in Computer Science, Vol. 10957).

Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › 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

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

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

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

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

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

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