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

    ReGraDa: Reactive graph data

    Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, T. T., Norman, H. & Slaats, T., 2021, In: Lecture notes in computer science. 12717, p. 188-205 18 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearch

  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

    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

  4. Published

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

  5. Published

    Sortings and Bigraphs

    Debois, S., 2008, Copenhagen: IT-Universitetet i København. 156 p.

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesisResearch

  6. Published

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

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

  8. Published

    The Process Highlighter: From Texts to Declarative Processes and Back

    López-Acosta, H-A., Hildebrandt, T., Debois, S. & Marquard, M., 28 Sep 2018, Copenhagen: IT-Universitetet i København. 19 p. (IT University Technical Report Series).

    Research output: Book / Anthology / Report / Ph.D. thesisReportCommunication

  9. Published

    The Process Highlighter: From Texts to Declarative Processes and Back

    López-Acosta, H-A., Hildebrandt, T., Debois, S. & Marquard, M., 10 Sep 2018, In: CEUR Workshop Proceedings. p. 66-70 5 p.

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

  10. Published

    Towards a Programming Language for Declarative Event-based Context-sensitive Reactive Services

    Debois, S., Hildebrandt, T., Mukkamala, R. R. & Zanitti, F., 2011.

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

ID: 263576