IFIP TC6 Open Digital Library

26. FORTE 2006: Paris, France

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

Springer, Lecture Notes in Computer Science 4229, ISBN: 3-540-46219-8


Invited Talks

Modelling of Complex Software Systems: A Reasoned Overview.

Daniel Krob


The +CAL Algorithm Language.

Leslie Lamport


Semantic-Based Development of Service-Oriented Systems.

Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder



JSCL: A Middleware for Service Coordination.

Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo


Analysis of Realizability Conditions for Web Service Choreographies.

Raman Kazhamiakin, Marco Pistore


Web Cube.

I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra


Presence Interaction Management in SIP SOHO Architecture.

Zohair Chentouf, Ahmed Khoumsi



Formal Analysis of Dynamic, Distributed File-System Access Controls.

Avik Chaudhuri, Martín Abadi


Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus.

Tom Chothia


Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures.

Luciano Baresi, Carlo Ghezzi, Luca Mottola


A LOTOS Framework for Middleware Specification.

Nelson S. Rosa, Paulo Roberto Freire Cunha


Composition and Synthesis

Automatic Synthesis of Assumptions for Compositional Model Checking.

Bernd Finkbeiner, Sven Schewe, Matthias Brill


Refined Interfaces for Compositional Verification.

Frédéric Lang


On Distributed Program Specification and Synthesis in Architectures with Cycles.

Julien Bernet, David Janin


Generalizing the Submodule Construction Techniques for Extended State Machine Models.

Bassel Daou, Gregor von Bochmann



Decidable Extensions of Hennessy-Milner Logic.

Radu Mardare, Corrado Priami


Symbolic Verification - Slicing

Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness.

Christel Baier, Nathalie Bertrand, Ph. Schnoebelen


A New Approach for Concurrent Program Slicing.

Pierre Rousseau


Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach.

Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione


Unified Modeling Languages

Branching Time Semantics for UML 2.0 Sequence Diagrams.

Youcef Hammal


Formalizing Collaboration Goal Sequences for Service Choreography.

Humberto Nicolás Castejón Martínez, Rolv Bræk


Composition of Use Cases Using Synchronization and Model Checking.

Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli


Petri Nets

PN Standardisation: A Survey.

Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves


Resource Allocation Systems: Some Complexity Results on the S4PR Class.

Juan-Pablo López-Grao, José Manuel Colom


Optimized Colored Nets Unfolding.

Fabrice Kordon, Alban Linard, Emmanuel Paviot-Adet


Parameterized Verification

Liveness by Invisible Invariants.

Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck


Real Time

Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts.

Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez


Scenario-Based Timing Consistency Checking for Time Petri Nets.

Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng


Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets.

Tarek Sadani, Marc Boyer, Pierre de Saqui-Sannes, Jean-Pierre Courtiat



Grey-Box Checking.

Edith Elkind, Blaise Genest, Doron Peled, Hongyang Qu


Integration Testing of Distributed Components Based on Learning Parameterized I/O Models.

Keqin Li 0002, Roland Groz, Muzammil Shahbaz


Minimizing Coordination Channels in Distributed Testing.

Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün


Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems.

Luis Fernando Llana Díaz, Manuel Núñez, Ismael Rodríguez