| 2007 | A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems. Larissa Meinicke, Graeme Smith |
| 2007 | Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi |
| 2007 | Automated Verification of Security Policies in Mobile Code. Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi |
| 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 | Capturing Conflict and Confusion in CSP. Christie Marr |
| 2007 | Co-simulation of Distributed Embedded Real-Time Control Systems. Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink |
| 2007 | Combining Mobility with State. Damien Karkinsky, Steve A. Schneider, Helen Treharne |
| 2007 | Common Semantics for Use Cases and Task Models. Daniel Sinnig, Patrice Chalin, Ferhat Khendek |
| 2007 | Decomposing Integrated Specifications for Verification. Björn Metzler |
| 2007 | Finding State Solutions to Temporal Logic Queries. Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik |
| 2007 | Guiding the Correction of Parameterized Specifications. Jean-François Couchot, Frédéric Dadeau |
| 2007 | Inheriting Laws for Processes with States. Yifeng Chen |
| 2007 | Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings Jim Davies, Jeremy Gibbons |
| 2007 | Integrated Static Analysis for Linux Device Driver Verification. Hendrik Post, Wolfgang Küchlin |
| 2007 | Integrating Verification, Testing, and Learning for Cryptographic Protocols. Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse |
| 2007 | Lifting General Correctness into Partial Correctness is Steve Dunne, Andy Galloway |
| 2007 | Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader |
| 2007 | Non-interference Properties for Data-Type Reduction of Communicating Systems. Tobe Toben |
| 2007 | Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications. Oliver Au, Roger G. Stone, John Cooke |
| 2007 | Probabilistic Timed Behavior Trees. Robert Colvin, Lars Grunske, Kirsten Winter |
| 2007 | Proving Linearizability Via Non-atomic Refinement. John Derrick, Gerhard Schellhorn, Heike Wehrheim |
| 2007 | Qualitative Probabilistic Modelling in Event-B. Stefan Hallerstede, Thai Son Hoang |
| 2007 | Slicing Concurrent Real-Time System Specifications for Verification. Ingo Brückner |
| 2007 | Slotted-Circus. Andrew Butterfield, Adnan Sherif, Jim Woodcock |
| 2007 | Translating FSP into LOTOS and Networks of Automata. Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee |
| 2007 | UTP Semantics for Web Services. Jifeng He |
| 2007 | Unifying Theories of Objects. Michael Anthony Smith, Jeremy Gibbons |
| 2007 | Validating Z Specifications Using the ProBAnimator and Model Checker. Daniel Plagge, Michael Leuschel |
| 2007 | Verification of Multi-agent Negotiations Using the Alloy Analyzer. Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang |
| 2007 | Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. Osman Hasan, Sofiène Tahar |
| 2007 | Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans |
| 2007 | Verifying Smart Card Applications: An ASM Approach. Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn |
| 2007 | Verifying Temporal Properties of CommUnity Designs. Nazareno Aguirre, Germán Regis, T. S. E. Maibaum |