| 2007 | Integrating Formal Methods with System Management. | Martin de Groot |
| 2007 | Automating Refinement Checking in Probabilistic System Design. | Carlos Gonzala, Annabelle McIver |
| 2007 | Efficient Symbolic Execution of Large Quantifications in a Process Algebra. | Benot Fraikin, Marc Frappier |
| 2007 | Reducing Test Sequence Length Using Invertible Sequences. | Lihua Duan, Jessica Chen |
| 2007 | A Verification Framework for Agent Knowledge. | Jin Song Dong, Yuzhang Feng, Ho-fung Leung |
| 2007 | Machine-Assisted Proof Support for Validation Beyond Simulink. | Chunqing Chen, Jin Song Dong, Jun Sun |
| 2007 | Testing for Refinement in CSP. | Ana Cavalcanti, Marie-Claude Gaudel |
| 2007 | Formal Engineering of XACML Access Control Policies in VDM++. | Jeremy W. Bryans, John S. Fitzgerald |
| 2007 | Model Checking in Practice: Analysis of Generic Bootloader Using SPIN. | Kuntal Das Barman, Debapriyay Mukhopadhyay |
| 2007 | From Model-Based Design to Formal Verification of Adaptive Embedded Systems. | Rasmus Adler, Ina Schaefer, Tobias Schle, Eric Vecchi |
| 2007 | A System Development Process with Event-B and the Rodin Platform. | Jean-Raymond Abrial |
| 2006 | Model Checking Dynamic UML Consistency. | Xiangpeng Zhao, Quan Long, Zongyan Qiu |
| 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 | Type Checking Choreography Description Language. | Hongli Yang, Xiangpeng Zhao, Zongyan Qiu, Chao Cai, Geguang Pu |
| 2006 | Time Aware Modelling and Analysis of Multiclocked VLSI Systems. | Tomi Westerlund, Juha Plosila |
| 2006 | Incremental Slicing. | Heike Wehrheim |
| 2006 | Environment Ontology-Based Capability Specification for Web Service Discovery. | Puwei Wang, Zhi Jin, Lin Liu |
| 2006 | Verifying | Nikola Trcka |
| 2006 | Discovering Likely Method Specifications. | Nikolai Tillmann, Feng Chen, Wolfram Schulte |
| 2006 | Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. | Samira Tasharofi, Sepand Ansari, Marjan Sirjani |
| 2006 | Mapping RT-LOTOS Specifications into Time Petri Nets. | Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 2006 | Verifying Statemate Statecharts Using CSP and FDR. | A. W. Roscoe, Zhenzhong Wu |
| 2006 | A Language for Modeling Network Availability. | Luigia Petre, Kaisa Sere, Marina Waldn |
| 2006 | Induction-Guided Falsification. | Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi |