| 2006 | An Open Extensible Tool Environment for Event-B. | Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin |
| 2006 | SALT - Structured Assertion Language for Temporal Logic. | Andreas Bauer, Martin Leucker, Jonathan Streit |
| 2005 | 2/3 Alternating Simulation Between Interface Automata. | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
| 2005 | Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations. | Farn Wang |
| 2005 | SVG Web Environment for Z Specification Language. | Jing Sun, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik |
| 2005 | Visualizing and Simulating Semantic Web Services Ontologies. | Jun Sun, Yuan-Fang Li, Hai H. Wang, Jing Sun |
| 2005 | Finding Bugs in Network Protocols Using Simulation Code and Protocol-Specific Heuristics. | Ahmed Sobeih, Mahesh Viswanathan, Darko Marinov, Jennifer C. Hou |
| 2005 | An Evidential Tool Bus. | John M. Rushby |
| 2005 | Modelling and Refinement of an On-Chip Communication Architecture. | Juha Plosila, Pasi Liljeberg, Jouni Isoaho |
| 2005 | A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. | Ana C. R. Paiva, Joo C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal |
| 2005 | Incremental Verification of Owicki/Gries Proof Outlines Using PVS. | Arjan J. Mooij, Wieger Wesselink |
| 2005 | Adaptive Random Testing by Bisection with Restriction. | Johannes Mayer |
| 2005 | An Automated Approach to Specification-Based Program Inspection. | Shaoying Liu, Fumiko Nagoya, Yuting Chen, Masashi Goya, John A. McDermid |
| 2005 | Automatic Refinement Checking for B. | Michael Leuschel, Michael J. Butler |
| 2005 | Formal Model-Driven Development of Communicating Systems. | Linas Laibinis, Elena Troubitsyna, Sari Leppnen, Johan Lilius, Qaisar A. Malik |
| 2005 | Derivation of UML Class Diagrams as Static Views of Formal B Developments. | Akram Idani, Yves Ledru, Didier Bert |
| 2005 | Realising the Benefits of Formal Methods. | Anthony Hall |
| 2005 | Sweep-Line Analysis of TCP Connection Management. | Guy Edward Gallasch, Bing Han, Jonathan Billington |
| 2005 | 29 New Unclarities in the Semantics of UML 2.0 State Machines. | Harald Fecher, Jens Schnborn, Marcel Kyas, Willem P. de Roever |
| 2005 | The Semantics and Tool Support of OZTA. | Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang |
| 2005 | Game Semantics Model for Security Protocols. | Mourad Debbabi, Mohamed Mostafa Saleh |
| 2005 | Using Stlmarck's Algorithm to Prove Inequalities. | Byron Cook, Georges Gonthier |
| 2005 | Slicing an Integrated Formal Method for Verification. | Ingo Brckner, Heike Wehrheim |
| 2005 | Testing Real-Time Multi Input-Output Systems. | Laura Brandn Briones, Ed Brinksma |
| 2005 | Using Three-Valued Logic to Specify and Verify Algorithms of Computational Geometry. | Jens Brandt, Klaus Schneider |