| 2008 | Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. | Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis |
| 2008 | Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications. | Erzsbet Nmeth, Tams Bartha |
| 2008 | Formal Methods for Critical Systems. | Steven P. Miller |
| 2008 | Efficient Symbolic Model Checking for Process Algebras. | Jos Vander Meulen, Charles Pecheur |
| 2008 | Formal Verification of the Implementability of Timing Requirements. | Xiayong Hu, Mark Lawford, Alan Wassyng |
| 2008 | Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. | Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
| 2008 | Panel Discussion on Formal Methods in Commercial Software Development Tools. | Alessandro Fantechi, Alessio Ferrari |
| 2008 | LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. | Guy Durrieu, Hlne Waeselynck, Virginie Wiels |
| 2008 | Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. | Werner Damm |
| 2008 | Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. | Christian Colombo, Gordon J. Pace, Gerardo Schneider |
| 2008 | Using CSP||B Components: Application to a Platoon of Vehicles. | Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquires |
| 2008 | Model-Based Verification of Automotive Control Software. | Rance Cleaveland |
| 2008 | From Informal Requirements to Property-Driven Formal Validation. | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
| 2008 | Can Flash Memory Help in Model Checking? | Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek |
| 2008 | Local Quantitative LTL Model Checking. | Jiri Barnat, Lubos Brim, Ivana Cern, Milan Ceska, Jana Tumova |
| 2008 | Using Datalog and Boolean Equation Systems for Program Analysis. | Mara Alpuente, Marco A. Feli, Christophe Joubert, Alicia Villanueva |
| 2008 | Automated Certification of Non-Interference in Rewriting Logic. | Mauricio Alba-Castro, Mara Alpuente, Santiago Escobar |
| 2007 | Integration of Formal Analysis into a Model-Based Software Development Process. | Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm |
| 2007 | Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. | Bastian Schlich, Jann Lll, Stefan Kowalewski |
| 2007 | Computing Worst-Case Response Times in Real-Time Avionics Applications. | Murali Rangarajan, Darren D. Cofer |
| 2007 | Checking the TWIN Elevator System by Translating Object-Z to SMV. | Sren Preibusch, Florian Kammller |
| 2007 | Model Classifications and Automated Verification. | Radek Pelnek |
| 2007 | Verification of Embedded Software: From Mars to Actions. | Charles Pecheur |
| 2007 | An Approach to Formalization and Analysis of Message Passing Libraries. | Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2007 | Reverse Engineered Formal Models for GUI Testing. | Ana C. R. Paiva, Joo C. P. Faria, Pedro M. C. Mendes |