| 2006 | A Language for Modeling Network Availability. Luigia Petre, Kaisa Sere, Marina Waldén |
| 2006 | A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces. Bernhard Beckert, Gerd Beuster |
| 2006 | A Reasoning Method for Timed CSP Based on Constraint Solving. Jin Song Dong, Ping Hao, Jun Sun, Xian Zhang |
| 2006 | A Statically Verifiable Programming Model for Concurrent Object-Oriented Programs. Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte |
| 2006 | A Tool for a Formal Pattern Modeling Language. Soon-Kyeong Kim, David A. Carrington |
| 2006 | An Open Extensible Tool Environment for Event-B. Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin |
| 2006 | Applying Timed Interval Calculus to Simulink Diagrams. Chunqing Chen, Jin Song Dong |
| 2006 | Assume-Guarantee Software Verification Based on Game Semantics. Aleksandar S. Dimovski, Ranko Lazic |
| 2006 | Checking the Conformance of Java Classes Against Algebraic Specifications. Isabel Nunes, Antónia Lopes, Vasco Thudichum Vasconcelos, João Abreu, Luís S. Reis |
| 2006 | Conditions for Avoiding Controllability Problems in Distributed Testing. Jessica Chen, Lihua Duan |
| 2006 | Discovering Likely Method Specifications. Nikolai Tillmann, Feng Chen, Wolfram Schulte |
| 2006 | Environment Ontology-Based Capability Specification for Web Service Discovery. Puwei Wang, Zhi Jin, Lin Liu |
| 2006 | Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings Zhiming Liu, Jifeng He |
| 2006 | Formal Verification of the Heap Manager of an Operating System Using Separation Logic. Nicolas Marti, Reynald Affeldt, Akinori Yonezawa |
| 2006 | Formalising Progress Properties of Non-blocking Programs. Brijesh Dongol |
| 2006 | Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. Samira Tasharofi, Sepand Ansari, Marjan Sirjani |
| 2006 | Incremental Slicing. Heike Wehrheim |
| 2006 | Induction-Guided Falsification. Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi |
| 2006 | Issues in Implementing a Model Checker for Z. John Derrick, Siobhán North, Tony Simons |
| 2006 | JML's Rich, Inherited Specifications for Behavioral Subtypes. Gary T. Leavens |
| 2006 | Mapping RT-LOTOS Specifications into Time Petri Nets. Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 2006 | Model Checking Dynamic UML Consistency. Xiangpeng Zhao, Quan Long, Zongyan Qiu |
| 2006 | Multi-process Systems Analysis Using Event B: Application to Group Communication Systems. J. Christian Attiogbé |
| 2006 | Optimized Execution of Deterministic Blocks in Java PathFinder. Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov |
| 2006 | Program Verification Through Computer Algebra. Zhou Chaochen |
| 2006 | Reasoning Algebraically About Probabilistic Loops. Larissa Meinicke, Ian J. Hayes |
| 2006 | Reducing Model Checking of the Few to the One. E. Allen Emerson, Richard J. Trefler, Thomas Wahl |
| 2006 | SALT - Structured Assertion Language for Temporal Logic. Andreas Bauer, Martin Leucker, Jonathan Streit |
| 2006 | Scenario-Based Component Behavior Derivation. Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng |
| 2006 | Stateful Dynamic Partial-Order Reduction. Xiaodong Yi, Ji Wang, Xuejun Yang |
| 2006 | Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking. Leo Freitas, Ana Cavalcanti, Jim Woodcock |
| 2006 | Three Perspectives in Formal Engineering. John A. McDermid, Andy Galloway |
| 2006 | Time Aware Modelling and Analysis of Multiclocked VLSI Systems. Tomi Westerlund, Juha Plosila |
| 2006 | Tool for Translating Simulink Models into Input Language of a Model Checker. B. Meenakshi, Abhishek Bhatnagar, Sudeepa Roy |
| 2006 | Towards a Fully Generic Theory of Data. Douglas A. Creager, Andrew C. Simpson |
| 2006 | Towards the Semantics for Web Service Choreography Description Language. Jing Li, Jifeng He, Geguang Pu, Huibiao Zhu |
| 2006 | Type Checking Choreography Description Language. Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu |
| 2006 | User-Defined Atomicity Constraint: A More Flexible Transaction Model for Reliable Service Composition. Xiaoning Ding, Jun Wei, Tao Huang |
| 2006 | Verification of Computation Orchestration Via Timed Automata. Jin Song Dong, Yang Liu, Jun Sun, Xian Zhang |
| 2006 | Verifying Nikola Trcka |
| 2006 | Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices. Tim McComb, Luke Wildman |
| 2006 | Verifying Statemate Statecharts Using CSP and FDR. A. W. Roscoe, Zhenzhong Wu |