| 2018 | A Modeling Language for Security Threats of IoT Systems. Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf |
| 2018 | A Note on Refinement in Hierarchical Transition Systems. Gerald Lüttgen |
| 2018 | Active Mining of Document Type Definitions. Markus Frohme, Bernhard Steffen |
| 2018 | Adaptive Learning for Learn-Based Regression Testing. David Huistra, Jeroen Meijer, Jaco van de Pol |
| 2018 | Automated Functional Safety Analysis of Automated Driving Systems. Martin Kölbl, Stefan Leue |
| 2018 | Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler |
| 2018 | Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL. Jan Toennemann, Andreas Rausch, Falk Howar, Benjamin Cool |
| 2018 | Compositional Verification in Action. Hubert Garavel, Frédéric Lang, Laurent Mounier |
| 2018 | Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools. Sophie Quinton |
| 2018 | Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings Falk Howar, Jiri Barnat |
| 2018 | Formal Verification of a Programmable Hypersurface. Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides |
| 2018 | Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds. Tiziana Margaria |
| 2018 | M3C: Modal Meta Model Checking. Bernhard Steffen, Alnis Murtovi |
| 2018 | Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset. Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse |
| 2018 | Predicate Abstraction and Such... Bernhard Steffen, Tiziana Margaria |
| 2018 | Progress Checking for Dummies. Antti Valmari, Henri Hansen |
| 2018 | Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP. Iulian Ober |
| 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 | Wholly!: A Build System For The Modern Software Stack. Loic Gelle, Hassen Saïdi, Ashish Gehani |