| 2006 | The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. | Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif |
| 2006 | Mechanical Verification of Recursive Procedures Manipulating Pointers Using Separation Logic. | Viorel Preoteasa |
| 2006 | PSL Model Checking and Run-Time Verification Via Testers. | Amir Pnueli, Aleksandr Zaks |
| 2006 | Connector-Based Software Development: Deriving Secure Protocols. | Dusko Pavlovic |
| 2006 | Pointfree Factorization of Operation Refinement. | Jos Nuno Oliveira, Csar Jesus Rodrigues |
| 2006 | Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche. | David von Oheimb |
| 2006 | Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic. | Wojciech Mostowski |
| 2006 | Quantitative Refinement | Annabelle McIver |
| 2006 | Compositional Class Refinement in Object-Z. | Tim McComb, Graeme Smith |
| 2006 | A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice. | Mass Soldal Lund, Ketil Stlen |
| 2006 | Towards Automatic Exception Safety Verification. | Xin Li, H. James Hoover, Piotr Rudnicki |
| 2006 | Interface Input/Output Automata. | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2006 | Formal Modeling of Communication Protocols by Graph Transformation. | Zarrin Langari, Richard J. Trefler |
| 2006 | Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions. | Ioannis T. Kassios |
| 2006 | Model-Based Security Engineering for Real. | Jan Jrjens |
| 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 | Cost Effective Software Engineering for Security. | D. Randolph Johnson |
| 2006 | A Memory Model Sensitive Checker for C#. | Thuan Quang Huynh, Abhik Roychoudhury |
| 2006 | Feature Algebra. | Peter Hfner, Ridha Khdri, Bernhard Mller |
| 2006 | The Embedded Systems Design Challenge. | Thomas A. Henzinger, Joseph Sifakis |
| 2006 | Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces. | Alexandre Genon, Thierry Massart, Cdric Meuter |
| 2006 | Automatic Translation from | Angela F. Freitas, Ana Cavalcanti |
| 2006 | A Proposal for Records in Event-B. | Neil Evans, Michael J. Butler |
| 2006 | Exact and Approximate Strategies for Symmetry Reduction in Model Checking. | Alastair F. Donaldson, Alice Miller |
| 2006 | Certifying Airport Security Regulations Using the Focal Environment. | David Delahaye, Jean-Frdric tienne, Vronique Donzeau-Gouge |