| 2006 | Can Saturation Be Parallelised? | Jonathan Ezekiel, Gerald Lttgen, Radu Siminiceanu |
| 2006 | Simulation-Based Performance Analysis of a Medical Image-Processing Architecture. | Pieter J. L. Cuijpers, A. V. Fyukov |
| 2006 | Evaluating Quality of Service for Service Level Agreements. | Allan Clark, Stephen Gilmore |
| 2006 | On Combining Partial Order Reduction with Fairness Assumptions. | Lubos Brim, Ivana Cern, Pavel Moravec, Jir Simsa |
| 2006 | Distributed Verification: Exploring the Power of Raw Computing Power. | Lubos Brim |
| 2006 | Automated Incremental Synthesis of Timed Automata. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2006 | Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. | Jiri Barnat, Pavel Moravec |
| 2006 | Parallel SAT Solving in Bounded Model Checking. | Erika brahm, Tobias Schubert, Bernd Becker, Martin Frnzle, Christian Herde |
| 2005 | Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. | Anton Wijs, Jaco van de Pol, Elena M. Bortnik |
| 2005 | Echo: a practical approach to formal verification. | Elisabeth A. Strunk, Xiang Yin, John C. Knight |
| 2005 | An approach to the pervasive formal specification and verification of an automotive system: status report. | Thomas In der Rieden, Steffen Knapp |
| 2005 | LearnLib: a library for automata learning and experimentation. | Harald Raffelt, Bernhard Steffen, Therese Berg |
| 2005 | Enhancing random walk state space exploration. | Radek Pelnek, Toms Hanzl, Ivana Cern, Lubos Brim |
| 2005 | Flush: a system development tool based on scade/lustre. | Jan Mikc, Paul Caspi |
| 2005 | Structural test coverage criteria for lustre programs. | Abdesselam Lakehal, Ioannis Parissis |
| 2005 | Toward a formal model for component interfaces for real-time systems. | Dang Van Hung |
| 2005 | Requirements of an integrated formal method for intelligent swarms. | Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski |
| 2005 | Developing critical systems with PLD components. | Adrian J. Hilton, Jon G. Hall |
| 2005 | Invariants come from templates. | Joni Helin, Pertti Kellomki |
| 2005 | Model checking software with well-defined APIs: the socket case. | Pedro de la Cmara, Mara-del-Mar Gallardo, Pedro Merino, David Sann |
| 2005 | Ten commandments revisited: a ten-year perspective on the industrial application of formal methods. | Jonathan P. Bowen, Michael G. Hinchey |
| 2005 | Instantiating generic charts for railway interlocking systems. | Michele Banci, Alessandro Fantechi |
| 2005 | Quantitative analysis of distributed randomized protocols. | Christel Baier, Frank Ciesinski, Marcus Grer |
| 2005 | The experience of ATX with the application of formal/rigorous techniques and methods in real projects. | Lus Andrade |
| 2005 | On-the-fly state space reductions for weak equivalences. | Radu Mateescu |