| 2009 | Graded-CTL: Satisfiability and Symbolic Model Checking. | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
| 2009 | Modal Systems: Specification, Refinement and Realisation. | Fernando Lus Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky |
| 2009 | Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing. | Maximiliano Cristi, Pablo Rodrguez Monetti |
| 2009 | The VSE Refinement Method in Hets. | Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski |
| 2009 | Improving Automatic Verification of Security Protocols with XOR. | Xihui Chen, Ton van Deursen, Jun Pang |
| 2009 | An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. | Joakim Byg, Kenneth Yrke Jrgensen, Jir Srba |
| 2009 | Seamless Model Driven Systems Engineering Based on Formal Models. | Manfred Broy |
| 2009 | Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support. | Pter Bokor, Marco Serafini, Neeraj Suri, Helmut Veith |
| 2009 | Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. | Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi |
| 2009 | A Compositional Approach on Modal Specifications for Timed Systems. | Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet |
| 2009 | Proof Assisted Model Checking for B. | Jens Bendisposto, Michael Leuschel |
| 2009 | Approximate Model Checking of PCTL Involving Unbounded Path Properties. | Samik Basu, Arka P. Ghosh, Ru He |
| 2009 | Implementing a Direct Method for Certificate Translation. | Gilles Barthe, Benjamin Grgoire, Sylvain Heraud, Csar Kunz, Anne Pacalet |
| 2009 | A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties. | Jiri Barnat, Lubos Brim, Petr Rockai |
| 2009 | Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. | Kyungmin Bae, Peter Csaba lveczky, Thomas Huining Feng, Stavros Tripakis |
| 2009 | Qualitative Action Systems. | Bernhard K. Aichernig, Harald Brandl, Willibald Krenn |
| 2009 | A Verification System for Distributed Objects with Asynchronous Method Calls. | Wolfgang Ahrendt, Maximilian Dylla |
| 2008 | A Process Semantics for BPMN. | Peter Y. H. Wong, Jeremy Gibbons |
| 2008 | Specifying and Verifying Event-Based Fairness Enhanced Systems. | Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang |
| 2008 | Partial Translation Verification for Untrusted Code-Generators. | Matthew Staats, Mats Per Erik Heimdahl |
| 2008 | A Formal Descriptive Semantics of UML. | Lijun Shan, Hong Zhu |
| 2008 | Conformance Testing Based on UML State Machines. | Dirk Seifert |
| 2008 | Requirements Coverage as an Adequacy Measure for Conformance Testing. | Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl |
| 2008 | Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. | Kazuhiro Ogata, Kokichi Futatsugi |
| 2008 | Programmers Ain't Mathematicians, and Neither Are Testers. | Jeff Offutt |