| 2007 | Capturing Conflict and Confusion in CSP. | Christie Marr |
| 2007 | Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. | Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi |
| 2007 | Combining Mobility with State. | Damien Karkinsky, Steve A. Schneider, Helen Treharne |
| 2007 | UTP Semantics for Web Services. | Jifeng He |
| 2007 | Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. | Osman Hasan, Sofine Tahar |
| 2007 | Verifying Smart Card Applications: An ASM Approach. | Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn |
| 2007 | Qualitative Probabilistic Modelling in Event-B. | Stefan Hallerstede, Thai Son Hoang |
| 2007 | Finding State Solutions to Temporal Logic Queries. | Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik |
| 2007 | Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. | Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader |
| 2007 | Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. | Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans |
| 2007 | Lifting General Correctness into Partial Correctness is | Steve Dunne, Andy Galloway |
| 2007 | Proving Linearizability Via Non-atomic Refinement. | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
| 2007 | Guiding the Correction of Parameterized Specifications. | Jean-Franois Couchot, Frdric Dadeau |
| 2007 | Probabilistic Timed Behavior Trees. | Robert Colvin, Lars Grunske, Kirsten Winter |
| 2007 | Inheriting Laws for Processes with States. | Yifeng Chen |
| 2007 | Behavioural Specifications from Class Models. | Alessandra Cavarra, James Welch |
| 2007 | Bug Hunting with False Negatives. | Jens R. Calam, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova |
| 2007 | Slotted-Circus. | Andrew Butterfield, Adnan Sherif, Jim Woodcock |
| 2007 | Slicing Concurrent Real-Time System Specifications for Verification. | Ingo Brckner |
| 2007 | Automated Verification of Security Policies in Mobile Code. | Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi |
| 2007 | Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications. | Oliver Au, Roger G. Stone, John Cooke |
| 2007 | Verifying Temporal Properties of CommUnity Designs. | Nazareno Aguirre, Germn Regis, T. S. E. Maibaum |
| 2005 | Embedding the Stable Failures Model of CSP in PVS. | Kun Wei, James Heather |
| 2005 | Formalising Interactive Voice Services with SDL. | Kenneth J. Turner |
| 2005 | An Integrated Framework for Scenarios and State Machines. | Bikram Sengupta, Rance Cleaveland |