| 2010 | Forgetting the Time in Timed Process Algebra. | Anton Wijs |
| 2010 | Heap-Dependent Expressions in Separation Logic. | Jan Smans, Bart Jacobs, Frank Piessens |
| 2010 | Theory and Implementation of a Real-Time Extension to the | Ernesto Posse, Jrgen Dingel |
| 2010 | On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols. | Yongyuth Permpoontanalarp |
| 2010 | Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. | Juan Jos Pardo, Manuel Nez, M. Carmen Ruiz |
| 2010 | Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. | Peter Csaba lveczky, Artur Boronat, Jos Meseguer |
| 2010 | Reactive Semantics for Distributed UML Activities. | Frank Alexander Kraemer, Peter Herrmann |
| 2010 | Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory. | Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham |
| 2010 | Formal Software Verification: How Close Are We? | Gerard J. Holzmann |
| 2010 | Testing Probabilistic Distributed Systems. | Robert M. Hierons, Manuel Nez |
| 2010 | Static Type Analysis of Pattern Matching by Abstract Interpretation. | Pietro Ferrara |
| 2010 | Logics for Contravariant Simulations. | Ignacio Fbregas, David de Frutos-Escrig, Miguel Palomino |
| 2010 | Fuzzy-Timed Automata. | F. Javier Crespo, Alberto de la Encina, Luis Llana |
| 2010 | Model Checking of Hybrid Systems Using Shallow Synchronization. | Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta |
| 2010 | Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. | Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo |
| 2010 | On Efficient Models for Model Checking Message-Passing Distributed Protocols. | Pter Bokor, Marco Serafini, Neeraj Suri |
| 2010 | Testing Attribute-Based Transactions in SOC. | Laura Bocchi, Emilio Tuosto |
| 2010 | Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. | Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Caillaud, Benot Delahaye, Axel Legay |
| 2009 | A Type Graph Model for Java Programs. | Arend Rensink, Eduardo Zambon |
| 2009 | Recursive Parametric Automata and epsilon-Removal. | Lin Liu, Jonathan Billington |
| 2009 | Typing Component-Based Communication Systems. | Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani |
| 2009 | On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. | Morten Khnrich, Uwe Nestmann |
| 2009 | The Orc Programming Language. | David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra |
| 2009 | Modeling, Validation, and Verification of PCEP Using the IF Language. | Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchre |
| 2009 | System Model-Based Definition of Modeling Language Semantics. | Hans Grnniger, Jan Oliver Ringert, Bernhard Rumpe |