| 2009 | Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers Darren D. Cofer, Alessandro Fantechi |
| 2008 | Automated Certification of Non-Interference in Rewriting Logic. Mauricio Alba-Castro, María Alpuente, Santiago Escobar |
| 2008 | Can Flash Memory Help in Model Checking? Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek |
| 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 | Efficient Symbolic Model Checking for Process Algebras. José Vander Meulen, Charles Pecheur |
| 2008 | Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis |
| 2008 | Fighting State Space Explosion: Review and Evaluation. Radek Pelánek |
| 2008 | Formal Methods for Critical Systems. Steven P. Miller |
| 2008 | Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications. Erzsébet Németh, Tamás Bartha |
| 2008 | Formal Verification of the Implementability of Timing Requirements. Xiayong Hu, Mark Lawford, Alan Wassyng |
| 2008 | From Informal Requirements to Property-Driven Formal Validation. Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
| 2008 | LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. Guy Durrieu, Hélène Waeselynck, Virginie Wiels |
| 2008 | Local Quantitative LTL Model Checking. Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova |
| 2008 | Model-Based Verification of Automotive Control Software. Rance Cleaveland |
| 2008 | Panel Discussion on Formal Methods in Commercial Software Development Tools. Alessandro Fantechi, Alessio Ferrari |
| 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 | Using CSP||B Components: Application to a Platoon of Vehicles. Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières |
| 2008 | Using Datalog and Boolean Equation Systems for Program Analysis. María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva |