| 2009 | Challenges in the Specification of Full Contracts. | Gordon J. Pace, Gerardo Schneider |
| 2009 | Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions. | Jrmy Milhau, Benot Fraikin, Marc Frappier |
| 2009 | Application of Graph Transformation in Verification of Dynamic Systems. | Zarrin Langari, Richard J. Trefler |
| 2009 | An Introduction to Grammar Convergence. | Ralf Lmmel, Vadim Zaytsev |
| 2009 | Developing Topology Discovery in Event-B. | Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial |
| 2009 | Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays. | Osman Hasan, Naeem Abbasi, Sofine Tahar |
| 2009 | Incremental Reasoning for Multiple Inheritance. | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
| 2009 | Taming the Unbounded for Hardware Synthesis. | Byron Cook |
| 2009 | CSP with Hierarchical State. | Robert Colvin, Ian J. Hayes |
| 2009 | Verifying UML/OCL Operation Contracts. | Jordi Cabot, Robert Claris, Daniel Riera |
| 2009 | Decomposition Structures for Event-B. | Michael J. Butler |
| 2009 | Formal Verification Based on Guided Random Walks. | Thang H. Bui, Albert Nymeyer |
| 2009 | Modelling Divergence in Relational Concurrent Refinement. | Eerke A. Boiten, John Derrick |
| 2009 | Partial Order Reduction for State/Event LTL. | Nikola Benes, Lubos Brim, Ivana Cern, Jiri Sochor, Pavlna Varekov, Barbora Zimmerov |
| 2007 | Co-simulation of Distributed Embedded Real-Time Control Systems. | Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink |
| 2007 | Non-interference Properties for Data-Type Reduction of Communicating Systems. | Tobe Toben |
| 2007 | Unifying Theories of Objects. | Michael Anthony Smith, Jeremy Gibbons |
| 2007 | Common Semantics for Use Cases and Task Models. | Daniel Sinnig, Patrice Chalin, Ferhat Khendek |
| 2007 | Translating FSP into LOTOS and Networks of Automata. | Gwen Salan, Jeff Kramer, Frdric Lang, Jeff Magee |
| 2007 | Integrated Static Analysis for Linux Device Driver Verification. | Hendrik Post, Wolfgang Kchlin |
| 2007 | Verification of Multi-agent Negotiations Using the Alloy Analyzer. | Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang |
| 2007 | Validating Z Specifications Using the ProBAnimator and Model Checker. | Daniel Plagge, Michael Leuschel |
| 2007 | Integrating Verification, Testing, and Learning for Cryptographic Protocols. | Martijn Oostdijk, Vlad Rusu, Jan Tretmans, Ren G. de Vries, Tim A. C. Willemse |
| 2007 | Decomposing Integrated Specifications for Verification. | Bjrn Metzler |
| 2007 | A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems. | Larissa Meinicke, Graeme Smith |