| 2005 | A Framework for Component-based Construction Extended Abstract. | Joseph Sifakis |
| 2005 | Formalising Control in Robust Spoken Dialogue Systems. | Hui Shi, Robert J. Ross, John A. Bateman |
| 2005 | Pragmatic Consistency Management in Industrial Requirements Specifications. | Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk, Johannes Siedersleben |
| 2005 | From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform. | Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 2005 | Control Code Obfuscation by Abstract Interpretation. | Mila Dalla Preda, Roberto Giacobazzi |
| 2005 | Building Verification Condition Generators by Compositional Extensions. | I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen |
| 2005 | On the Theory of Patching. | Zoltn Pap, Gyula Csopaki, Sarolta Dibuz |
| 2005 | Customised Induction Rules for Proving Correctness of Imperative Programs. | Ola Olsson, Angela Wallenburg |
| 2005 | Verification of an Off-Line Checker for Priority Queues. | Hans de Nivelle, Ruzica Piskac |
| 2005 | Workflow Enactment Based on a Chemical Metaphor. | Zsolt Nmeth, Christian Prez, Thierry Priol |
| 2005 | Stuttering Abstraction for Model Checkin. | Shiva Nejati, Arie Gurfinkel, Marsha Chechik |
| 2005 | A Strategy for the Formal Composition of Frameworks. | Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo |
| 2005 | Invariants on Demand. | K. Rustan M. Leino |
| 2005 | Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. | Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova |
| 2005 | Timed Automata with Data Structures for Distributed Systems Design and Analysis. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
| 2005 | A Proposal For Relative Time Petri Nets. | Joseph Kuehn, Charles Lakos, Robert Esser |
| 2005 | Towards A Truly Concurrent Model for Processes Sharing Resources. | Naiyong Jin, Jifeng He |
| 2005 | Putting Detectors in Their Place. | Arshad Jhumka, Martin Hiller |
| 2005 | Safe Concurrency for Aggregate Objects with Invariants. | Bart Jacobs, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte |
| 2005 | A case study of C source code verification: the Schorr-Waite algorithm. | Thierry Hubert, Claude March |
| 2005 | SHReQ: Coordinating Application Level QoS. | Dan Hirsch, Emilio Tuosto |
| 2005 | On Compatibility and Behavioural Substitutability of Component Protocols. | Nabil Hameurlain |
| 2005 | Making Formal Methods Work. | Anthony Hall |
| 2005 | Interface Abstraction for Compositional Verification. | Dilian Gurov, Marieke Huisman |
| 2005 | Object Oriented Verification Kernels for Secure Java Applications. | Holger Grandy, Kurt Stenzel, Wolfgang Reif |