| 2010 | A Formal Model of Identity Mixer. | Jan Camenisch, Sebastian Mdersheim, Dieter Sommer |
| 2010 | Formal Analysis of BPMN Models Using Event-B. | Jeremy W. Bryans, Wei Wei |
| 2010 | Range Analysis of Microcontroller Code Using Bit-Level Congruences. | Jrg Brauer, Andy King, Stefan Kowalewski |
| 2010 | Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study. | Michael Altenhofen, Achim D. Brucker |
| 2009 | A Rigorous Methodology for Composing Services. | Kenneth J. Turner, Koon Leai Larry Tan |
| 2009 | Preemption Abstraction. | Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers |
| 2009 | Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. | Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema |
| 2009 | Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. | Pavel Parzek, Tomas Kalibera |
| 2009 | On a Uniform Framework for the Definition of Stochastic Process Languages. | Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink |
| 2009 | Model-Based Testing of Electronic Passports. | Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur |
| 2009 | What's in Common between Test, Model Checking, and Decision Procedures? | Kenneth L. McMillan |
| 2009 | Applying a Formal Method in Industry: A 15-Year Trajectory. | Thierry Lecomte |
| 2009 | Visualising Event-B Models with B-Motion Studio. | Lukas Ladenberger, Jens Bendisposto, Michael Leuschel |
| 2009 | Integrated Formal Approach for Qualified Critical Embedded Code Generator. | Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai |
| 2009 | Modeling Concurrent Systems with Shared Resources. | ngel Herranz-Nieva, Julio Mario, Manuel Carro, Juan Jos Moreno-Navarro |
| 2009 | Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. | Alwyn Goodloe, Csar A. Muoz |
| 2009 | Developing a Decision Support Tool for Dam Management with SPIN. | Mara-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares |
| 2009 | Formal Development for Railway Signaling Using Commercial Tools. | Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccol Zingoni |
| 2009 | Dynamic State Space Partitioning for External Memory Model Checking. | Sami Evangelista, Lars Michael Kristensen |
| 2009 | Attacking Large Industrial Code with Bi-abductive Inference. | Dino Distefano |
| 2009 | A Certified Implementation on Top of the Java Virtual Machine. | Javier de Dios, Ricardo Pea-Mar |
| 2009 | Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. | David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Vdrine |
| 2009 | Behavioural Analysis of an I | Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko |
| 2009 | Verifying Cryptographic Software Correctness with Respect to Reference Implementations. | Jos Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Brbara Vieira |
| 2008 | Fighting State Space Explosion: Review and Evaluation. | Radek Pelnek |