| 2007 | Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
| 2007 | Static Analysis of the Accuracy in Control Systems: Principles and Experiments. | Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino |
| 2007 | Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. | Lars Gesellensetter, Sabine Glesner, Elke Salecker |
| 2007 | Analysis of a Session-Layer Protocol in mCRL2. | Marko C. J. D. van Eekelen, Stefan ten Hoedt, Ren Schreurs, Yaroslav S. Usenko |
| 2007 | Automatic Interoperability Test Case Generation Based on Formal Definitions. | Alexandra Desmoulin, Csar Viho |
| 2007 | Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. | Grard Berry |
| 2007 | Introducing Time in an Industrial Application of Model-Checking. | Lionel van den Berg, Paul A. Strooper, Kirsten Winter |
| 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 | Automatic Certification of Java Source Code in Rewriting Logic. | Mauricio Alba-Castro, Mara Alpuente, Santiago Escobar |
| 2006 | SAT-Based Verification of LTL Formulas. | Wenhui Zhang |
| 2006 | Heuristics for ioco -Based Test-Based Modelling. | Tim A. C. Willemse |
| 2006 | Verifying VHDL Designs with Multiple Clocks in SMV. | Ales Smrcka, Vojtech Rehk, Toms Vojnar, David Safrnek, Petr Matousek, Z. Rehk |
| 2006 | Challenges for Formal Verification in Industrial Setting. | Anna Slobodov |
| 2006 | Discovering Symmetries. | Hassen Sadi |
| 2006 | A Finite State Modeling of AFDX Frame Management Using Spin. | Indranil Saha, Suman Roy |
| 2006 | Distributed Colored Petri Net Model-Checking with Cyclades. | Christophe Pajault, Jean-Franois Pradat-Peyre |
| 2006 | Blasting Linux Code. | Jan Tobias Mhlberg, Gerald Lttgen |
| 2006 | Verified Design of an Automated Parking Garage. | Aad Mathijssen, A. Johannes Pretorius |
| 2006 | An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. | Kai Lampka, Markus Siegle, Max Walter |
| 2006 | jmle: A Tool for Executing JML Specifications Via Constraint Programming. | Ben Krause, Tim Wahls |
| 2006 | Model-Based Testing of a WAP Gateway: An Industrial Case-Study. | Anders Hessel, Paul Pettersson |
| 2006 | Test Coverage for Loose Timing Annotations. | Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz |
| 2006 | "To Store or Not To Store" Reloaded: Reclaiming Memory on Demand. | Moritz Hammer, Michael Weber |
| 2006 | Goanna - A Static Model Checker. | Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg, Felix Rauch |
| 2006 | UML 2.0 State Machines: Complete Formal Semantics Via core state machine. | Harald Fecher, Jens Schnborn |