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
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
Last update Fri May 25 08:14:17 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
