| 2015 | Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. | Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen |
| 2015 | Intra-procedural Optimization of the Numerical Accuracy of Programs. | Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |
| 2015 | Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the Key2phone-Mobile Access Solution. | Sunil Chaudhary, Linfeng Li, Eleni Berki, Marko Helenius, Juha Kela, Markku Turunen |
| 2015 | Model Checking a Server-Side Micro Payment Protocol. | Kaylash Chaudhary, Ansgar Fehnker |
| 2015 | A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C. | Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frdric Loulergue |
| 2015 | Timed Mobility and Timed Communication for Critical Systems. | Bogdan Aman, Gabriel Ciobanu |
| 2015 | Require, Test and Trace IT. | Bernhard K. Aichernig, Klaus Hrmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran |
| 2014 | Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. | Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers |
| 2014 | Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface. | Thang Nguyen, Dejan Nickovic |
| 2014 | Deadlock Avoidance in Train Scheduling: A Model Checking Approach. | Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari |
| 2014 | Formal Specification and Verification of TCP Extended with the Window Scale Option. | Lars Lockefeer, David M. Williams, Wan J. Fokkink |
| 2014 | Test Specification Patterns for Automatic Generation of Test Sequences. | Ugo Gentile, Stefano Marrone, Gianluca Mele, Roberto Nardone, Adriano Peron |
| 2014 | Learning Fragments of the TCP Network Protocol. | Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager |
| 2014 | Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. | Christian Ellen, Sven Sieverding, Hardi Hungar |
| 2014 | Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation. | Brian Campbell, Ian Stark |
| 2014 | Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. | Pontus Bostrm, Petr Alexeev, Mikko Heikkil, Mikko Huova, Marina Waldn, Matti Linjama |
| 2014 | On the Validation of an Interlocking System by Model-Checking. | Andrea Bonacchi, Alessandro Fantechi |
| 2014 | Improving Static Analyses of C Programs with Conditional Predicates. | Sandrine Blazy, David Bhler, Boris Yakobowski |
| 2014 | An Open Alternative for SMT-Based Verification of Scade Models. | Henning Basold, Henning Gnther, Michaela Huhn, Stefan Milius |
| 2014 | Formal Verification of Steady-State Errors in Unity-Feedback Control Systems. | Muhammad Ahmad, Osman Hasan |
| 2013 | Boolean Quantifier Elimination for Automotive Configuration - A Case Study. | Christoph Zengler, Wolfgang Kchlin |
| 2013 | An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code. | Darren Sexton |
| 2013 | Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors. | Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero |
| 2013 | High-Level Guidance for Managers Deploying Formal Methods in Their Organisation. | Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer |
| 2013 | On the Effectiveness of Assertion-Based Verification in an Industrial Context. | Laurence Pierre, Fabrice Pancher, Rodolphe Suescun, Jrme Quvremont |