Vicinity Respecting Homomorphisms for Abstracting System Requirements / Jörg Desel ; Agathe Merceron |
Search-Order Independent State Caching / Sami Evangelista ; Lars Michael Kristensen |
Bounded Parametric Model Checking for Elementary Net Systems / Michal Knapik ; Maciej Szreter ; Wojciech Penczek |
SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets / Agata Pólrola ; Andrzej Zbrzezny |
Parametric Model Checking with VerICS / Artur Niewiadomski |
Schedule-Aware Workflow Management Systems / Ronny S. Mans ; Nick C. Russell ; Wil M.P. van der Aalst ; Arnold J. Moleman ; Piet J.M. Bakker |
On-the-Fly Auditing of Business Processes / Kees van Hee ; Jan Hidders ; Geert-Jan Houben ; Jan Paredaens ; Philippe Thiran |
Modeling Organizational Units as Modular Components of Systems of Systems / Matthias Wester-Ebbinghaus ; Daniel Moldt ; Michael Köhler-Bu?meier |
A Multi-Agent Organizational Framework for Coevolutionary Optimization / Grégoire Danoy ; Pascal Bouvry ; Olivier Boissier |
Author Index |
Vicinity Respecting Homomorphisms for Abstracting System Requirements / Jörg Desel ; Agathe Merceron |
Search-Order Independent State Caching / Sami Evangelista ; Lars Michael Kristensen |
Bounded Parametric Model Checking for Elementary Net Systems / Michal Knapik ; Maciej Szreter ; Wojciech Penczek |