| 2018 | Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP. | Iulian Ober |
| 2018 | Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds. | Tiziana Margaria |
| 2018 | A Note on Refinement in Hierarchical Transition Systems. | Gerald Lttgen |
| 2018 | Formal Verification of a Programmable Hypersurface. | Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides |
| 2018 | Automated Functional Safety Analysis of Automated Driving Systems. | Martin Klbl, Stefan Leue |
| 2018 | Adaptive Learning for Learn-Based Regression Testing. | David Huistra, Jeroen Meijer, Jaco van de Pol |
| 2018 | Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. | Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gler |
| 2018 | Wholly!: A Build System For The Modern Software Stack. | Loic Gelle, Hassen Sadi, Ashish Gehani |
| 2018 | Compositional Verification in Action. | Hubert Garavel, Frdric Lang, Laurent Mounier |
| 2018 | Active Mining of Document Type Definitions. | Markus Frohme, Bernhard Steffen |
| 2018 | Safety Interlocking as a Distributed Mutual Exclusion Problem. | Alessandro Fantechi, Anne E. Haxthausen |
| 2018 | Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker. | Jan Steffen Becker |
| 2018 | A Modeling Language for Security Threats of IoT Systems. | Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf |
| 2018 | Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset. | Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse |
| 2017 | Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms. | Hallan William Veiga, Max Hering de Queiroz, Jean-Marie Farines, Marcelo Lopes de Lima |
| 2017 | Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications. | Felipe J. Montana, Jun Liu, Tony J. Dodd |
| 2017 | Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information. | Felipe J. Montana, Jun Liu, Tony J. Dodd |
| 2017 | Verifying Event-Based Timing Constraints by Translation into Presburger Formulae. | Bjrn Lisper |
| 2017 | Query Checking for Linear Temporal Logic. | Samuel Huang, Rance Cleaveland |
| 2017 | Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. | Dilian Gurov, Christian Lidstrm, Mattias Nyberg, Jonas Westman |
| 2017 | Model-Based Testing for Asynchronous Systems. | Alexander Graf-Brill, Holger Hermanns |
| 2017 | CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. | Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster |
| 2017 | Learning-Based Testing the Sliding Window Behavior of TCP Implementations. | Paul Fiterau-Brostean, Falk Howar |
| 2017 | Optimizing Feature Interaction Detection. | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
| 2017 | Information Leakage as a Scheduling Resource. | Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay |