| 2011 | From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. | Jonathan P. Bowen, Steve Reeves |
| 2011 | Sampling-Based Runtime Verification. | Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister |
| 2011 | Relational Verification Using Product Programs. | Gilles Barthe, Juan Manuel Crespo, Csar Kunz |
| 2011 | Formally Verifying Isolation and Availability in an Idealized Model of Virtualization. | Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna |
| 2011 | TraceContract: A Scala DSL for Trace Analysis. | Howard Barringer, Klaus Havelund |
| 2011 | Specifying Confidentiality in Circus. | Michael J. Banks, Jeremy L. Jacob |
| 2011 | Building VCL Models and Automatically Generating Z Specifications from Them. | Nuno Amlio, Christian Glodt, Pierre Kelsen |
| 2011 | Simulating Concurrent Behaviors with Worst-Case Cost Bounds. | Elvira Albert, Samir Genaim, Miguel Gmez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2009 | Symbolic Predictive Analysis for Concurrent Programs. | Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta |
| 2009 | Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. | Neil Walkinshaw, John Derrick, Qiang Guo |
| 2009 | Reduced Execution Semantics of MPI: From Theory to Practice. | Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby |
| 2009 | Formal Methods for Privacy. | Michael Carl Tschantz, Jeannette M. Wing |
| 2009 | Abstract Model Checking without Computing the Abstraction. | Stefano Tonetta |
| 2009 | Fair Model Checking with Process Counter Abstraction. | Jun Sun, Yang Liu, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong |
| 2009 | Formal Verification of Avionics Software Products. | Jean Souyris, Virginie Wiels, David Delmas, Herv Delseny |
| 2009 | An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. | Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry |
| 2009 | Inferring Mealy Machines. | Muzammil Shahbaz, Roland Groz |
| 2009 | A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis. | Helmut Seidl, Vesal Vojdani, Varmo Vene |
| 2009 | Three-Valued Spotlight Abstractions. | Jonas Schrieb, Heike Wehrheim, Daniel Wonisch |
| 2009 | Abstract Specification of the UBIFS File System for Flash Memory. | Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif |
| 2009 | Language and Tool Support for Class and State Machine Refinement in UML-B. | Mar Yah Said, Michael J. Butler, Colin F. Snook |
| 2009 | A Tableau for CTL. | Mark Reynolds |
| 2009 | A Robust Semantics Hides Fewer Errors. | Steve Reeves, David Streader |
| 2009 | Systematic Development of Trustworthy Component Systems. | Rodrigo Ramos, Augusto Sampaio, Alexandre Mota |
| 2009 | Verification, Testing and Statistics. | Sriram K. Rajamani |