| 2010 | Applying Ordinary Differential Equations to the Performance Analysis of Service Composition. | Zuohua Ding, Hui Shen, Jing Liu |
| 2010 | Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network. | Jonathan Billington, Guy Edward Gallasch |
| 2010 | Practical Parameterised Session Types. | Andi Bejleri |
| 2010 | Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. | Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne |
| 2009 | Bounded Semantics of CTL and SAT-Based Verification. | Wenhui Zhang |
| 2009 | Symbolic Query Exploration. | Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann |
| 2009 | RAFFS: Model Checking a Robust Abstract Flash File Store. | Paul Taverne, Cornelis Pronk |
| 2009 | Modeling and Verification of Privacy Enhancing Protocols. | Suriadi Suriadi, Chun Ouyang, Jason Smith, Ernest Foo |
| 2009 | Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. | Jun Sun, Yang Liu, Jin Song Dong, Xian Zhang |
| 2009 | Supporting Reuse of Event-B Developments through Generic Instantiation. | Renato Silva, Michael J. Butler |
| 2009 | Algorithmic Verification with Multiple and Nested Parameters. | Antti Siirtola, Juha Kortelainen |
| 2009 | An Empirical Study of Structural Constraint Solving Techniques. | Junaid Haroon Siddiqui, Sarfraz Khurshid |
| 2009 | Compositional Verification of Input-Output Conformance via CSP Refinement Checking. | Augusto Sampaio, Sidney C. Nogueira, Alexandre Mota |
| 2009 | Refinement-Preserving Co-evolution. | Thomas Ruhroth, Heike Wehrheim |
| 2009 | Specifying and Verifying Business Processes Using PPML. | Germn Regis, Nazareno Aguirre, T. S. E. Maibaum |
| 2009 | European Train Control System: A Case Study in Formal Verification. | Andr Platzer, Jan-David Quesel |
| 2009 | A Statistical Approach to Test Stochastic and Probabilistic Systems. | Mercedes G. Merayo, Iksoon Hwang, Manuel Nez, Ana R. Cavalli |
| 2009 | A Lazy Unbounded Model Checker for Event-B. | Paulo J. Matos, Bernd Fischer, Joo Marques-Silva |
| 2009 | Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language. | Anil Madhavapeddy |
| 2009 | Circular Coinduction with Special Contexts. | Dorel Lucanu, Grigore Rosu |
| 2009 | Scalable Multi-core Model Checking Fairness Enhanced Systems. | Yang Liu, Jun Sun, Jin Song Dong |
| 2009 | A Graph-Based Operational Semantics of OO Programs. | Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao |
| 2009 | Machine-Checked Sequencer for Critical Embedded Code Generator. | Nassima Izerrouken, Marc Pantel, Xavier Thirioux |
| 2009 | Development of Security Software: A High Assurance Methodology. | David S. Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas G. Wagner, Michael W. Whalen |
| 2009 | Event Listener Analysis and Symbolic Execution for Testing GUI Applications. | Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry |