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



Contents

Invited Contribution

The Orc Programming Language.

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

 1-25

Regular Contributions

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

Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini

 26-40

Approximated Context-Sensitive Analysis for Parameterized Verification.

Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine

 41-56

Verification of Parameterized Systems with Combinations of Abstract Domains.

Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler

 57-72

On Model-Checking Optimistic Replication Algorithms.

Hanifa Boucheneb, Abdessamad Imine

 73-89

Recursive Parametric Automata and epsilon-Removal.

Lin Liu 0001, Jonathan Billington

 90-105

A Software Platform for Timed Mobility and Timed Interaction.

Gabriel Ciobanu, Calin Juravle

 106-121

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

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

 122-136

Distinguing Non-deterministic Timed Finite State Machines.

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

 137-151

System Model-Based Definition of Modeling Language Semantics.

Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe

 152-166

Typing Component-Based Communication Systems.

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

 167-181

Epistemic Logic for the Applied Pi Calculus.

Rohit Chadha, Stéphanie Delaune, Steve Kremer

 182-197

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

Morten Kühnrich, Uwe Nestmann

 198-212

Short Papers

Using First-Order Logic to Reason about Submodule Construction.

Gregor von Bochmann

 213-218

A Model-Checking Approach for Service Component Architectures.

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

 219-224

Dynamic Symbolic Execution of Distributed Concurrent Objects.

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

 225-230

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

Gregorio Díaz, Ismael Rodríguez

 231-236

A Type Graph Model for Java Programs.

Arend Rensink, Eduardo Zambon

 237-242

Conformance Testing of Network Simulators Based on Metamorphic Testing Technique.

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

 243-248