| 2022 | BPM | Improving Declarative Process Mining with a Priori Noise Filtering. | Axel Kjeld Fjelrad Christfort, Sren Debois, Tijs Slaats |
| 2022 | BPM | Incentive Alignment Through Secure Computations. | Frederik Haagensen, Sren Debois |
| 2022 | FC | Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain. | Yibin Xu, Tijs Slaats, Boris Ddder, Sren Debois, Haiqin Wu |
| 2021 | BPM | Decision Modelling in Timed Dynamic Condition Response Graphs with Data. | Thomas T. Hildebrandt, Hkon Normann, Morten Marquard, Sren Debois, Tijs Slaats |
| 2021 | BPM | Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes. | Hkon Normann, Sren Debois, Tijs Slaats, Thomas T. Hildebrandt |
| 2021 | BPM | Weighing the Pros and Cons: Process Discovery with Negative Examples. | Tijs Slaats, Sren Debois, Christoffer Olling Back |
| 2021 | Coordination | ReGraDa: Reactive Graph Data. | Leandro Galrinho, Joo Costa Seco, Sren Debois, Thomas T. Hildebrandt, Hkon Normann, Tijs Slaats |
| 2020 | FASE | Business Process Compliance Using Reference Models of Law. | Hugo A. Lpez, Sren Debois, Tijs Slaats, Thomas T. Hildebrandt |
| 2020 | FC | Smart Contracts for Government Processes: Case Study and Prototype Implementation (Short Paper). | Magnus Krogsbll, Liv Hartoft Borre, Tijs Slaats, Sren Debois |
| 2020 | IFM | Chain of Events: Modular Process Models for the Law. | Sren Debois, Hugo A. Lpez, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt |
| 2020 | PODC | On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems. | Mads Frederik Madsen, Sren Debois |
| 2019 | EDCC | Transforming Byzantine Faults using a Trusted Execution Environment. | Mads Frederik Madsen, Mikkel Gaub, Malthe Ettrup Kirkbro, Sren Debois |
| 2019 | ESORICS | Monitoring the GDPR. | Emma Arfelt, David A. Basin, Sren Debois |
| 2019 | FORTE | Declarative Choreographies and Liveness. | Thomas T. Hildebrandt, Tijs Slaats, Hugo A. Lpez, Sren Debois, Marco Carbone |
| 2018 | BPM | DCR Event-Reachability via Genetic Algorithms. | Trndur Hgnason, Sren Debois |
| 2018 | BPM | The Process Highlighter: From Texts to Declarative Processes and Back. | Hugo A. Lpez, Sren Debois, Thomas T. Hildebrandt, Morten Marquard |
| 2018 | BPM | Open to Change: A Theory for Iterative Test-Driven Modelling. | Tijs Slaats, Sren Debois, Thomas T. Hildebrandt |
| 2018 | BPM | Dynamic Evaluation Forms using Declarative Modeling. | Rasmus Strmsted, Hugo A. Lpez, Sren Debois, Morten Marquard |
| 2018 | EDOC | RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta. | Joo Costa Seco, Sren Debois, Thomas T. Hildebrandt, Tijs Slaats |
| 2018 | ER | Towards an Empirical Evaluation of Imperative and Declarative Process Mining. | Christoffer Olling Back, Sren Debois, Tijs Slaats |
| 2018 | FC | On Purpose and by Necessity: Compliance Under the GDPR. | David A. Basin, Sren Debois, Thomas T. Hildebrandt |
| 2017 | BPM | Towards an Entropy-Based Analysis of Log Variability. | Christoffer Olling Back, Sren Debois, Tijs Slaats |
| 2017 | BPM | Declarative Process Models in Government Centric Case and Document Management. | Lasse Hende Norgaard, Jesper Birch Andreasen, Morten Marquard, Sren Debois, Frans Saxbeck Larsen, Vagn Jeppesen |
| 2017 | SAC | Declarative process mining for DCR graphs. | Sren Debois, Thomas T. Hildebrandt, Paw Hvsgaard Laursen, Kenneth Ry Ulrik |
| 2016 | ANT | Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans. | Sren Debois, Thomas T. Hildebrandt, Lene Sandberg |
| 2016 | BPM | The DCR Graphs Process Portal. | Sren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats |
| 2016 | ICSOC | Deriving Consistent GSM Schemas from DCR Graphs. | Rik Eshuis, Sren Debois, Tijs Slaats, Thomas T. Hildebrandt |
| 2015 | BPM | Hybrid process technologies in the financial sector. | Sren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats |
| 2015 | BPM | Concurrency and Asynchrony in Declarative Workflows. | Sren Debois, Thomas T. Hildebrandt, Tijs Slaats |
| 2015 | FM | Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes. | Sren Debois, Thomas T. Hildebrandt, Tijs Slaats |
| 2015 | ICSE | Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9. | Sren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats |
| 2014 | BPM | Hierarchical Declarative Modelling with Refinement and Sub-processes. | Sren Debois, Thomas T. Hildebrandt, Tijs Slaats |
| 2014 | EDOC | A Case for Declarative Process Modelling: Agile Development of a Grant Application System. | Sren Debois, Thomas T. Hildebrandt, Tijs Slaats, Morten Marquard |
| 2014 | FORTE | Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. | Sren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida |
| 2012 | SAC | A model checker for Bigraphs. | Gian Perrone, Sren Debois, Thomas T. Hildebrandt |
| 2011 | PERCOM | Decoupling context-aware services. | Sren Debois, Arne John Glenstrup, Francesco Zanitti |
| 2008 | CONCUR | On the Construction of Sorted Reactive Systems. | Lars Birkedal, Sren Debois, Thomas T. Hildebrandt |
| 2006 | CONCUR | Sortings for Reactive Systems. | Lars Birkedal, Sren Debois, Thomas T. Hildebrandt |
| 2006 | FOSSACS | Bigraphical Models of Context-Aware Systems. | Lars Birkedal, Sren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss |
| 2004 | PEPM | Imperative program optimization by partial evaluation. | Sren Debois |