| 2012 | Formal Verification of Compiler Transformations on Polychronous Equations. | Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, Loc Besnard |
| 2012 | Partially-Supervised Plants: Embedding Control Requirements in Plant Components. | Jasen Markovski, Dirk A. van Beek, Jos C. M. Baeten |
| 2012 | A Proof Framework for Concurrent Programs. | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
| 2012 | MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis. | Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham |
| 2012 | PE-KeY: A Partial Evaluator for Java Programs. | Ran Ji, Richard Bubel |
| 2012 | Safety and Line Capacity in Railways - An Approach in Timed CSP. | Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach |
| 2012 | Early Fault Detection in Industry Using Models at Various Abstraction Levels. | Jozef Hooman, Arjan J. Mooij, Hans van Wezep |
| 2012 | Translating TLA + to B for Validation with ProB. | Dominik Hansen, Michael Leuschel |
| 2012 | Specifying UML Protocol State Machines in Alloy. | Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco |
| 2012 | Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands. | Brijesh Dongol, Ian J. Hayes |
| 2012 | Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. | Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |
| 2012 | Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management. | Muffy Calder, Michele Sevegnani |
| 2012 | A UTP Semantics of pGCL as a Homogeneous Relation. | Riccardo Bresciani, Andrew Butterfield |
| 2012 | Contribution to a Rigorous Analysis of Web Application Frameworks. | Egon Brger, Antonio Cisternino, Vincenzo Gervasi |
| 2012 | Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports. | Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder, Naresh Ramaram |
| 2012 | Refinement-Based Development of Timed Systems. | Jesper Berthing, Pontus Bostrm, Kaisa Sere, Leonidas Tsiopoulos, Jri Vain |
| 2012 | Specification-Driven Unit Test Generation for Java Generic Classes. | Francisco Rebello de Andrade, Joo Pascoal Faria, Antnia Lopes, Ana C. R. Paiva |
| 2010 | Safe Commits for Transactional Featherweight Java. | Thi Mai Thuong Tran, Martin Steffen |
| 2010 | Towards Probabilistic Modelling in Event-B. | Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis |
| 2010 | Integrating Implicit Induction Proofs into Certified Proof Environments. | Sorin Stratulat |
| 2010 | A CSP Approach to Control in Event-B. | Steve A. Schneider, Helen Treharne, Heike Wehrheim |
| 2010 | Systematic Translation Rules from astd to Event-B. | Jrmy Milhau, Marc Frappier, Frdric Gervais, Rgine Laleau |
| 2010 | Translating Pi-Calculus into LOTOS NT. | Radu Mateescu, Gwen Salan |
| 2010 | Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems. | Stefano Marrone, Camilla Papa, Valeria Vittorini |
| 2010 | Specification and Verification of Model Transformations Using UML-RSDS. | Kevin Lano, Shekoufeh Kolahdouz Rahimi |