ITU
Søren Debois

Søren Debois

Associate Professor

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4F25-4T91

Phone: +45 72185187

Information Desk: 72185000

View graph of relations

  1. Published

    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 chapterArticle in proceedingsResearchpeer-review

  2. 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 chapterArticle in proceedingsResearchpeer-review

  3. Published

    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 chapterArticle in proceedingsResearchpeer-review

  4. Published

    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 chapterArticle in proceedingsResearchpeer-review

  5. Published

    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 chapterArticle in proceedingsResearchpeer-review

  6. 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 chapterArticle in proceedingsResearchpeer-review

  7. Published

    Computation in the Informatic Jungle

    Debois, S., 2011, ITU, 26 p.

    Research output: Working paperResearch

  8. Published

    Collaboration among Adversaries: Distributed Workflow Execution on a Blockchain

    Madsen, M. F., Gaub, M., Kirkbro, M. E., Høgnason, T., Slaats, T. & Debois, S., 2018.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  10. Published

    Blockchains for Business Process Management - Challenges and Opportunities

    Mendling, J., Weber, I., Aalst, W. V. D., Brocke, J. V., Cabanillas, C., Daniel, F., Debois, S., Ciccio, C. D., Dumas, M., Dustdar, S., Gal, A., García-Bañuelos, L., Governatori, G., Hull, R., Rosa, M. L., Leopold, H., Leymann, F., Recker, J., Reichert, M., Reijers, H. A., Rinderle-Ma, S., Solti, A., Rosemann, M., Schulte, S., Singh, M. P., Slaats, T., Staples, M., Weber, B., Weidlich, M., Weske, M., Xu, X. & Zhu, L., 2018, In: Transactions on Management Information Systems. 9, 1, p. 4:1-4:16

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

ID: 263576