| 2005 | A Cloverleaf of Software Engineering. Dines Bjørner |
| 2005 | A Framework for Component-based Construction Extended Abstract. Joseph Sifakis |
| 2005 | A Proposal For Relative Time Petri Nets. Joseph Kuehn, Charles Lakos, Robert Esser |
| 2005 | A Strategy for the Formal Composition of Frameworks. Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo |
| 2005 | A Synchronous Process Calculus for Service Costs. Siva Anantharaman, Jing Chen, Gaétan Hains |
| 2005 | A case study of C source code verification: the Schorr-Waite algorithm. Thierry Hubert, Claude Marché |
| 2005 | A unified description formalism for complex HCI-systems. Anke Dittmar, Peter Forbrig |
| 2005 | Automatic Maintenance of Association Invariants. James Welch, David Faitelson, Jim Davies |
| 2005 | BRILLANT : An Open Source and XML-based platform for Rigourous Software Development. Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano |
| 2005 | Building Verification Condition Generators by Compositional Extensions. I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen |
| 2005 | Conference Chairs. |
| 2005 | Control Code Obfuscation by Abstract Interpretation. Mila Dalla Preda, Roberto Giacobazzi |
| 2005 | Copyright. |
| 2005 | Counting Interface Automata and their Application in Static Analysis of Actor Models. Ernesto Wandeler, Jörn W. Janneck, Edward A. Lee, Lothar Thiele |
| 2005 | Customised Induction Rules for Proving Correctness of Imperative Programs. Ola Olsson, Angela Wallenburg |
| 2005 | Description Logics for Shape Analysis. Lilia Georgieva, Patrick Maier |
| 2005 | Experimental Evaluation of FSM-Based Testing Methods. Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih, Ana R. Cavalli |
| 2005 | External Referees. |
| 2005 | Formal Analysis of Human-computer Interaction using Model-checking. Antonio Cerone, Peter A. Lindsay, Simon Connelly |
| 2005 | Formal Verification of Dead Code Elimination in Isabelle/HOL. Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner |
| 2005 | Formalising Control in Robust Spoken Dialogue Systems. Hui Shi, Robert J. Ross, John A. Bateman |
| 2005 | From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 2005 | Generating Relational Database Transactions From Recursive Functions Defined on EB Frédéric Gervais, Marc Frappier, Régine Laleau |
| 2005 | Interface Abstraction for Compositional Verificatio. Dilian Gurov, Marieke Huisman |
| 2005 | Invariants on Demand. K. Rustan M. Leino |
| 2005 | Logical Foundations of Program Assertions: What do Practitioners Want?. Patrice Chalin |
| 2005 | Making Formal Methods Work. Anthony Hall |
| 2005 | Object Oriented Verification Kernels for Secure Java Applications. Holger Grandy, Kurt Stenzel, Wolfgang Reif |
| 2005 | Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification. Thomas Wilson, Savi Maharaj, Robert G. Clark |
| 2005 | On Compatibility and Behavioural Substitutability of Component Protocols. Nabil Hameurlain |
| 2005 | On the Theory of Patching. Zoltán Pap, Gyula Csopaki, Sarolta Dibuz |
| 2005 | Operational Semantics for Real-Time Processes with Action Refinement. Xiuli Sun, Jinzhao Wu |
| 2005 | Pragmatic Consistency Management in Industrial Requirements Specifications. Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk, Johannes Siedersleben |
| 2005 | Precise Analysis of Memory Consumption using Program Logics. Gilles Barthe, Mariela Pavlova, Gerardo Schneider |
| 2005 | Preface. |
| 2005 | Program Committee. |
| 2005 | Proving Correctness of JavaCard DL Taclets using Bali. Kerry Trentelman |
| 2005 | Putting Detectors in Their Place. Arshad Jhumka, Martin Hiller |
| 2005 | SHReQ: Coordinating Application Level QoS. Dan Hirsch, Emilio Tuosto |
| 2005 | Safe Concurrency for Aggregate Objects with Invariants. Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte |
| 2005 | Software Refinement with Perfect Developer. Gareth Carter, Rosemary Monahan, Joseph M. Morris |
| 2005 | Specifying Urgency in Timed I/O Automata. Biniam Gebremichael, Frits W. Vaandrager |
| 2005 | Steering Committee. |
| 2005 | Stuttering Abstraction for Model Checkin. Shiva Nejati, Arie Gurfinkel, Marsha Chechik |
| 2005 | Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany Bernhard K. Aichernig, Bernhard Beckert |
| 2005 | Timed Automata with Data Structures for Distributed Systems Design and Analysis. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
| 2005 | Title Page. |
| 2005 | Towards A Truly Concurrent Model for Processes Sharing Resources. Naiyong Jin, Jifeng He |
| 2005 | Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova |
| 2005 | Use of Verification for Testing and Debugging of Complex Reactive Systems. Mark B. Trakhtenbrot |
| 2005 | Using Dominators to Extract Observable Protocol Contexts. Mahadevan Subramaniam, Jiangfan Shi |
| 2005 | Verification of an Off-Line Checker for Priority Queues. Hans de Nivelle, Ruzica Piskac |
| 2005 | Workflow Enactment Based on a Chemical Metaphor. Zsolt Németh, Christian Pérez, Thierry Priol |