| 2019 | A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas. Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen |
| 2019 | A Simulator for LLVM Bitcode. Petr Rockai, Jiri Barnat |
| 2019 | Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings Kim Guldstrand Larsen, Tim A. C. Willemse |
| 2019 | Formal Modelling and Verification of an Interlocking Using mCRL2. Mark Bouwman, Bob Janssen, Bas Luttik |
| 2019 | Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul |
| 2019 | Modelling and Analysing ERTMS L3 Moving Block Railway Signalling with Simulink and Uppaal SMC. Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay |
| 2019 | Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development. Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow |
| 2019 | Probabilistic Verification for Reliable Network-on-Chip System Design. Benjamin Lewis, Arnd Hartmanns, Prabal Basu, Rajesh Jayashankara Shridevi, Koushik Chakraborty, Sanghamitra Roy, Zhen Zhang |
| 2019 | The Impact of Requirement Splitting on the Efficiency of Supervisory Control Synthesis. Martijn A. Goorden, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Wan J. Fokkink, Jacobus E. Rooda |
| 2019 | Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian |