| 2008 | A Model Checking Language for Concurrent Value-Passing Systems. Radu Mateescu, Damien Thivolle |
| 2008 | A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service. Tom Ridge, Michael Norrish, Peter Sewell |
| 2008 | A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. Olivier Ponsini, Wendelin Serwe |
| 2008 | An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS. Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev |
| 2008 | Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone. Taro Kurita, Miki Chiba, Yasumasa Nakatsugawa |
| 2008 | Aspects and Formal Methods. Shmuel Katz |
| 2008 | Assume-Guarantee Verification for Interface Automata. Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2008 | Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. Carlo A. Furia, Matteo Pradella, Matteo Rossi |
| 2008 | Checking Well-Formedness of Pure-Method Specifications. Arsenii Rudich, Ádám Darvas, Peter Müller |
| 2008 | CoVaC: Compiler Validation by Program Analysis of the Cross-Product. Anna Zaks, Amir Pnueli |
| 2008 | Constraint Prioritization for Efficient Analysis of Declarative Models. Engin Uzuncaova, Sarfraz Khurshid |
| 2008 | FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere |
| 2008 | Finding Minimal Unsatisfiable Cores of Declarative Specifications. Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson |
| 2008 | Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution. Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya |
| 2008 | Getting Formal Verification into Design Flow. Arvind, Nirav Dave, Michael Katelman |
| 2008 | Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald |
| 2008 | Industrial Use of Formal Methods for a High-Level Security Evaluation. Boutheina Chetali, Quang Huy Nguyen |
| 2008 | Introducing Objects through Refinement. Tim McComb, Graeme Smith |
| 2008 | JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. Patrice Chalin, Frédéric Rioux |
| 2008 | Lazy Behavioral Subtyping. Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
| 2008 | Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems. Dawson R. Engler |
| 2008 | Masking Faults While Providing Bounded-Time Phased Recovery. Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2008 | Precise Interval Analysis vs. Parity Games. Thomas Gawlitza, Helmut Seidl |
| 2008 | Proofs and Refutations for Probabilistic Refinement. A. K. McIver, Carroll C. Morgan, Carlos Gonzalía |
| 2008 | Provably Correct Runtime Monitoring. Irem Aktug, Mads Dam, Dilian Gurov |
| 2008 | Safe and Reliable Metro Platform Screen Doors Control/Command Systems. Thierry Lecomte |
| 2008 | Secret Ninja Formal Methods. Joseph R. Kiniry, Daniel M. Zimmerman |
| 2008 | Simulation, Orchestration and Logical Clocks. David Kitchin, Evan Powell, Jayadev Misra |
| 2008 | Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System. Klaas Wijbrans, Franc Buve, Robin Rijkers, Wouter Geurts |
| 2008 | Specification and Checking of Software Contracts for Conditional Information Flow. Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve |
| 2008 | Towards Consistent Specifications of Product Families. Alexander Harhurin, Judith Hartmann |
| 2008 | Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif |
| 2008 | Verifying Dynamic Pointer-Manipulating Threads. Thomas Noll, Stefan Rieger |