| 2014 | Automated Real Proving in PVS via MetiTarski. | William Denman, Csar A. Muoz |
| 2014 | Automatic Compositional Synthesis of Distributed Systems. | Werner Damm, Bernd Finkbeiner |
| 2014 | Formalizing and Verifying a Modern Build Language. | Maria Christakis, K. Rustan M. Leino, Wolfram Schulte |
| 2014 | Log Analysis for Data Protection Accountability. | Denis Butin, Daniel Le Mtayer |
| 2014 | A Simplified Z Semantics for Presentation Interaction Models. | Judy Bowen, Steve Reeves |
| 2014 | Knowledge-Based Automated Repair of Authentication Protocols. | Borzoo Bonakdarpour, Reza Hajisheykhi, Sandeep S. Kulkarni |
| 2014 | The VerCors Tool for Verification of Concurrent Programs. | Stefan Blom, Marieke Huisman |
| 2014 | 40 Years of Formal Methods - Some Obstacles and Some Possibilities? | Dines Bjrner, Klaus Havelund |
| 2014 | TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms. | Guangdong Bai, Jianan Hao, Jianliang Wu, Yang Liu, Zhenkai Liang, Andrew P. Martin |
| 2014 | Definition, Semantics, and Analysis of Multirate Synchronous AADL. | Kyungmin Bae, Peter Csaba lveczky, Jos Meseguer |
| 2014 | Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. | Alasdair Armstrong, Victor B. F. Gomes, Georg Struth |
| 2014 | The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. | Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muiz, Ahmad Siyar Andisha |
| 2014 | A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes. | Pedro R. G. Antonino, Augusto Sampaio, Jim Woodcock |
| 2012 | A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. | Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen |
| 2012 | Specification-Based Test Repair Using a Lightweight Formal Method. | Guowei Yang, Sarfraz Khurshid, Miryung Kim |
| 2012 | Who Are We, and What Are We Doing Here? | Alan Wassyng |
| 2012 | Formalization of Incremental Simplex Algorithm by Stepwise Refinement. | Mirko Spasic, Filip Maric |
| 2012 | Efficient Malware Detection Using Model-Checking. | Fu Song, Tayssir Touili |
| 2012 | Distribution of Modal Transition Systems. | German E. Sibay, Sebastin Uchitel, Vctor A. Braberman, Jeff Kramer |
| 2012 | From Hoare Logic to Matching Logic Reachability. | Grigore Rosu, Andrei Stefanescu |
| 2012 | Validating B, Z and TLA + Using ProB and Kodkod. | Daniel Plagge, Michael Leuschel |
| 2012 | Automatic Dimensional Analysis of Cyber-Physical Systems. | Sam Owre, Indranil Saha, Natarajan Shankar |
| 2012 | Experience Report on Designing and Developing Control Components Using Formal Methods. | Ammar Osaiweran, Tom Fransen, Jan Friso Groote, Bart J. van Rijnsoever |
| 2012 | Improved BDD-Based Discrete Analysis of Timed Systems. | Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong, Yan Liu |
| 2012 | Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms. | Srinivas Nedunuri, Douglas R. Smith, William R. Cook |