| 2026 | FM | Distributed Runtime Verification in Proximity-Based Networks: A Tutorial on the Aggregate Programming Approach. | Giorgio Audrito, Ferruccio Damiani, Giordano Scarso, Volker Stolz, Gianluca Torta |
| 2025 | ANT | Toward Digital-Twin-Assisted Data Acquisition in Underwater Acoustic Sensor Networks. | Ivan Spajic, Lars Michael Kristensen, Volker Stolz |
| 2024 | ICPRAM | Evaluation of K-Means Time Series Clustering Based on Z-Normalization and NP-Free. | Ming-Chang Lee, Jia-Chun Lin, Volker Stolz |
| 2024 | ISoLA | Automated Clone Elimination in Python Tests. | Sebastian Kingston, Violet Ka I Pun, Volker Stolz |
| 2023 | COMPSAC | NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series. | Ming-Chang Lee, Jia-Chun Lin, Volker Stolz |
| 2023 | ICTAC | Modular Soundness Checking of Feature Model Evolution Plans. | Ida Sandberg Motzfeldt, Ingrid Chieh Yu, Crystal Chang Din, Violet Ka I Pun, Volker Stolz |
| 2022 | ISoLA | A Notion of Equivalence for Refactorings with Abstract Execution. | Ole Jrgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz |
| 2021 | SETTA | MC/DC Test Cases Generation Based on BDDs. | Faustin Ahishakiye, Jos Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz |
| 2020 | ISoLA | Refactoring and Active Object Languages. | Volker Stolz, Violet Ka I Pun, Rohit Gheyi |
| 2020 | QRS | Multi-objective Search for Model-based Testing. | Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz |
| 2020 | VECoS | Coverage Analysis of Net Inscriptions in Coloured Petri Net Models. | Faustin Ahishakiye, Jos Ignacio Requeno Jarabo, Lars Michael Kristensen, Volker Stolz |
| 2019 | IFM | Visualization and Abstractions for Execution Paths in Model-Based Software Testing. | Rui Wang, Cyrille Artho, Lars Michael Kristensen, Volker Stolz |
| 2019 | TASE | Non-Intrusive MC/DC Measurement Based on Traces. | Faustin Ahishakiye, Svetlana Jaksic, Felix Dino Lange, Malte Schmitz, Volker Stolz, Daniel Thoma |
| 2018 | FM | Operational Semantics of a Weak Memory Model with Channel Synchronization. | Daniel Schnetzer Fava, Martin Steffen, Volker Stolz |
| 2018 | MODELS | A tool for the convergence of multilevel modelling approaches. | Fernando Macas, Adrian Rutle, Volker Stolz |
| 2018 | RV | COST Action IC1402 Runtime Verification Beyond Monitoring. | Christian Colombo, Ylis Falcone, Martin Leucker, Giles Reger, Csar Snchez, Gerardo Schneider, Volker Stolz |
| 2018 | VECoS | MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. | Rui Wang, Lars Michael Kristensen, Volker Stolz |
| 2017 | MODELS | Multilevel Modelling with MultEcore: A Contribution to the MULTI 2017 Challenge. | Fernando Macas, Adrian Rutle, Volker Stolz |
| 2017 | RV | COEMS - open traces from the industry. | Svetlana Jaksic, Martin Leucker, Dan Li, Volker Stolz |
| 2016 | ISoLA | Information Flow Analysis for Go. | Eric Bodden, Ka I Pun, Martin Steffen, Volker Stolz, Anna-Katharina Wickert |
| 2016 | ISoLA | Safer Refactorings. | Anna Maria Eilertsen, Anya Helene Bagge, Volker Stolz |
| 2016 | MODELS | MultEcore: Combining the Best of Fixed-Level and Multilevel Metamodelling. | Fernando Macas, Adrian Rutle, Volker Stolz |
| 2016 | RV | Leveraging DTrace for Runtime Verification. | Carl Martin Rosenberg, Martin Steffen, Volker Stolz |
| 2014 | ISoLA | Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling. | Georg Gri, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz |
| 2014 | ISoLA | Fault Model Design Space for Cooperative Concurrency. | Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro |
| 2014 | SEFM | Effect-Polymorphic Behaviour Inference for Deadlock Checking. | Ka I Pun, Martin Steffen, Volker Stolz |
| 2014 | TASE | Behaviour Inference for Deadlock Checking. | Ka I Pun, Martin Steffen, Volker Stolz |
| 2012 | ISoLA | Delta-Oriented Monitor Specification. | Eric Bodden, Kevin Falzon, Ka I Pun, Volker Stolz |
| 2008 | ISoLA | A Component-Based Access Control Monitor. | Zhiming Liu, Charles Morisset, Volker Stolz |
| 2007 | ICECCS | A Refinement Driven Component-Based Design. | Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn |
| 2007 | RV | Temporal Assertions with Parametrised Propositions. | Volker Stolz |
| 2006 | TACAS | MSCan - A Tool for Analyzing MSC Specifications. | Benedikt Bollig, Carsten Kern, Markus Schltter, Volker Stolz |