| 2014 | Integrating Software and Hardware Verification. | Marie-Christine Jakobs, Marco Platzner, Heike Wehrheim, Tobias Wiersema |
| 2014 | An Interactive Verification Tool Meets an IDE. | Martin Hentschel, Stefan Ksdorf, Reiner Hhnle, Richard Bubel |
| 2014 | An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. | Stephen Gilmore, Mirco Tribastone, Andrea Vandin |
| 2014 | Code Generation for Event-B. | Andreas Frst, Thai Son Hoang, David A. Basin, Krishnaji Desai, Naoto Sato, Kunihiko Miyazaki |
| 2014 | Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems. | Asieh Salehi Fathabadi, Colin F. Snook, Michael J. Butler |
| 2014 | Proofs and Refutations in Invariant-Based Programming. | Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back |
| 2014 | How to Break the Bank: Semantics of Capability Policies. | Sophia Drossopoulou, James Noble |
| 2014 | Verifying Linearizability on TSO Architectures. | John Derrick, Graeme Smith, Brijesh Dongol |
| 2014 | Automated Theorem Prover Assisted Program Calculations. | Dipak L. Chaudhari, Om P. Damani |
| 2014 | Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. | Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger |
| 2014 | Formal Security Analysis of the MaCAN Protocol. | Alessandro Bruni, Michal Sojka, Flemming Nielson, Hanne Riis Nielson |
| 2014 | Verifying Modal Workflow Specifications Using Constraint Solving. | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux |
| 2014 | Towards a Formal Semantics-Based Technique for Interprocedural Slicing. | Irina Mariuca Asavoae, Mihail Asavoae, Adrin Riesco |
| 2014 | Modeling UML Template Classes with FoCaLiZe. | Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo |
| 2013 | Broadcast, Denial-of-Service, and Secure Communication. | Roberto Vigo, Flemming Nielson, Hanne Riis Nielson |
| 2013 | Verification of EB | Dimitris Vekris, Frdric Lang, Catalin Dima, Radu Mateescu |
| 2013 | Automatic Inference of Erlang Module Behaviour. | Ramsay Taylor, Kirill Bogdanov, John Derrick |
| 2013 | Model-Checking Software Library API Usage Rules. | Fu Song, Tayssir Touili |
| 2013 | Improved Reachability Analysis in DTMC via Divide and Conquer. | Songzheng Song, Lin Gui, Jun Sun, Yang Liu, Jin Song Dong |
| 2013 | Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing. | Aymerick Savary, Marc Frappier, Jean-Louis Lanet |
| 2013 | Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. | Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison |
| 2013 | Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement. | Christian Prehofer |
| 2013 | Structural Transformations for Data-Enriched Real-Time Systems. | Ernst-Rdiger Olderog, Mani Swaminathan |
| 2013 | Solving Games Using Incremental Induction. | Andreas Morgenstern, Manuel Gesell, Klaus Schneider |
| 2013 | Automated Anonymity Verification of the ThreeBallot Voting System. | Murat Moran, James Heather, Steve A. Schneider |