Søren Debois

According to our database, Søren Debois authored at least 56 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Foundations and practice of binary process discovery.

Tijs Slaats, Søren Debois, Christoffer Olling Back, Axel Kjeld Fjelrad Christfort

Inf. Syst., March, 2024

2023

DCR Syntax and Execution Equivalent Markings.

Axel Kjeld Fjelrad Christfort, Søren Debois

Arch. Formal Proofs, 2023

2022

Contract-Backed Digital Cash.

Søren Debois, Fritz Henglein, Morten C. Nielsen, Christian Olesen, Gert Sylvest

CoRR, 2022

Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain.

Yibin Xu, Tijs Slaats, Boris Düdder, Søren Debois, Haiqin Wu

Proceedings of the Financial Cryptography and Data Security. FC 2022 International Workshops, 2022

Incentive Alignment Through Secure Computations.

Frederik Haagensen, Søren Debois

Proceedings of the Business Process Management - 20th International Conference, 2022

Improving Declarative Process Mining with a Priori Noise Filtering.

Axel Kjeld Fjelrad Christfort, Søren Debois, Tijs Slaats

Proceedings of the Business Process Management Workshops, 2022

2021

Preface to the Special Issue on Process Querying and Declarative, Decision and Hybrid Approaches to Processes 2019.

Claudio Di Ciccio, Søren Debois, Artem Polyvyanyy, Tijs Slaats, Arthur H. M. ter Hofstede, Jan Vanthienen

J. Data Semant., 2021

ReGraDa: Reactive Graph Data.

Leandro Galrinho, João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Håkon Normann, Tijs Slaats

Proceedings of the Coordination Models and Languages, 2021

Weighing the Pros and Cons: Process Discovery with Negative Examples.

Tijs Slaats, Søren Debois, Christoffer Olling Back

Proceedings of the Business Process Management - 19th International Conference, 2021

Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes.

Håkon Normann, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt

Proceedings of the Business Process Management - 19th International Conference, 2021

Decision Modelling in Timed Dynamic Condition Response Graphs with Data.

Thomas T. Hildebrandt, Håkon Normann, Morten Marquard, Søren Debois, Tijs Slaats

Proceedings of the Business Process Management Workshops, 2021

2020

On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems.

Mads Frederik Madsen, Søren Debois

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers.

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

Proceedings of the ICSSP '20: International Conference on Software and System Processes, 2020

Chain of Events: Modular Process Models for the Law.

Søren Debois, Hugo A. López, Tijs Slaats, Amine Abbad Andaloussi, Thomas T. Hildebrandt

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Smart Contracts for Government Processes: Case Study and Prototype Implementation (Short Paper).

Magnus Krogsbøll, Liv Hartoft Borre, Tijs Slaats, Søren Debois

Proceedings of the Financial Cryptography and Data Security, 2020

Business Process Compliance Using Reference Models of Law.

Hugo A. López, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2019

Entropy as a Measure of Log Variability.

Christoffer Olling Back, Søren Debois, Tijs Slaats

J. Data Semant., 2019

Declarative Choreographies and Liveness.

Thomas T. Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, Marco Carbone

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Monitoring the GDPR.

Emma Arfelt, David A. Basin, Søren Debois

Proceedings of the Computer Security - ESORICS 2019, 2019

Transforming Byzantine Faults using a Trusted Execution Environment.

Mads Frederik Madsen, Mikkel Gaub, Malthe Ettrup Kirkbro, Søren Debois

Proceedings of the 15th European Dependable Computing Conference, 2019

2018

Blockchains for Business Process Management - Challenges and Opportunities.

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

ACM Trans. Manag. Inf. Syst., 2018

Replication, refinement & reachability: complexity in dynamic condition-response graphs.

Søren Debois, Thomas T. Hildebrandt, Tijs Slaats

Acta Informatica, 2018

On Purpose and by Necessity: Compliance Under the GDPR.

David A. Basin, Søren Debois, Thomas T. Hildebrandt

Proceedings of the Financial Cryptography and Data Security, 2018

Towards an Empirical Evaluation of Imperative and Declarative Process Mining.

Christoffer Olling Back, Søren Debois, Tijs Slaats

Proceedings of the Advances in Conceptual Modeling, 2018

RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta.

João Costa Seco, Søren Debois, Thomas T. Hildebrandt, Tijs Slaats

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

Dynamic Evaluation Forms using Declarative Modeling.

Rasmus Strømsted, Hugo A. López, Søren Debois, Morten Marquard

Proceedings of the Dissertation Award, 2018

Open to Change: A Theory for Iterative Test-Driven Modelling.

Tijs Slaats, Søren Debois, Thomas T. Hildebrandt

Proceedings of the Business Process Management - 16th International Conference, 2018

The Process Highlighter: From Texts to Declarative Processes and Back.

Hugo A. López, Søren Debois, Thomas T. Hildebrandt, Morten Marquard

Proceedings of the Dissertation Award, 2018

DCR Event-Reachability via Genetic Algorithms.

Tróndur Høgnason, Søren Debois

Proceedings of the Business Process Management Workshops, 2018

Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit.

Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats

Proceedings of the Business Process Management Cases, 2018

2017

Declarative process mining for DCR graphs.

Søren Debois, Thomas T. Hildebrandt, Paw Høvsgaard Laursen, Kenneth Ry Ulrik

Proceedings of the Symposium on Applied Computing, 2017

Declarative Process Models in Government Centric Case and Document Management.

Lasse Hende Norgaard, Jesper Birch Andreasen, Morten Marquard, Søren Debois, Frans Saxbeck Larsen, Vagn Jeppesen

Proceedings of the BPM 2017 Industry Track co-located with the 15th International Conference on Business Process Management (BPM 2017), 2017

Towards an Entropy-Based Analysis of Log Variability.

Christoffer Olling Back, Søren Debois, Tijs Slaats

Proceedings of the Business Process Management Workshops, 2017

Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs.

Thomas T. Hildebrandt, Søren Debois, Tijs Slaats, Morten Marquard

Proceedings of the Joint Proceedings of the BIR 2017 pre-BIR Forum, Workshops and Doctoral Consortium co-located with 16th International Conference on Perspectives in Business Informatics Research (BIR 2017), Copenhagen, Denmark, August 28, 2017

2016

Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.

Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida

Log. Methods Comput. Sci., 2016

Deriving Consistent GSM Schemas from DCR Graphs.

Rik Eshuis, Søren Debois, Tijs Slaats, Thomas T. Hildebrandt

Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

In the Nick of Time: Proactive Prevention of Obligation Violations.

David A. Basin, Søren Debois, Thomas T. Hildebrandt

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

The DCR Graphs Process Portal.

Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats

Proceedings of the BPM Demo Track 2016 Co-located with the 14th International Conference on Business Process Management (BPM 2016), 2016

Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans.

Søren Debois, Thomas T. Hildebrandt, Lene Sandberg

Proceedings of the 7th International Conference on Ambient Systems, 2016

2015

The Analysis of a Real Life Declarative Process.

Søren Debois, Tijs Slaats

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9.

Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats

Proceedings of the 2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2015

Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes.

Søren Debois, Thomas T. Hildebrandt, Tijs Slaats

Proceedings of the FM 2015: Formal Methods, 2015

Concurrency and Asynchrony in Declarative Workflows.

Søren Debois, Thomas T. Hildebrandt, Tijs Slaats

Proceedings of the Business Process Management - 13th International Conference, 2015

Hybrid process technologies in the financial sector.

Søren Debois, Thomas T. Hildebrandt, Morten Marquard, Tijs Slaats

Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 co-located with 13th International Conference on Business Process Management (BPM 2015), 2015

2014

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

Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Morten Marquard

Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014

Hierarchical Declarative Modelling with Refinement and Sub-processes.

Søren Debois, Thomas T. Hildebrandt, Tijs Slaats

Proceedings of the Business Process Management - 12th International Conference, 2014

2013

A verification environment for bigraphs.

Gian Perrone, Søren Debois, Thomas T. Hildebrandt

Innov. Syst. Softw. Eng., 2013

2012

A model checker for Bigraphs.

Gian Perrone, Søren Debois, Thomas T. Hildebrandt

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

Bigraphical Refinement

Gian Perrone, Søren Debois, Thomas T. Hildebrandt

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

Decoupling context-aware services.

Søren Debois, Arne John Glenstrup, Francesco Zanitti

Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011

2010

A Graphical Approach to Progress for Structured Communication in Web Services

Marco Carbone, Søren Debois

Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

2008

Imperative-program transformation by instrumented-interpreter specialization.

Søren Debois

High. Order Symb. Comput., 2008

On the Construction of Sorted Reactive Systems.

Lars Birkedal, Søren Debois, Thomas T. Hildebrandt

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2006

Bigraphical Models of Context-Aware Systems.

Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss

Proceedings of the Foundations of Software Science and Computation Structures, 2006

Sortings for Reactive Systems.

Lars Birkedal, Søren Debois, Thomas T. Hildebrandt

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2004

Imperative program optimization by partial evaluation.

Søren Debois

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004