| 2008 | Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers Stefan Leue, Pedro Merino |
| 2007 | An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
| 2007 | An Approach to Formalization and Analysis of Message Passing Libraries. Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2007 | Analysis of a Session-Layer Protocol in mCRL2. Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko |
| 2007 | Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. Bastian Schlich, Jann Löll, Stefan Kowalewski |
| 2007 | Automatic Certification of Java Source Code in Rewriting Logic. Mauricio Alba-Castro, María Alpuente, Santiago Escobar |
| 2007 | Automatic Interoperability Test Case Generation Based on Formal Definitions. Alexandra Desmoulin, César Viho |
| 2007 | Checking the TWIN Elevator System by Translating Object-Z to SMV. Sören Preibusch, Florian Kammüller |
| 2007 | Computing Worst-Case Response Times in Real-Time Avionics Applications. Murali Rangarajan, Darren D. Cofer |
| 2007 | Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. Lars Gesellensetter, Sabine Glesner, Elke Salecker |
| 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 | Introducing Time in an Industrial Application of Model-Checking. Lionel van den Berg, Paul A. Strooper, Kirsten Winter |
| 2007 | Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
| 2007 | Model Classifications and Automated Verification. Radek Pelánek |
| 2007 | Reverse Engineered Formal Models for GUI Testing. Ana C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes |
| 2007 | Static Analysis of the Accuracy in Control Systems: Principles and Experiments. Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino |
| 2007 | Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. Gérard Berry |
| 2007 | Verification of Embedded Software: From Mars to Actions. Charles Pecheur |