| 2006 | A Formal Template Language Enabling Metaproof. Nuno Amálio, Susan Stepney, Fiona Polack |
| 2006 | A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice. Mass Soldal Lund, Ketil Stølen |
| 2006 | A Memory Model Sensitive Checker for C#. Thuan Quang Huynh, Abhik Roychoudhury |
| 2006 | A Proposal for Records in Event-B. Neil Evans, Michael J. Butler |
| 2006 | A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni |
| 2006 | Automated Boundary Test Generation from JML Specifications. Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard |
| 2006 | Automatic Translation from Angela F. Freitas, Ana Cavalcanti |
| 2006 | Certifying Airport Security Regulations Using the Focal Environment. David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge |
| 2006 | Changing Programs Correctly: Refactoring with Specifications. Fabian Bannwart, Peter Müller |
| 2006 | Compositional Binding in Network Domains. Pamela Zave |
| 2006 | Compositional Class Refinement in Object-Z. Tim McComb, Graeme Smith |
| 2006 | Connector-Based Software Development: Deriving Secure Protocols. Dusko Pavlovic |
| 2006 | Cost Effective Software Engineering for Security. D. Randolph Johnson |
| 2006 | Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions. Ioannis T. Kassios |
| 2006 | Enforcer - Efficient Failure Injection. Cyrille Artho, Armin Biere, Shinichi Honiden |
| 2006 | Exact and Approximate Strategies for Symmetry Reduction in Model Checking. Alastair F. Donaldson, Alice Miller |
| 2006 | FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings Jayadev Misra, Tobias Nipkow, Emil Sekerinski |
| 2006 | Feature Algebra. Peter Höfner, Ridha Khédri, Bernhard Möller |
| 2006 | Feature Specification and Static Analysis for Interaction Resolution. Marc Aiguier, Karim Berkani, Pascale Le Gall |
| 2006 | Formal Methods and Cryptography. Michael Backes, Birgit Pfitzmann, Michael Waidner |
| 2006 | Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline. Werner Stephan |
| 2006 | Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche. David von Oheimb |
| 2006 | Formal Modeling of Communication Protocols by Graph Transformation. Zarrin Langari, Richard J. Trefler |
| 2006 | Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic. Wojciech Mostowski |
| 2006 | Formal Verification of a C Compiler Front-End. Sandrine Blazy, Zaynah Dargaye, Xavier Leroy |
| 2006 | Interactive Verification of Medical Guidelines. Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos |
| 2006 | Interface Input/Output Automata. Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2006 | Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic. Viorel Preoteasa |
| 2006 | Model-Based Security Engineering for Real. Jan Jürjens |
| 2006 | Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson |
| 2006 | Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman |
| 2006 | Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. Alexandre Genon, Thierry Massart, Cédric Meuter |
| 2006 | PSL Model Checking and Run-Time Verification Via Testers. Amir Pnueli, Aleksandr Zaks |
| 2006 | Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. Yujun Zheng, Jinquan Wang, Kan Wang, Jinyun Xue |
| 2006 | Pointfree Factorization of Operation Refinement. José Nuno Oliveira, César Jesus Rodrigues |
| 2006 | Properties of Behavioural Model Merging. Greg Brunet, Marsha Chechik, Sebastián Uchitel |
| 2006 | Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study. Shinya Umeno, Nancy A. Lynch |
| 2006 | Quantitative Refinement Annabelle McIver |
| 2006 | The Embedded Systems Design Challenge. Thomas A. Henzinger, Joseph Sifakis |
| 2006 | The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif |
| 2006 | Towards Automatic Exception Safety Verification. Xin Li, H. James Hoover, Piotr Rudnicki |
| 2006 | Towards Modularized Verification of Distributed Time-Triggered Systems. Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz |
| 2006 | Type-Safe Two-Level Data Transformation. Alcino Cunha, José Nuno Oliveira, Joost Visser |
| 2006 | Using Domain-Independent Problems for Introducing Formal Methods. Raymond T. Boute |
| 2006 | Validating the Microsoft Hypervisor. Ernie Cohen |
| 2006 | Verified Software Grand Challenge. Jim Woodcock |