| 2005 | Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004 Juan Bicarregui, Andrew Butterfield, Alvaro Arenas |
| 2004 | An Abstract Interpretation Toolkit for Jaco van de Pol, Miguel Valero Espada |
| 2004 | Analysis of Real-Time Systems with CTL Model Checkers. Mustapha Bourahla, Mohamed Benmohamed |
| 2004 | Early Verification and Validation of Mission Critical Systems. Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van |
| 2004 | Efficient Proof Engines for Bounded Model Checking of Hybrid Systems. Martin Fränzle, Christian Herde |
| 2004 | From Distributed Memory Cycle Detection to Parallel LTL Model Checking. Jiri Barnat, Lubos Brim, Jakub Chaloupka |
| 2004 | Geographical Versus Functional Modelling by Statecharts of Interlocking Systems. Michele Banci, Alessandro Fantechi |
| 2004 | Improving Software Quality in Safety-Critical Applications by Model-Driven Verification. Anders Henriksson, Uwe Aßmann, James Hunt |
| 2004 | Integration of Reliability and Performance Analyses for Active Network Services. María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodríguez |
| 2004 | Merging Scenarios. Jacques Klein, Benoît Caillaud, Loïc Hélouët |
| 2004 | Model Checking Flight Guidance Systems: from Synchrony to Asynchrony. Yunja Choi |
| 2004 | Model Checking Publish/Subscribe Notification for thinkteam Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis |
| 2004 | Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis. Alain Girault, Éric Rutten |
| 2004 | Object Oriented Concepts Identification from Formal B Specifications. Akram Idani, Yves Ledru |
| 2004 | Obtaining Memory-Efficient Solutions to Boolean Equation Systems. Misa Keinänen |
| 2004 | On the Formal Verification of Middleware Behavioral Properties. Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon |
| 2004 | Preface. Juan Bicarregui, Andrew Butterfield, Alvaro Arenas |
| 2004 | Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic. David Sinclair, James F. Power |
| 2004 | Testing for the Conformance of Real-time Protocols Implemented by Operating Systems. Dieter Zöbel, David Polock, Andreas van Arkel |