| 2018 | A Protocol for Constraint Automata Execution in a Synchronous Network of Processors. Alireza Farhadi, Mohammad Izadi, Jafar Habibi |
| 2018 | Analysis of a Road/Tramway Intersection by the ORIS Tool. Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario |
| 2018 | Exploiting Local Persistency for Reduced State Space Generation. Kamel Barkaoui, Hanifa Boucheneb, ZhiWu Li |
| 2018 | How to Be Sure a Faulty System Does Not Always Appear Healthy? Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, Agnes Madalinski |
| 2018 | Improving Parallel State-Space Exploration Using Genetic Algorithms. Etienne Renault |
| 2018 | LTL Model-Checking for Communicating Concurrent Programs. Adrien Pommellet, Tayssir Touili |
| 2018 | MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems Protocols Using Coloured Petri Nets. Rui Wang, Lars Michael Kristensen, Volker Stolz |
| 2018 | Modelling and Verification of Dynamic Role-Based Access Control. Inna Vistbakka, Elena Troubitsyna |
| 2018 | Orchestration Synthesis for Real-Time Service Contracts. Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez |
| 2018 | Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments. Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, Riadh Robbana |
| 2018 | Replacing Store Buffers by Load Buffers in TSO. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Tuan Phong Ngo |
| 2018 | The State of Fault Injection Vulnerability Detection. Thomas Given-Wilson, Nisrine Jafri, Axel Legay |
| 2018 | Toward Implicit Learning for the Compositional Verification of Markov Decision Processes. Redouane Bouchekir, Mohand Cherif Boukala |
| 2018 | Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez |