| 2009 | Distinguing Non-deterministic Timed Finite State Machines. | Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko |
| 2009 | Dynamic Symbolic Execution of Distributed Concurrent Objects. | Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte |
| 2009 | Verification of Parameterized Systems with Combinations of Abstract Domains. | Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler |
| 2009 | Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. | Gregorio Daz, Ismael Rodrguez |
| 2009 | A Software Platform for Timed Mobility and Timed Interaction. | Gabriel Ciobanu, Calin Juravle |
| 2009 | Conformance Testing of Network Simulators Based on Metamorphic Testing Technique. | Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Shengqiong Wang |
| 2009 | Epistemic Logic for the Applied Pi Calculus. | Rohit Chadha, Stphanie Delaune, Steve Kremer |
| 2009 | On Model-Checking Optimistic Replication Algorithms. | Hanifa Boucheneb, Abdessamad Imine |
| 2009 | Using First-Order Logic to Reason about Submodule Construction. | Gregor von Bochmann |
| 2009 | Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. | Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini |
| 2009 | A Model-Checking Approach for Service Component Architectures. | Joo Abreu, Franco Mazzanti, Jos Luiz Fiadeiro, Stefania Gnesi |
| 2009 | Approximated Context-Sensitive Analysis for Parameterized Verification. | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
| 2008 | NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. | Christian Webel, Reinhard Gotzhein, Joachim Nicolay |
| 2008 | Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol. | Wei Wang, Dongyao Ji |
| 2008 | Program Repair Suggestions from Graphical State-Transition Specifications. | Farn Wang, Chih-Hong Cheng |
| 2008 | Protocol Modeling with Model Program Composition. | Margus Veanes, Wolfram Schulte |
| 2008 | An SMT Approach to Bounded Reachability Analysis of Model Programs. | Margus Veanes, Nikolaj S. Bjrner, Alexander Raschke |
| 2008 | Counterexample Guided Spotlight Abstraction Refinement. | Tobe Toben |
| 2008 | Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning. | Guoqiang Shu, Yating Hsu, David Lee |
| 2008 | A Specification Framework for Earth-Friendly Logistics. | Ichiro Satoh |
| 2008 | Adapting Petri Nets Reductions to Promela Specifications. | Christophe Pajault, Jean-Franois Pradat-Peyre, Pierre Rousseau |
| 2008 | A Hierarchy of Equivalences for Probabilistic Processes. | Manuel Nez, Luis Fernando Llana Daz |
| 2008 | Specifying and Verifying Web Transactions. | Jing Li, Huibiao Zhu, Jifeng He |
| 2008 | Model Generation for Horn Logic with Stratified Negation. | Ethan K. Jackson, Wolfram Schulte |
| 2008 | Verifying Erlang Telecommunication Systems with the Process Algebra CRL. | Qiang Guo, John Derrick, Csaba Hoch |