26. FORTE 2006: Paris, France

Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge (Eds.): Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Lecture Notes in Computer Science 4229 Springer 2006, ISBN 3-540-46219-8 BibTeX

Invited Talks

Daniel Krob:
Modelling of Complex Software Systems: A Reasoned Overview. 1-22
Electronic Edition (link) BibTeX
Leslie Lamport:
The ⁺CAL Algorithm Language. 23
Electronic Edition (link) BibTeX
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder:
Semantic-Based Development of Service-Oriented Systems. 24-45
Electronic Edition (link) BibTeX

Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
JSCL: A Middleware for Service Coordination. 46-60
Electronic Edition (link) BibTeX
Raman Kazhamiakin, Marco Pistore:
Analysis of Realizability Conditions for Web Service Choreographies. 61-76
Electronic Edition (link) BibTeX
I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra:
Web Cube. 77-92
Electronic Edition (link) BibTeX
Zohair Chentouf, Ahmed Khoumsi:
Presence Interaction Management in SIP SOHO Architecture. 93-98
Electronic Edition (link) BibTeX

Avik Chaudhuri, Martín Abadi:
Formal Analysis of Dynamic, Distributed File-System Access Controls. 99-114
Electronic Edition (link) BibTeX
Tom Chothia:
Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus. 115-130
Electronic Edition (link) BibTeX
Luciano Baresi, Carlo Ghezzi, Luca Mottola:
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures. 131-135
Electronic Edition (link) BibTeX
Nelson S. Rosa, Paulo Roberto Freire Cunha:
A LOTOS Framework for Middleware Specification. 136-142
Electronic Edition (link) BibTeX

Bernd Finkbeiner, Sven Schewe, Matthias Brill:
Automatic Synthesis of Assumptions for Compositional Model Checking. 143-158
Electronic Edition (link) BibTeX
Frédéric Lang:
Refined Interfaces for Compositional Verification. 159-174
Electronic Edition (link) BibTeX
Julien Bernet, David Janin:
On Distributed Program Specification and Synthesis in Architectures with Cycles. 175-190
Electronic Edition (link) BibTeX
Bassel Daou, Gregor von Bochmann:
Generalizing the Submodule Construction Techniques for Extended State Machine Models. 191-195
Electronic Edition (link) BibTeX

Radu Mardare, Corrado Priami:
Decidable Extensions of Hennessy-Milner Logic. 196-211
Electronic Edition (link) BibTeX

Christel Baier, Nathalie Bertrand, Ph. Schnoebelen:
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness. 212-227
Electronic Edition (link) BibTeX
Pierre Rousseau:
A New Approach for Concurrent Program Slicing. 228-242
Electronic Edition (link) BibTeX
Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione:
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. 243-258
Electronic Edition (link) BibTeX

Youcef Hammal:
Branching Time Semantics for UML 2.0 Sequence Diagrams. 259-274
Electronic Edition (link) BibTeX
Humberto Nicolás Castejón Martínez, Rolv Bræk:
Formalizing Collaboration Goal Sequences for Service Choreography. 275-291
Electronic Edition (link) BibTeX
Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli:
Composition of Use Cases Using Synchronization and Model Checking. 292-306
Electronic Edition (link) BibTeX

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts. 372-387
Electronic Edition (link) BibTeX
Xuandong Li, Bu Lei, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng:
Scenario-Based Timing Consistency Checking for Time Petri Nets. 388-403
Electronic Edition (link) BibTeX
Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat:
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets. 404-419
Electronic Edition (link) BibTeX

Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu:
Grey-Box Checking. 420-435
Electronic Edition (link) BibTeX
Keqin Li, Roland Groz, Muzammil Shahbaz:
Integration Testing of Distributed Components Based on Learning Parameterized I/O Models. 436-450
Electronic Edition (link) BibTeX
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün:
Minimizing Coordination Channels in Distributed Testing. 451-466
Electronic Edition (link) BibTeX
Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez:
Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems. 467-483
Electronic Edition (link) BibTeX