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 |
| Transforming dynamic condition response graphs to safe Petri nets | 2023-11-16 | Paper |
| Business process compliance using reference models of law Fundamental Approaches to Software Engineering | 2022-10-13 | 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 |
| Contracts for cross-organizational workflows as timed dynamic condition response graphs The Journal of Logic and Algebraic Programming | 2014-02-25 | Paper |
| Nested dynamic condition response graphs Fundamentals of Software Engineering | 2012-06-29 | Paper |
Research outcomes over time
This page was built for person: Tijs Slaats
