| 2011 | A Multi-encoding Approach for LTL Symbolic Satisfiability Checking. Kristin Y. Rozier, Moshe Y. Vardi |
| 2011 | Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. Sarah M. Loos, André Platzer, Ligia Nistor |
| 2011 | Automatically Refining Partial Specifications for Program Verification. Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He |
| 2011 | Building VCL Models and Automatically Generating Z Specifications from Them. Nuno Amálio, Christian Glodt, Pierre Kelsen |
| 2011 | Certification of Safe Polynomial Memory Bounds. Javier de Dios, Ricardo Peña |
| 2011 | Does It Pay to Extend the Perimeter of a World Model? Werner Damm, Bernd Finkbeiner |
| 2011 | FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings Michael J. Butler, Wolfram Schulte |
| 2011 | Failure-Divergence Refinement of Compensating Communicating Processes. Zhenbang Chen, Zhiming Liu, Ji Wang |
| 2011 | Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems. Anne E. Haxthausen, Andreas A. Kjær, Marie Le Bliguet |
| 2011 | Formally Verifying Isolation and Availability in an Idealized Model of Virtualization. Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna |
| 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 | Model Integration and Cyber Physical Systems: A Semantics Perspective. Janos Sztipanovits |
| 2011 | On Combining State Space Reductions with Global Fairness Assumptions. Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong |
| 2011 | Refinement-Based Verification of Local Synchronization Algorithms. Dominique Méry, Mohamed Mosbah, Mohamed Tounsi |
| 2011 | Relational Reasoning via SMT Solving. Aboubakr Achraf El Ghazi, Mana Taghdiri |
| 2011 | Relational Verification Using Product Programs. Gilles Barthe, Juan Manuel Crespo, César Kunz |
| 2011 | Sampling-Based Runtime Verification. Borzoo Bonakdarpour, Samaneh Navabpour, Sebastian Fischmeister |
| 2011 | Simulating Concurrent Behaviors with Worst-Case Cost Bounds. Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2011 | Some Thoughts on Behavioral Programming. David Harel |
| 2011 | Specifying Confidentiality in Circus. Michael J. Banks, Jeremy L. Jacob |
| 2011 | Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP. Fabienne Boyer, Olivier Gruber, Gwen Salaün |
| 2011 | Structured Specifications for Better Verification of Heap-Manipulating Programs. Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin |
| 2011 | System Verification through Program Verification. Daniel Dietsch, Bernd Westphal, Andreas Podelski |
| 2011 | Termination without \checkmark\checkmark in CSP. Steve Dunne |
| 2011 | The 1st Verified Software Competition: Experience Report. Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß |
| 2011 | The Only Way Is Up. Jasmin Fisher, Nir Piterman, Moshe Y. Vardi |
| 2011 | The Safety-Critical Java Memory Model: A Formal Account. Ana Cavalcanti, Andy J. Wellings, Jim Woodcock |
| 2011 | Timed Migration and Interaction with Access Permissions. Gabriel Ciobanu, Maciej Koutny |
| 2011 | TraceContract: A Scala DSL for Trace Analysis. Howard Barringer, Klaus Havelund |
| 2011 | Using Debuggers to Understand Failed Verification Attempts. Peter Müller, Joseph N. Ruskiewicz |
| 2011 | Validated Compilation through Logic. Guodong Li |
| 2011 | Verification of Unloadable Modules. Bart Jacobs, Jan Smans, Frank Piessens |
| 2011 | Verifying Linearisability with Potential Linearisation Points. John Derrick, Gerhard Schellhorn, Heike Wehrheim |