| 2006 | Checking the Conformance of Java Classes Against Algebraic Specifications. | Isabel Nunes, Antnia Lopes, Vasco Thudichum Vasconcelos, Joo Abreu, Lus S. Reis |
| 2006 | Reasoning Algebraically About Probabilistic Loops. | Larissa Meinicke, Ian J. Hayes |
| 2006 | Tool for Translating Simulink Models into Input Language of a Model Checker. | B. Meenakshi, Abhishek Bhatnagar, Sudeepa Roy |
| 2006 | Three Perspectives in Formal Engineering. | John A. McDermid, Andy Galloway |
| 2006 | Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices. | Tim McComb, Luke Wildman |
| 2006 | Formal Verification of the Heap Manager of an Operating System Using Separation Logic. | Nicolas Marti, Reynald Affeldt, Akinori Yonezawa |
| 2006 | Towards the Semantics for Web Service Choreography Description Language. | Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu |
| 2006 | JML's Rich, Inherited Specifications for Behavioral Subtypes. | Gary T. Leavens |
| 2006 | A Tool for a Formal Pattern Modeling Language. | Soon-Kyeong Kim, David A. Carrington |
| 2006 | A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. | Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte |
| 2006 | Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. | Leo Freitas, Ana Cavalcanti, Jim Woodcock |
| 2006 | Reducing Model Checking of the Few to the One. | E. Allen Emerson, Richard J. Trefler, Thomas Wahl |
| 2006 | Formalising Progress Properties of Non-blocking Programs. | Brijesh Dongol |
| 2006 | Verification of Computation Orchestration Via Timed Automata. | Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang |
| 2006 | A Reasoning Method for Timed CSP Based on Constraint Solving. | Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang |
| 2006 | User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition. | Xiaoning Ding, Jun Wei, Tao Huang |
| 2006 | Assume-Guarantee Software Verification Based on Game Semantics. | Aleksandar S. Dimovski, Ranko Lazic |
| 2006 | Issues in Implementing a Model Checker for Z. | John Derrick, Siobhn North, Tony Simons |
| 2006 | Optimized Execution of Deterministic Blocks in Java PathFinder. | Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov |
| 2006 | Towards a Fully Generic Theory of Data. | Douglas A. Creager, Andrew C. Simpson |
| 2006 | Conditions for Avoiding Controllability Problems in Distributed Testing. | Jessica Chen, Lihua Duan |
| 2006 | Applying Timed Interval Calculus to Simulink Diagrams. | Chunqing Chen, Jin Song Dong |
| 2006 | Program Verification Through Computer Algebra. | Zhou Chaochen |
| 2006 | A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces. | Bernhard Beckert, Gerd Beuster |
| 2006 | Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. | J. Christian Attiogb |