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. Springer 2009 Lecture Notes in Computer Science 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
- 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
- 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
- Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Shengqiong Wang: Conformance Testing of Network Simulators Based on Metamorphic Testing Technique. 243-248
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team