| 2006 | Branching Time Semantics for UML 2.0 Sequence Diagrams. | Youcef Hammal |
| 2006 | Automatic Synthesis of Assumptions for Compositional Model Checking. | Bernd Finkbeiner, Sven Schewe, Matthias Brill |
| 2006 | JSCL: A Middleware for Service Coordination. | Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo |
| 2006 | Liveness by Invisible Invariants. | Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck |
| 2006 | Grey-Box Checking. | Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu |
| 2006 | Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. | Luis Fernando Llana Daz, Manuel Nez, Ismael Rodrguez |
| 2006 | Generalizing the Submodule Construction Techniques for Extended State Machine Models. | Bassel Daou, Gregor von Bochmann |
| 2006 | Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. | Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione |
| 2006 | Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus. | Tom Chothia |
| 2006 | Presence Interaction Management in SIP SOHO Architecture. | Zohair Chentouf, Ahmed Khoumsi |
| 2006 | Formal Analysis of Dynamic, Distributed File-System Access Controls. | Avik Chaudhuri, Martn Abadi |
| 2006 | On Distributed Program Specification and Synthesis in Architectures with Cycles. | Julien Bernet, David Janin |
| 2006 | Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. | Luciano Baresi, Carlo Ghezzi, Luca Mottola |
| 2006 | Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. | Christel Baier, Nathalie Bertrand, Philippe Schnoebelen |
| 2005 | Deriving Non-determinism from Conjunction and Disjunction. | Naijun Zhan, Mila E. Majster-Cederbaum |
| 2005 | Formal Description of Mobile IPv6 Protocol. | Yujun Zhang, Zhongcheng Li |
| 2005 | Logic and Model Checking for Hidden Markov Models. | Lijun Zhang, Holger Hermanns, David N. Jansen |
| 2005 | Fast Generic Model-Checking for Data-Based Systems. | Dezhuang Zhang, Rance Cleaveland |
| 2005 | Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks. | Chang Wu Yu, Li-Hsing Yen |
| 2005 | Compositional Modelling and Verification of IPv6 Mobility. | Peng Wu, Dongmei Zhang |
| 2005 | Epoch Distance of the Random Waypoint Model in Mobile Ad Hoc Networks. | Yueh-Ting Wu, Wanjiun Liao, Cheng-Lin Tsao |
| 2005 | Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. | Oskar Wibling, Joachim Parrow, Arnold Neville Pears |
| 2005 | Incremental Modeling Under Large-Scale Distributed Interaction. | Horst F. Wedde, Arnim Wedig, Anca M. Lazarescu, Ralf Paaschen, Elisei Rotaru |
| 2005 | Proving forall--Calculus Properties with SAT-Based Model Checking. | Bow-Yaw Wang |
| 2005 | Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. | Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot |