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. Working paper
  2. Published

    Computation in the Informatic Jungle

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

    Research output: Working paperResearch

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

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

  6. Article in proceedings
  7. 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

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

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

  10. Published

    A Model Checker for Bigraphs

    Perrone, G. D., Debois, S. & Hildebrandt, T., Mar 2012, SAC '12. Proceedings of the 27th Annual ACM Symposium on Applied Computing. New York, NY, USA: Association for Computing Machinery, p. 1320-1325

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

  11. Published

    Bigraphical Refinement

    Perrone, G. D., Debois, S. & Hildebrandt, T., 2012, Electronic Proceedings in Theoretical Computer Science. EPTCS. University of New South Wales Press, Vol. 55. p. 20-36 16 p. (Electronic Proceedings in Theoretical Computer Science. EPTCS, Vol. 55).

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

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

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

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

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

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

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

  18. Published

    A Case for Declarative Process Modelling: Agile Development of a Grant Application System

    Debois, S., Hildebrandt, T., Slaats, T. & Marquard, M., 2014, Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), 2014 IEEE 18th International. IEEE Computer Society Press, p. 126-133 8 p.

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

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

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

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

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

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

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

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

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

  27. Book chapter
  28. 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

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

  30. Ph.D. thesis
  31. 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

  32. Report
  33. 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

  34. Published

    Higher-Order Contexts via Games and the Int-Construction

    Birkedal, L., Bundgaard, M., Debois, S., Hildebrandt, T. & Grohmann, D., 2009, IT-Universitetet i København. (ITU Technical Report Series).

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

  35. Conference article
  36. 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

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

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

  39. Published

    Hierarchical Declarative Modelling with Refinement and Sub-processes

    Debois, S., Hildebrandt, T. & Slaats, T., 2014, In: Lecture Notes in Computer Science. 8659, p. 18--33 16 p.

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

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

  41. Published

    A Graphical Approach to Progress for Structured Communication in Web Services

    Carbone, M. & Debois, S., 2010, In: Electronic Proceedings in Theoretical Computer Science. 38

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

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

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

  44. Journal article
  45. Published

    A verification environment for bigraphs

    Perrone, G. D., Debois, S. & Hildebrandt, T., 2013, In: Innovations in Systems and Software Engineering. 9, 2, p. 95-104

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

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

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

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

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

  50. Published

    Entropy as a Measure of Log Variability

    Back, C. O., Debois, S. & Slaats, T., 14 Jun 2019, In: Journal on Data Semantics. p. 1-28

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

ID: 263576