Søren Debois

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 46

Top Topics

Noise Filtering

Top Venues

Business Process Management Workshops

BPM (Dissertation/Demos/Industry)

Publications

David A. Basin, Søren Debois, Thomas T. Hildebrandt
Proactive enforcement of provisions and obligations. J. Comput. Secur. 32 (3) (2024)
Tijs Slaats, Søren Debois, Christoffer Olling Back, Axel Kjeld Fjelrad Christfort
Foundations and practice of binary process discovery. Inf. Syst. 121 (2024)
Axel Kjeld Fjelrad Christfort, Søren Debois
DCR Syntax and Execution Equivalent Markings. Arch. Formal Proofs 2023 (2023)
Søren Debois, Fritz Henglein, Morten C. Nielsen, Christian Olesen, Gert Sylvest
Contract-Backed Digital Cash. CoRR (2022)
Yibin Xu, Tijs Slaats, Boris Düdder, Søren Debois, Haiqin Wu
Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain. CoRR (2022)
Axel Kjeld Fjelrad Christfort, Søren Debois, Tijs Slaats
Improving Declarative Process Mining with a Priori Noise Filtering. Business Process Management Workshops (2022)
Yibin Xu, Tijs Slaats, Boris Düdder, Søren Debois, Haiqin Wu
Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain. Financial Cryptography Workshops (2022)
Frederik Haagensen, Søren Debois
Incentive Alignment Through Secure Computations. BPM (2022)
Tijs Slaats, Søren Debois, Christoffer Olling Back
Weighing the Pros and Cons: Process Discovery with Negative Examples. BPM (2021)
Thomas T. Hildebrandt, Håkon Normann, Morten Marquard, Søren Debois, Tijs Slaats
Decision Modelling in Timed Dynamic Condition Response Graphs with Data. Business Process Management Workshops (2021)
Claudio Di Ciccio, Søren Debois, Artem Polyvyanyy, Tijs Slaats, Arthur H. M. ter Hofstede, Jan Vanthienen
Preface to the Special Issue on Process Querying and Declarative, Decision and Hybrid Approaches to Processes 2019. J. Data Semant. 10 (1-2) (2021)
Håkon Norman, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes. BPM (2021)
Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Norman, Tijs Slaats
ReGraDa: Reactive Graph Data. COORDINATION (2021)
Mads Frederik Madsen, Søren Debois
On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems. PODC (2020)
Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
Business Process Compliance Using Reference Models of Law. FASE (2020)
Thomas T. Hildebrandt, Amine Abbad Andaloussi, Lars Rune Christensen, Søren Debois, Nicklas Pape Healy, Hugo A. López, Morten Marquard, Naja L. Holten Møller, Anette C. M. Petersen, Tijs Slaats, Barbara Weber
EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers. ICSSP (2020)
Søren Debois, Hugo A. López, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt
Chain of Events: Modular Process Models for the Law. IFM (2020)
Magnus Krogsbøll, Liv Hartoft Borre, Tijs Slaats, Søren Debois
Smart Contracts for Government Processes: Case Study and Prototype Implementation (Short Paper). Financial Cryptography (2020)
Christoffer Olling Back, Søren Debois, Tijs Slaats
Entropy as a Measure of Log Variability. J. Data Semant. 8 (2) (2019)
Emma Arfelt, David A. Basin, Søren Debois
Monitoring the GDPR. ESORICS (1) (2019)
Mads Frederik Madsen, Mikkel Gaub, Malthe Ettrup Kirkbro, Søren Debois
Transforming Byzantine Faults using a Trusted Execution Environment. EDCC (2019)
Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone
Declarative Choreographies and Liveness. FORTE (2019)
Christoffer Olling Back, Søren Debois, Tijs Slaats
Towards an Empirical Evaluation of Imperative and Declarative Process Mining. ER Workshops (2018)
David A. Basin, Søren Debois, Thomas T. Hildebrandt
On Purpose and by Necessity: Compliance Under the GDPR. Financial Cryptography (2018)
Tijs Slaats, Søren Debois, Thomas T. Hildebrandt
Open to Change: A Theory for Iterative Test-Driven Modelling. BPM (2018)
João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta. EDOC (2018)
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
Replication, refinement & reachability: complexity in dynamic condition-response graphs. Acta Informatica 55 (6) (2018)
Jan Mendling, Ingo Weber, Wil M. P. van der Aalst, Jan vom Brocke, Cristina Cabanillas, Florian Daniel, Søren Debois, Claudio Di Ciccio, Marlon Dumas, Schahram Dustdar, Avigdor Gal, Luciano García-Bañuelos, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Manfred Reichert, Hajo A. Reijers, Stefanie Rinderle-Ma, Andreas Solti, Michael Rosemann, Stefan Schulte, Munindar P. Singh, Tijs Slaats, Mark Staples, Barbara Weber, Matthias Weidlich, Mathias Weske, Xiwei Xu, Liming Zhu
Blockchains for Business Process Management - Challenges and Opportunities. ACM Trans. Manag. Inf. Syst. 9 (1) (2018)
Tróndur Høgnason, Søren Debois
DCR Event-Reachability via Genetic Algorithms. Business Process Management Workshops (2018)
Hugo A. López, Søren Debois, Thomas T. Hildebrandt, Morten Marquard
The Process Highlighter: From Texts to Declarative Processes and Back. BPM (Dissertation/Demos/Industry) (2018)
Rasmus Strømsted, Hugo A. López, Søren Debois, Morten Marquard
Dynamic Evaluation Forms using Declarative Modeling. BPM (Dissertation/Demos/Industry) (2018)
Christoffer Olling Back, Søren Debois, Tijs Slaats
Towards an Entropy-Based Analysis of Log Variability. Business Process Management Workshops (2017)
Lasse Hende Norgaard, Jesper Birch Andreasen, Morten Marquard, Søren Debois, Frans Saxbeck Larsen, Vagn Jeppesen
Declarative Process Models in Government Centric Case and Document Management. BPM (Industry Track) (2017)
Thomas T. Hildebrandt, Søren Debois, Tijs Slaats, Morten Marquard
Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs. BIR Workshops (2017)
Jan Mendling, Ingo Weber, Wil M. P. van der Aalst, Jan vom Brocke, Cristina Cabanillas, Florian Daniel, Søren Debois, Claudio Di Ciccio, Marlon Dumas, Schahram Dustdar, Avigdor Gal, Luciano García-Bañuelos, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Manfred Reichert, Hajo A. Reijers, Stefanie Rinderle-Ma, Andreas Rogge-Solti, Michael Rosemann, Stefan Schulte, Munindar P. Singh, Tijs Slaats, Mark Staples, Barbara Weber, Matthias Weidlich, Mathias Weske, Xiwei Xu, Liming Zhu
Blockchains for Business Process Management - Challenges and Opportunities. CoRR (2017)
Søren Debois, Thomas T. Hildebrandt, Paw Høvsgaard Laursen, Kenneth Ry Ulrik
Declarative process mining for DCR graphs. SAC (2017)
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. Log. Methods Comput. Sci. 12 (1) (2016)
Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats
The DCR Graphs Process Portal. BPM (Demos) (2016)
David A. Basin, Søren Debois, Thomas T. Hildebrandt
In the Nick of Time: Proactive Prevention of Obligation Violations. CSF (2016)
Rik Eshuis, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt
Deriving Consistent GSM Schemas from DCR Graphs. ICSOC (2016)
Søren Debois, Thomas T. Hildebrandt, Lene Sandberg
Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans. ANT/SEIT (2016)
Søren Debois, Tijs Slaats
The Analysis of a Real Life Declarative Process. SSCI (2015)
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes. FM (2015)
Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats
Hybrid process technologies in the financial sector. BPM (Industry Track) (2015)
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
Concurrency and Asynchrony in Declarative Workflows. BPM (2015)
Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats
Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9. SER&IP@ICSE (2015)
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats
Hierarchical Declarative Modelling with Refinement and Sub-processes. BPM (2014)
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. FORTE (2014)
Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Morten Marquard
A Case for Declarative Process Modelling: Agile Development of a Grant Application System. EDOC Workshops (2014)
Gian Perrone, Søren Debois, Thomas T. Hildebrandt
A verification environment for bigraphs. Innov. Syst. Softw. Eng. 9 (2) (2013)
Gian Perrone, Søren Debois, Thomas T. Hildebrandt
A model checker for Bigraphs. SAC (2012)
Gian Perrone, Søren Debois, Thomas T. Hildebrandt
Bigraphical Refinement Refine@FM (2011)
Søren Debois, Arne John Glenstrup, Francesco Zanitti
Decoupling context-aware services. PerCom Workshops (2011)
Marco Carbone, Søren Debois
A Graphical Approach to Progress for Structured Communication in Web Services ICE (2010)
Lars Birkedal, Søren Debois, Thomas T. Hildebrandt
On the Construction of Sorted Reactive Systems. CONCUR (2008)
Søren Debois
Imperative-program transformation by instrumented-interpreter specialization. High. Order Symb. Comput. 21 (1-2) (2008)
Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss
Bigraphical Models of Context-Aware Systems. FoSSaCS (2006)
Lars Birkedal, Søren Debois, Thomas T. Hildebrandt
Sortings for Reactive Systems. CONCUR (2006)
Søren Debois
Imperative program optimization by partial evaluation. PEPM (2004)