| 2012 | Automata Learning through Counterexample Guided Abstraction Refinement. | Fides Aarts, Faranak Heidarian, Harco Kuppens, Petur Olsen, Frits W. Vaandrager |
| 2011 | On Combining State Space Reductions with Global Fairness Assumptions. | Shao Jie Zhang, Jun Sun, Jun Pang, Yang Liu, Jin Song Dong |
| 2011 | Model Integration and Cyber Physical Systems: A Semantics Perspective. | Janos Sztipanovits |
| 2011 | A Multi-encoding Approach for LTL Symbolic Satisfiability Checking. | Kristin Y. Rozier, Moshe Y. Vardi |
| 2011 | Automatically Refining Partial Specifications for Program Verification. | Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He |
| 2011 | Using Debuggers to Understand Failed Verification Attempts. | Peter Mller, Joseph N. Ruskiewicz |
| 2011 | Refinement-Based Verification of Local Synchronization Algorithms. | Dominique Mry, Mohamed Mosbah, Mohamed Tounsi |
| 2011 | Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified. | Sarah M. Loos, Andr Platzer, Ligia Nistor |
| 2011 | Validated Compilation through Logic. | Guodong Li |
| 2011 | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, 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 | Verification of Unloadable Modules. | Bart Jacobs, Jan Smans, Frank Piessens |
| 2011 | Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems. | Anne E. Haxthausen, Andreas A. Kjr, Marie Le Bliguet |
| 2011 | Some Thoughts on Behavioral Programming. | David Harel |
| 2011 | Structured Specifications for Better Verification of Heap-Manipulating Programs. | Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin |
| 2011 | Relational Reasoning via SMT Solving. | Aboubakr Achraf El Ghazi, Mana Taghdiri |
| 2011 | The Only Way Is Up. | Jasmin Fisher, Nir Piterman, Moshe Y. Vardi |
| 2011 | Termination without \checkmark\checkmark in CSP. | Steve Dunne |
| 2011 | Certification of Safe Polynomial Memory Bounds. | Javier de Dios, Ricardo Pea |
| 2011 | System Verification through Program Verification. | Daniel Dietsch, Bernd Westphal, Andreas Podelski |
| 2011 | Verifying Linearisability with Potential Linearisation Points. | John Derrick, Gerhard Schellhorn, Heike Wehrheim |
| 2011 | Does It Pay to Extend the Perimeter of a World Model? | Werner Damm, Bernd Finkbeiner |
| 2011 | Timed Migration and Interaction with Access Permissions. | Gabriel Ciobanu, Maciej Koutny |
| 2011 | Failure-Divergence Refinement of Compensating Communicating Processes. | Zhenbang Chen, Zhiming Liu, Ji Wang |
| 2011 | The Safety-Critical Java Memory Model: A Formal Account. | Ana Cavalcanti, Andy J. Wellings, Jim Woodcock |
| 2011 | Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP. | Fabienne Boyer, Olivier Gruber, Gwen Salan |