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

    In the Nick of Time: Proactive Prevention of Obligation Violations

    Basin, D., Debois, S. & Hildebrandt, T., 11 Aug 2016, In: I E E E Computer Security Foundations Symposium. Proceedings. p. 120-134 15 p.

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

  2. Published

    Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

    Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 11 Feb 2016, In: Logical Methods in Computer Science. 12, 1, p. 1-38 38 p.

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

  3. Published

    Managing complexity in process digitalisation with dynamic condition response graphs

    Hildebrandt, T., Debois, S., Slaats, T. & Marquard, M., 2017, In: CEUR Workshop Proceedings. 1898, 8 p.

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

  4. Published

    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 chapterBook chapterResearchpeer-review

  5. Published

    Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 2017, Business Process Management Cases. Springer, p. 397-412 16 p. (Management for Professionals).

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  6. 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

  7. Published

    Replication, refinement & reachability: complexity in dynamic condition-response graphs

    Debois, S., Hildebrandt, T. T. & Slaats, T., 21 Sep 2017, In: Acta Informatica. p. 1-32 32 p.

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

  8. Published

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

  9. Published

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

  10. 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

ID: 263576