Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. David Lee

    1. 395 Dreese Laboratories, Department of Computer Science and Engineering, The Ohio State University, Columbus, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Antónia Lopes

    1. Faculty of Sciences, Department of Informatics, University of Lisbon, Lisboa, Portugal

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Arnd Poetzsch-Heffter

    1. Fachbereich Informatik, Universität Kaiserslautern, Kaiserslautern, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5522)

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Contribution

    1. The Orc Programming Language

      • David Kitchin, Adrian Quark, William Cook, Jayadev Misra
      Pages 1-25

  3. Regular Contributions

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

      • Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini
      Pages 26-40

    2. Approximated Context-Sensitive Analysis for Parameterized Verification

      • Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
      Pages 41-56

    3. Verification of Parameterized Systems with Combinations of Abstract Domains

      • Naghmeh Ghafari, Arie Gurfinkel, Richard Trefler
      Pages 57-72

    4. On Model-Checking Optimistic Replication Algorithms

      • Hanifa Boucheneb, Abdessamad Imine
      Pages 73-89

    5. Recursive Parametric Automata and ε-Removal

      • Lin Liu, Jonathan Billington
      Pages 90-105

    6. A Software Platform for Timed Mobility and Timed Interaction

      • Gabriel Ciobanu, Călin Juravle
      Pages 106-121

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

      • Iksoon Hwang, Mounir Lallali, Ana Cavalli, Dominique Verchere
      Pages 122-136

    8. Distinguing Non-deterministic Timed Finite State Machines

      • Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko
      Pages 137-151

    9. System Model-Based Definition of Modeling Language Semantics

      • Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe
      Pages 152-166

    10. Typing Component-Based Communication Systems

      • Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
      Pages 167-181

    11. Epistemic Logic for the Applied Pi Calculus

      • Rohit Chadha, Stéphanie Delaune, Steve Kremer
      Pages 182-197

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

      • Morten Kühnrich, Uwe Nestmann
      Pages 198-212

  4. Short Papers

    1. Using First-Order Logic to Reason about Submodule Construction

      • Gregor v. Bochmann
      Pages 213-218

    2. A Model-Checking Approach for Service Component Architectures

      • João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi
      Pages 219-224

    3. Dynamic Symbolic Execution of Distributed Concurrent Objects

      • Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte
      Pages 225-230

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

      • Gregorio Díaz, Ismael Rodríguez
      Pages 231-236

    5. A Type Graph Model for Java Programs

      • Arend Rensink, Eduardo Zambon
      Pages 237-242

    6. Conformance Testing of Network Simulators Based on Metamorphic Testing Technique

      • Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Shengqiong Wang
      Pages 243-248
Back to top

Other volumes

  1. Formal Techniques for Distributed Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.

Editors and Affiliations

  • 395 Dreese Laboratories, Department of Computer Science and Engineering, The Ohio State University, Columbus, USA

    David Lee

  • Faculty of Sciences, Department of Informatics, University of Lisbon, Lisboa, Portugal

    Antónia Lopes

  • Fachbereich Informatik, Universität Kaiserslautern, Kaiserslautern, Germany

    Arnd Poetzsch-Heffter

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation