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

    Zoom and enhance: Action refinement via subprocesses in timed declarative processes

    Norman, H., Debois, S., Slaats, T. & Hildebrandt, T. T., 2021, Business process management - 19th international conference, BPM 2021, rome, italy, september 06-10, 2021, proceedings. Polyvyanyy, A., Wynn, M. T., Looy, A. V. & Reichert, M. (eds.). Springer VS, Vol. 12875. p. 161-178 18 p. (Lecture notes in computer science).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-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

    Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

    Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 2014, In: Lecture Notes in Computer Science. 8461, p. 1-16 16 p.

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

  4. Published

    Transforming Byzantine Faults using a Trusted Execution Environment

    Madsen, M. F., Gaub, M., Kirkbro, M. E. & Debois, S., 7 Nov 2019, 2019 15th European Dependable Computing Conference (EDCC). IEEE, p. 63-70 8 p.

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

  5. Published

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

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

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

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

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

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

  11. Published

    Sortings and Bigraphs

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

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

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

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

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

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

  16. Published

    Preface to the special issue on process querying and declarative, decision and hybrid approaches to processes 2019

    Ciccio, C. D., Debois, S., Polyvyanyy, A., Slaats, T., ter Hofstede, A. H. M. & Vanthienen, J., 2021, In: J. Data Semant.. 10, 1, p. 107 1 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearch

  17. Published

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

  18. Published

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

  19. Published

    On the Construction of Sorted Reactive Systems

    Birkedal, L., Debois, S. & Hildebrandt, T., 2008, In: Lecture Notes in Computer Science. 5201, p. 218-232 15 p.

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

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

  21. Published

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

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

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

  24. Published

    Imperative-program transformation by instrumented-interpreter specialization

    Debois, S., 15 Apr 2008, In: Higher-Order and Symbolic Computation. 21, 1-2, p. 37-58 22 p.

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

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

Previous 1 2 Next

ID: 263576