According to our database1, Søren Debois authored at least 39 papers between 2004 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Entropy as a Measure of Log Variability.
J. Data Semantics, 2019
Declarative Choreographies and Liveness.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019
Monitoring the GDPR.
Proceedings of the Computer Security - ESORICS 2019, 2019
Blockchains for Business Process Management - Challenges and Opportunities.
ACM Trans. Management Inf. Syst., 2018
Replication, refinement & reachability: complexity in dynamic condition-response graphs.
Acta Inf., 2018
On Purpose and by Necessity: Compliance Under the GDPR.
Proceedings of the Financial Cryptography and Data Security, 2018
Towards an Empirical Evaluation of Imperative and Declarative Process Mining.
Proceedings of the Advances in Conceptual Modeling, 2018
RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta.
Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018
Dynamic Evaluation Forms using Declarative Modeling.
Proceedings of the Dissertation Award, 2018
Open to Change: A Theory for Iterative Test-Driven Modelling.
Proceedings of the Business Process Management - 16th International Conference, 2018
The Process Highlighter: From Texts to Declarative Processes and Back.
Proceedings of the Dissertation Award, 2018
DCR Event-Reachability via Genetic Algorithms.
Proceedings of the Business Process Management Workshops, 2018
Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit.
Proceedings of the Business Process Management Cases, 2018
Declarative process mining for DCR graphs.
Proceedings of the Symposium on Applied Computing, 2017
Declarative Process Models in Government Centric Case and Document Management.
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.
Proceedings of the Business Process Management Workshops, 2017
Managing Complexity in Process Digitalisation with Dynamic Condition Response Graphs.
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
Deriving Consistent GSM Schemas from DCR Graphs.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016
In the Nick of Time: Proactive Prevention of Obligation Violations.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016
The DCR Graphs Process Portal.
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.
Proceedings of the 7th International Conference on Ambient Systems, 2016
The Analysis of a Real Life Declarative Process.
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.
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.
Proceedings of the FM 2015: Formal Methods, 2015
Concurrency and Asynchrony in Declarative Workflows.
Proceedings of the Business Process Management - 13th International Conference, 2015
Hybrid process technologies in the financial sector.
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
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014
A Case for Declarative Process Modelling: Agile Development of a Grant Application System.
Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, 2014
Hierarchical Declarative Modelling with Refinement and Sub-processes.
Proceedings of the Business Process Management - 12th International Conference, 2014
A verification environment for bigraphs.
A model checker for Bigraphs.
Proceedings of the ACM Symposium on Applied Computing, 2012
Proceedings of the Proceedings 15th International Refinement Workshop, 2011
Decoupling context-aware services.
Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011
A Graphical Approach to Progress for Structured Communication in Web Services
Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010
Imperative-program transformation by instrumented-interpreter specialization.
Higher-Order and Symbolic Computation, 2008
On the Construction of Sorted Reactive Systems.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
Bigraphical Models of Context-Aware Systems.
Proceedings of the Foundations of Software Science and Computation Structures, 2006
Sortings for Reactive Systems.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
Imperative program optimization by partial evaluation.
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004