| 2006 | A LOTOS Framework for Middleware Specification. Nelson S. Rosa, Paulo Roberto Freire Cunha |
| 2006 | A New Approach for Concurrent Program Slicing. Pierre Rousseau |
| 2006 | Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus. Tom Chothia |
| 2006 | Analysis of Realizability Conditions for Web Service Choreographies. Raman Kazhamiakin, Marco Pistore |
| 2006 | Automatic Synthesis of Assumptions for Compositional Model Checking. Bernd Finkbeiner, Sven Schewe, Matthias Brill |
| 2006 | Branching Time Semantics for UML 2.0 Sequence Diagrams. Youcef Hammal |
| 2006 | Composition of Use Cases Using Synchronization and Model Checking. Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli |
| 2006 | Decidable Extensions of Hennessy-Milner Logic. Radu Mardare, Corrado Priami |
| 2006 | Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez |
| 2006 | Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat |
| 2006 | Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez |
| 2006 | Formal Analysis of Dynamic, Distributed File-System Access Controls. Avik Chaudhuri, Martín Abadi |
| 2006 | Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge |
| 2006 | Formalizing Collaboration Goal Sequences for Service Choreography. Humberto Nicolás Castejón Martínez, Rolv Bræk |
| 2006 | Generalizing the Submodule Construction Techniques for Extended State Machine Models. Bassel Daou, Gregor von Bochmann |
| 2006 | Grey-Box Checking. Edith Elkind, Blaise Genest, Doron A. Peled, Hongyang Qu |
| 2006 | Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. Keqin Li, Roland Groz, Muzammil Shahbaz |
| 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 | Minimizing Coordination Channels in Distributed Testing. Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün |
| 2006 | Modelling of Complex Software Systems: A Reasoned Overview. Daniel Krob |
| 2006 | On Distributed Program Specification and Synthesis in Architectures with Cycles. Julien Bernet, David Janin |
| 2006 | Optimized Colored Nets Unfolding. Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet |
| 2006 | PN Standardisation: A Survey. Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves |
| 2006 | Presence Interaction Management in SIP SOHO Architecture. Zohair Chentouf, Ahmed Khoumsi |
| 2006 | Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione |
| 2006 | Refined Interfaces for Compositional Verification. Frédéric Lang |
| 2006 | Resource Allocation Systems: Some Complexity Results on the S Juan-Pablo López-Grao, José Manuel Colom |
| 2006 | Scenario-Based Timing Consistency Checking for Time Petri Nets. Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng |
| 2006 | Semantic-Based Development of Service-Oriented Systems. Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder |
| 2006 | Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. Christel Baier, Nathalie Bertrand, Philippe Schnoebelen |
| 2006 | The Leslie Lamport |
| 2006 | Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. Luciano Baresi, Carlo Ghezzi, Luca Mottola |
| 2006 | Web Cube. I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra |