Søren Debois

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Declarative choreographies and liveness Formal Techniques for Distributed Objects, Components, and Systems	2024-02-06	Paper
Business process compliance using reference models of law Fundamental Approaches to Software Engineering	2022-10-13	Paper
On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems Proceedings of the 39th Symposium on Principles of Distributed Computing	2021-03-15	Paper
A graphical approach to progress for structured communication in web services	2021-02-24	Paper
A graphical approach to progress for structured communication in web services (available as arXiv preprint)	2021-02-24	Paper
Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes FM 2015: Formal Methods	2019-12-19	Paper
Replication, refinement \& reachability: complexity in dynamic condition-response graphs Acta Informatica	2018-09-06	Paper
Type-checking liveness for collaborative processes with bounded and unbounded recursion Logical Methods in Computer Science	2016-03-03	Paper
Imperative-program transformation by instrumented-interpreter specialization Higher-Order and Symbolic Computation	2009-08-04	Paper
On the Construction of Sorted Reactive Systems CONCUR 2008 - Concurrency Theory	2008-11-25	Paper
Sortings for Reactive Systems CONCUR 2006 – Concurrency Theory	2007-09-04	Paper
Foundations of Software Science and Computation Structures Lecture Notes in Computer Science	2007-05-02	Paper

Research outcomes over time

This page was built for person: Søren Debois