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. 2017
  2. 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

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

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

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

  7. Published

    Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans

    Debois, S., Hildebrandt, T. & Sandberg, L., 2016, In: Procedia Computer Science. 83, p. 1295–1300

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

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

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

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

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

  13. Published

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

ID: 263576