| 2005 | Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern. | Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney |
| 2005 | Formal Verification of Security Properties of Smart Card Embedded Source Code. | June Andronick, Boutheina Chetali, Christine Paulin-Mohring |
| 2005 | Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. | Tiago L. Alves, Paulo F. Silva, Joost Visser, Jos Nuno Oliveira |
| 2003 | Translation-Based Compositional Reasoning for Software Systems. | Fei Xie, James C. Browne, Robert P. Kurshan |
| 2003 | Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project. | Alan Wassyng, Mark Lawford |
| 2003 | A Topological Characterization of TCP/IP Security. | Giovanni Vigna |
| 2003 | Model Checking FTA. | Andreas Thums, Gerhard Schellhorn |
| 2003 | Composing Temporal-Logic Specifications with Machine Assistance. | Jei-Wen Teng, Yih-Kuen Tsay |
| 2003 | Managerial Issues for the Consideration and Use of Formal Methods. | Donna C. Stidolph, E. James Whitehead Jr. |
| 2003 | Combining Real-Time Model-Checking and Fault Tree Analysis. | Andreas Schfer |
| 2003 | Past, Present, and Future of SRA Implementation of CafeOBJ: Annex. | Toshimi Sawada, Kouichi Kishida, Kokichi Futatsugi |
| 2003 | Compositional Verification of an ATM Protocol. | Vlad Rusu |
| 2003 | Certifying and Synthesizing Membership Equational Proofs. | Grigore Rosu, Steven Eker, Patrick Lincoln, Jos Meseguer |
| 2003 | On Failures and Faults. | Brian Randell |
| 2003 | A Semantic Foundation for TCOZ in Unifying Theories of Programming. | Shengchao Qin, Jin Song Dong, Wei-Ngan Chin |
| 2003 | Mapping Statecharts to Verilog for Hardware/Software Co-specification. | Shengchao Qin, Wei-Ngan Chin |
| 2003 | Structuring Retrenchments in B by Decomposition. | Michael Poppleton, Richard Banach |
| 2003 | Computing Meta-transitions for Linear Transition Systems with Polynomials. | Julien Musset, Michal Rusinowitch |
| 2003 | Model-Checking TRIO Specifications in SPIN. | Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |
| 2003 | Proving the Shalls. | Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl |
| 2003 | A Formal Framework for Modular Synchronous System Design. | Maria-Cristina V. Marinescu, Martin C. Rinard |
| 2003 | Design of an Automatic Prover Dedicated to the Refinement of Database Applications. | Amel Mammar, Rgine Laleau |
| 2003 | ProB: A Model Checker for B. | Michael Leuschel, Michael J. Butler |
| 2003 | Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems. | Marc Lettrari |
| 2003 | Interacting State Machines for Mobility. | Thomas A. Kuhn, David von Oheimb |