| 2008 | Workflow Testing. | Ruth Breu, Alexander Lechner, Mathias Willburger, Basel Katt |
| 2008 | The Use of Formal Ontology to Specify Context in Ubiquitous Computing. | Karin Koogan Breitman, Michael G. Hinchey |
| 2008 | Simple Gedanken Experiments in Leveraging Applications of Formal Methods. | Raymond T. Boute |
| 2008 | A Use-Case Driven Approach to Formal Service-Oriented Modelling. | Laura Bocchi, Jos Luiz Fiadeiro, Antnia Lopes |
| 2008 | A Framework for Analyzing and Testing the Performance of Software Services. | Antonia Bertolino, Guglielmo De Angelis, Antinisca Di Marco, Paola Inverardi, Antonino Sabetta, Massimo Tivoli |
| 2008 | Fault Handling Approaches on Dual-Core Microcontrollers in Safety-Critical Automotive Applications. | Eva Beckschulze, Falk Salewski, Thomas Siegbert, Stefan Kowalewski |
| 2008 | Squeeze All the Power Out of Your Hardware to Verify Your Software!. | Jiri Barnat, Lubos Brim |
| 2008 | Specialization and Instantiation Aspects of a Standard Process for Developing Educational Modules. | Ellen Francine Barbosa, Jos Carlos Maldonado |
| 2008 | High Service Availability in MaTRICS for the OCS. | Markus Bajohr, Tiziana Margaria |
| 2008 | Event-Based Approach to Modelling Dynamic Architecture: Application to Mobile Ad-Hoc Network. | J. Christian Attiogb |
| 2008 | The Use of Adaptive Semantic Hypermedia for Ubiquitous Collaboration Systems. | Patricia Seefelder de Assis, Daniel Schwabe |
| 2008 | Trusted Theorem Proving: A Case Study in SLD-Resolution. | Konstantine Arkoudas, Olin Shivers |
| 2008 | Directed Generation of Test Data for Static Semantics Checker. | M. V. Arkhipova, Sergey V. Zelenov |
| 2008 | Safety and Response-Time Analysis of an Automotive Accident Assistance Service. | Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone |
| 2008 | Towards Using Reo for Compliance-Aware Business Process Modeling. | Farhad Arbab, Natallia Kokash, Sun Meng |
| 2008 | Animating Event B Models by Formal Data Models. | Idir At-Sadoune, Yamine At Ameur |
| 2007 | Qualitative Abstraction based Verification for Analog Circuits. | Mohamed H. Zaki, Sofine Tahar, Guy Bois |
| 2007 | Using Invariant Detection Mechanism in Black Box Inference. | Muzammil Shahbaz, Roland Groz |
| 2007 | Formal models of Fractal Component Based Systems for performance analysis. | Nabila Salmi, Patrice Moreaux, Malika Ioualalen |
| 2007 | Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method. | Joris Rehm, Dominique Cansell |
| 2007 | New worst-case analysis technique for real-time transactions. | Ahmed Rahni, Emmanuel Grolleau, Michal Richard |
| 2007 | Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more. | Michael Leuschel, Daniel Plagge |
| 2007 | The aeronautical systems development challenges for Airbus. | Odile Laurent |
| 2007 | Preservation of timed properties during an incremental development by components. | Jacques Julliand, Hassan Mountassir, Emilie Oudot |
| 2007 | A C-space sensitivity analysis of Earliest Deadline First scheduling. | Jean-Franois Hermant, Laurent George |