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

David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (Eds.): 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. Lecture Notes in Computer Science 5522 Springer 2009, ISBN 978-3-642-02137-4

Invited Contribution

David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra:
The Orc Programming Language. 1-25

Regular Contributions

Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini:
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. 26-40
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Approximated Context-Sensitive Analysis for Parameterized Verification. 41-56
Naghmeh Ghafari, Arie Gurfinkel, Richard J. Trefler:
Verification of Parameterized Systems with Combinations of Abstract Domains. 57-72
Hanifa Boucheneb, Abdessamad Imine:
On Model-Checking Optimistic Replication Algorithms. 73-89
Lin Liu, Jonathan Billington:
Recursive Parametric Automata and epsilon-Removal. 90-105
Gabriel Ciobanu, Calin Juravle:
A Software Platform for Timed Mobility and Timed Interaction. 106-121
Iksoon Hwang, Mounir Lallali, Ana R. Cavalli, Dominique Verchère:
Modeling, Validation, and Verification of PCEP Using the IF Language. 122-136
Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko:
Distinguing Non-deterministic Timed Finite State Machines. 137-151
Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe:
System Model-Based Definition of Modeling Language Semantics. 152-166
Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani:
Typing Component-Based Communication Systems. 167-181
Rohit Chadha, Stéphanie Delaune, Steve Kremer:
Epistemic Logic for the Applied Pi Calculus. 182-197
Morten Kühnrich, Uwe Nestmann:
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. 198-212

Short Papers

Gregor von Bochmann:
Using First-Order Logic to Reason about Submodule Construction. 213-218
João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi:
A Model-Checking Approach for Service Component Architectures. 219-224
Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte:
Dynamic Symbolic Execution of Distributed Concurrent Objects. 225-230
Gregorio Díaz, Ismael Rodríguez:
Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. 231-236
Arend Rensink, Eduardo Zambon:
A Type Graph Model for Java Programs. 237-242
Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Shengqiong Wang:
Conformance Testing of Network Simulators Based on Metamorphic Testing Technique. 243-248