| 2010 | A CSP Approach to Control in Event-B. Steve A. Schneider, Helen Treharne, Heike Wehrheim |
| 2010 | A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs. Aleksandar S. Dimovski |
| 2010 | A Logical Framework to Deal with Variability. Patrizia Asirelli, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi |
| 2010 | Adding Change Impact Analysis to the Formal Verification of C Programs. Serge Autexier, Christoph Lüth |
| 2010 | An Event-B Approach to Data Sharing Agreements. Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, Michael D. Wilson |
| 2010 | Automatic Verification of Parametric Specifications with Complex Topologies. Johannes Faber, Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans |
| 2010 | Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. Javier de Dios, Manuel Montenegro, Ricardo Peña |
| 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 | Creating Sequential Programs from Event-B Models. Pontus Boström |
| 2010 | From Operating-System Correctness to Pervasively Verified Applications. Matthias Daum, Norbert Schirmer, Mareike Schmidt |
| 2010 | Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings Dominique Méry, Stephan Merz |
| 2010 | Integrating Implicit Induction Proofs into Certified Proof Environments. Sorin Stratulat |
| 2010 | Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. Stefano Marrone, Camilla Papa, Valeria Vittorini |
| 2010 | On Model Checking Techniques for Randomized Distributed Systems. Christel Baier |
| 2010 | Programming with Miracles. Rajeev Joshi |
| 2010 | Safe Commits for Transactional Featherweight Java. Thi Mai Thuong Tran, Martin Steffen |
| 2010 | Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. Martin Fränzle, Tino Teige, Andreas Eggers |
| 2010 | Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. Mathias Hülsbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim |
| 2010 | Specification and Verification of Model Transformations Using UML-RSDS. Kevin Lano, Shekoufeh Kolahdouz Rahimi |
| 2010 | Symbolic Model-Checking of Optimistic Replication Algorithms. Hanifa Boucheneb, Abdessamad Imine, Manal Najem |
| 2010 | Systematic Translation Rules from astd to Event-B. Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau |
| 2010 | Towards Probabilistic Modelling in Event-B. Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
| 2010 | Translating Pi-Calculus into LOTOS NT. Radu Mateescu, Gwen Salaün |
| 2010 | Verification Architectures: Compositional Reasoning for Real-Time Systems. Johannes Faber |