| 2008 | Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations. | David de Frutos-Escrig, Miguel Palomino, Ignacio Fbregas |
| 2008 | Checking Correctness of Transactional Behaviors. | Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo |
| 2008 | An Experimental Evaluation of Probabilistic Simulation. | Jonathan Bogdoll, Holger Hermanns, Lijun Zhang |
| 2008 | Modelling and Analysing the Contract Net Protocol - Extension Using Coloured Petri Nets. | Jonathan Billington, Amar Kumar Gupta, Guy Edward Gallasch |
| 2008 | Distributed Semantics and Implementation for Systems with Interaction and Priority. | Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis |
| 2008 | Verification of a Hierarchical Generic Mutual Exclusion Algorithm. | Souheib Baarir, Julien Sopena, Fabrice Legond-Aubry |
| 2008 | Timed Mobile Ambients for Network Protocols. | Bogdan Aman, Gabriel Ciobanu |
| 2008 | Parameterized Tree Systems. | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frdric Haziza, Ahmed Rezine |
| 2007 | Improvements for the Symbolic Verification of Timed Automata. | Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng |
| 2007 | Formalization of Network Quality-of-Service Requirements. | Christian Webel, Reinhard Gotzhein |
| 2007 | State Isomorphism in Model Programs with Abstract Data Structures. | Margus Veanes, Juhan P. Ernits, Colin Campbell |
| 2007 | Composition of Model Programs. | Margus Veanes, Colin Campbell, Wolfram Schulte |
| 2007 | Identifying Acceptable Common Proposals for Handling Inconsistent Software Requirements. | Kedian Mu, Zhi Jin |
| 2007 | Robustness in Interaction Systems. | Mila E. Majster-Cederbaum, Moritz Martens |
| 2007 | An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets. | Kais Klai, Laure Petrucci, Michel A. Reniers |
| 2007 | Testing Distributed Systems Through Symbolic Model Checking. | Gabriel Kalyon, Thierry Massart, Cdric Meuter, Laurent Van Begin |
| 2007 | Recovering Repetitive Sub-functions from Observations. | Guy-Vincent Jourdan, Hasan Ural, Shen Wang, Hsn Yenign |
| 2007 | Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation. | Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu |
| 2007 | Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. | Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini |
| 2007 | Transactional Reduction of Component Compositions. | Serge Haddad, Pascal Poizat |
| 2007 | Verifying Erlang/OTP Components in | Qiang Guo |
| 2007 | Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. | Susanne Graf, Sophie Quinton |
| 2007 | Event Correlation with Boxed Pomsets. | Thomas Gazagnaire, Loc Hlout |
| 2007 | New Bisimulation Semantics for Distributed Systems. | David de Frutos-Escrig, Fernando Rosa-Velardo, Carlos Gregorio-Rodrguez |
| 2007 | Coordination Via Types in an Event-Based Framework. | Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto |