| 2010 | A Formal Model of Identity Mixer. Jan Camenisch, Sebastian Mödersheim, Dieter Sommer |
| 2010 | A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. Radu Mateescu, Wendelin Serwe |
| 2010 | An Automated Translator for Model Checking Time Constrained Workflow Systems. Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull |
| 2010 | Automatic Error Correction of Java Programs. Christian Kern, Javier Esparza |
| 2010 | Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. Lars Michael Kristensen, Michael Westergaard |
| 2010 | Correctness of Sensor Network Applications by Software Bounded Model Checking. Frank Werner, David Faragó |
| 2010 | Developing Mode-Rich Satellite Software by Refinement in Event B. Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala |
| 2010 | Embedded Network Protocols for Mobile Devices. Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan J. Fokkink |
| 2010 | Formal Analysis of BPMN Models Using Event-B. Jeremy W. Bryans, Wei Wei |
| 2010 | Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings Stefan Kowalewski, Marco Roveri |
| 2010 | Model Checking the FlexRay Physical Layer Protocol. Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter |
| 2010 | Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study. Michael Altenhofen, Achim D. Brucker |
| 2010 | Range Analysis of Microcontroller Code Using Bit-Level Congruences. Jörg Brauer, Andy King, Stefan Kowalewski |
| 2010 | SMT-Based Formal Verification of a Wilfried Steiner, Bruno Dutertre |
| 2010 | The Metrô Rio ATP Case Study. Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini |