| 2009 | The Denotational Semantics of slotted-Circus. | Pawel Gancarski, Andrew Butterfield |
| 2009 | Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way. | Rik Eshuis |
| 2009 | On the Difficulties of Concurrent-System Design, Illustrated with a 22 Switch Case Study. | Edgar G. Daylight, Sandeep K. Shukla |
| 2009 | Unifying Probability with Nondeterminism. | Yifeng Chen, Jeff W. Sanders |
| 2009 | Making Temporal Logic Calculational: A Tool for Unification and Discovery. | Raymond T. Boute |
| 2009 | What Can Formal Methods Bring to Systems Biology? | Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Elzbieta Krepska |
| 2009 | On the Complexity of Synthesizing Relaxed and Graceful Bounded-Time 2-Phase Recovery. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2009 | Industrial Practice in Formal Methods: A Review. | Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock |
| 2009 | Specification and Verification of Web Applications in Rewriting Logic. | Mara Alpuente, Demis Ballis, Daniel Romero |
| 2009 | Field-Sensitive Value Analysis by Field-Insensitive Analysis. | Elvira Albert, Puri Arenas, Samir Genaim, Germn Puebla |
| 2009 | Abstract Object Creation in Dynamic Logic. | Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe |
| 2008 | CoVaC: Compiler Validation by Program Analysis of the Cross-Product. | Anna Zaks, Amir Pnueli |
| 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 | 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 | Constraint Prioritization for Efficient Analysis of Declarative Models. | Engin Uzuncaova, Sarfraz Khurshid |
| 2008 | Finding Minimal Unsatisfiable Cores of Declarative Specifications. | Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson |
| 2008 | Checking Well-Formedness of Pure-Method Specifications. | Arsenii Rudich, dm Darvas, Peter Mller |
| 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 | Verifying Dynamic Pointer-Manipulating Threads. | Thomas Noll, Stefan Rieger |
| 2008 | Proofs and Refutations for Probabilistic Refinement. | A. K. McIver, Carroll C. Morgan, Carlos Gonzala |
| 2008 | Introducing Objects through Refinement. | Tim McComb, Graeme Smith |
| 2008 | A Model Checking Language for Concurrent Value-Passing Systems. | Radu Mateescu, Damien Thivolle |
| 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 | Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution. | Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya |