| 2010 | Programming with Miracles. | Rajeev Joshi |
| 2010 | Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. | Mathias Hlsbusch, Barbara Knig, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim |
| 2010 | Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. | Martin Frnzle, Tino Teige, Andreas Eggers |
| 2010 | Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. | John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef, Sune Wolff |
| 2010 | Automatic Verification of Parametric Specifications with Complex Topologies. | Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans |
| 2010 | Verification Architectures: Compositional Reasoning for Real-Time Systems. | Johannes Faber |
| 2010 | Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. | Javier de Dios, Manuel Montenegro, Ricardo Pea |
| 2010 | A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs. | Aleksandar S. Dimovski |
| 2010 | From Operating-System Correctness to Pervasively Verified Applications. | Matthias Daum, Norbert Schirmer, Mareike Schmidt |
| 2010 | Symbolic Model-Checking of Optimistic Replication Algorithms. | Hanifa Boucheneb, Abdessamad Imine, Manal Najem |
| 2010 | Creating Sequential Programs from Event-B Models. | Pontus Bostrm |
| 2010 | On Model Checking Techniques for Randomized Distributed Systems. | Christel Baier |
| 2010 | Adding Change Impact Analysis to the Formal Verification of C Programs. | Serge Autexier, Christoph Lth |
| 2010 | A Logical Framework to Deal with Variability. | Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2010 | An Event-B Approach to Data Sharing Agreements. | Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson |
| 2009 | Mechanised Translation of Control Law Diagrams into Circus. | Frank Zeyda, Ana Cavalcanti |
| 2009 | Dynamic Path Reduction for Software Model Checking. | Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu |
| 2009 | Property Specifications for Workflow Modelling. | Peter Y. H. Wong, Jeremy Gibbons |
| 2009 | Predicate Abstraction in a Program Logic Calculus. | Benjamin Wei |
| 2009 | SAL-Based Symbolic Scheduling in Time-Triggered Networks. | Sebastian Voss, Maria Sorea, Klaus Echtle |
| 2009 | Model Checking LTL Formulae in RAISE with FDR. | Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George |
| 2009 | Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format. | Jan Stcker, Frdric Lang, Hubert Garavel |
| 2009 | Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. | Steve A. Schneider, Helen Treharne |
| 2009 | Realizability of Choreographies Using Process Algebra Encodings. | Gwen Salan, Tevfik Bultan |
| 2009 | Decompositional Petri Net Reductions. | Astrid Rakow |