IFIP TC6 Open Digital Library

29. FORTE / 11. FMOODS 2009: Lisboa, Portugal

Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

David Lee, Antónia Lopes, Arnd Poetzsch-Heffter

Springer, Lecture Notes in Computer Science 5522, ISBN: 978-3-642-02137-4


Invited Contribution

The Orc Programming Language.

David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra


Regular Contributions

Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.

Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini


Approximated Context-Sensitive Analysis for Parameterized Verification.

Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine


Verification of Parameterized Systems with Combinations of Abstract Domains.

Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler


On Model-Checking Optimistic Replication Algorithms.

Hanifa Boucheneb, Abdessamad Imine


Recursive Parametric Automata and epsilon-Removal.

Lin Liu 0001, Jonathan Billington


A Software Platform for Timed Mobility and Timed Interaction.

Gabriel Ciobanu, Calin Juravle


Modeling, Validation, and Verification of PCEP Using the IF Language.

Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère


Distinguing Non-deterministic Timed Finite State Machines.

Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko


System Model-Based Definition of Modeling Language Semantics.

Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe


Typing Component-Based Communication Systems.

Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani


Epistemic Logic for the Applied Pi Calculus.

Rohit Chadha, Stéphanie Delaune, Steve Kremer


On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems.

Morten Kühnrich, Uwe Nestmann


Short Papers

Using First-Order Logic to Reason about Submodule Construction.

Gregor von Bochmann


A Model-Checking Approach for Service Component Architectures.

João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi


Dynamic Symbolic Execution of Distributed Concurrent Objects.

Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte


Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach.

Gregorio Díaz, Ismael Rodríguez


A Type Graph Model for Java Programs.

Arend Rensink, Eduardo Zambon


Conformance Testing of Network Simulators Based on Metamorphic Testing Technique.

Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Shengqiong Wang