Dynamic Evaluation Forms using Declarative Modeling

Strømsted, R., López-Acosta, H-A., Debois, S. & Marquard, M., 4 Sep 2018, 16th International Conference on Business Process Management (BPM'18). Weber, B., van der Aalst, W. M. P., Casati, F., Conforti, R. & Dumas, M. (eds.). Sydney, Australia: CEUR Workshop Proceedings, p. 172-179 7 p. (CEUR Workshop Proceedings, Vol. 2196).

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

Monitoring the GDPR: European Symposium on Research in Computer Security

Kock, E. A., Basin, D. & Debois, S., 2019, Computer Security – ESORICS 2019: European Symposium on Research in Computer Security. Springer, p. 681-699 (Lecture Notes in Computer Science, Vol. 11735).

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

On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems

Madsen, M. F. & Debois, S., Jul 2020, PODC '20: Proceedings of the 39th Symposium on Principles of Distributed Computing. Association for Computing Machinery, Vol. 39. p. 159-168 10 p.

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

Open to Change: A Theory for Iterative Test-Driven Modelling

Slaats, T., Debois, S. & Hildebrandt, T., 2018, Proceedings of the 16th International Conference on Business Process Management. Springer, p. 31-47 17 p. (Lecture Notes in Computer Science, Vol. 11080).

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

RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta

Seco, J. C., Debois, S., Hildebrandt, T. T. & Slaats, T., 2018, 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC). IEEE, p. 75-84 10 p.

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

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