| 2005 | An approach to the pervasive formal specification and verification of an automotive system: status report. Thomas In der Rieden, Steffen Knapp |
| 2005 | Developing critical systems with PLD components. Adrian J. Hilton, Jon G. Hall |
| 2005 | Echo: a practical approach to formal verification. Elisabeth A. Strunk, Xiang Yin, John C. Knight |
| 2005 | Enhancing random walk state space exploration. Radek Pelánek, Tomás Hanzl, Ivana Cerná, Lubos Brim |
| 2005 | Flush: a system development tool based on scade/lustre. Jan Mikác, Paul Caspi |
| 2005 | Instantiating generic charts for railway interlocking systems. Michele Banci, Alessandro Fantechi |
| 2005 | Invariants come from templates. Joni Helin, Pertti Kellomäki |
| 2005 | LearnLib: a library for automata learning and experimentation. Harald Raffelt, Bernhard Steffen, Therese Berg |
| 2005 | Model checking software with well-defined APIs: the socket case. Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino, David Sanán |
| 2005 | On-the-fly state space reductions for weak equivalences. Radu Mateescu |
| 2005 | Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005 Tiziana Margaria, Mieke Massink |
| 2005 | Quantitative analysis of distributed randomized protocols. Christel Baier, Frank Ciesinski, Marcus Größer |
| 2005 | Requirements of an integrated formal method for intelligent swarms. Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski |
| 2005 | Solving scheduling problems by untimed model checking: the clinical chemical analyser case study. Anton Wijs, Jaco van de Pol, Elena M. Bortnik |
| 2005 | Structural test coverage criteria for lustre programs. Abdesselam Lakehal, Ioannis Parissis |
| 2005 | Ten commandments revisited: a ten-year perspective on the industrial application of formal methods. Jonathan P. Bowen, Michael G. Hinchey |
| 2005 | The experience of ATX with the application of formal/rigorous techniques and methods in real projects. Luís Andrade |
| 2005 | Toward a formal model for component interfaces for real-time systems. Dang Van Hung |