| 2003 | A Case Study of a Formalized Security Architecture. Achim D. Brucker, Burkhart Wolff |
| 2003 | An Operational Semantics for Handel-C. Andrew Butterfield, Jim Woodcock |
| 2003 | An overview of JML tools and applications. Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll |
| 2003 | Analysis of the MPEG-2 Encoding Algorithm with ROSA1. Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla |
| 2003 | Automatic Detection of Copies Divergence in Collaborative Editing Systems. Abdessamad Imine, Pascal Urso |
| 2003 | Development of Safety-Critical Reconfigurable Hardware with Esterel. Jerker Hammarberg, Simin Nadjm-Tehrani |
| 2003 | Distributed State Space Minimization. Stefan Blom, Simona Orzan |
| 2003 | Distribution of Explicit-State LTL Model-Checking. Lubos Brim, Jiri Barnat |
| 2003 | Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003 Thomas Arts, Wan J. Fokkink |
| 2003 | Formal Methods Group ETH Zürich. Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan |
| 2003 | Formal Methods Research at NTNU, Department of Telematics. Rolv Bræk |
| 2003 | Formal Methods Research at SICS and KTH: An Overview. Mads Dam, Lars-Åke Fredlund, Dilian Gurov |
| 2003 | Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin. Andrew Butterfield |
| 2003 | Formal Specification and Verification of Complex Systems. Stefania Gnesi |
| 2003 | Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. Nicole Rauch, Burkhart Wolff |
| 2003 | Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology Transfer. Juan Bicarregui |
| 2003 | Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System. Richard Bubel, Reiner Hähnle |
| 2003 | Model-Based Test Case Generation for Smart Cards. Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl |
| 2003 | New developments around the mCRL tool set. Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol |
| 2003 | On-the-Fly Verification using CADP. Radu Mateescu |
| 2003 | Preface. Thomas Arts, Wan J. Fokkink |
| 2003 | Recent Trends in the Development of Safety Critical Systems. Werner Damm |
| 2003 | Slicing Event Spaces: Towards a Java Programs Checking Framework. Néstor Cataño |
| 2003 | Tool Supported Test Frameworks in TTCN-3. Ina Schieferdecker, Theofanis Vassiliou-Gioles |
| 2003 | Towards the verification of real-time systems in avionics: the Cotre approach. Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert |
| 2003 | UML-based Tool for Constructing Component Systems via Component Behaviour Inheritance. Ella E. Roubtsova, Serguei A. Roubtsov |
| 2003 | Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study. Paul Ziemann, Martin Gogolla |
| 2003 | Verification with the Undefined: A New Look. Antero Kangas, Antti Valmari |