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
Conference proceedings FMOODS 2009, FORTE 2009

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

Table of contents

  1. Front Matter
  2. Invited Contribution

    1. David Kitchin, Adrian Quark, William Cook, Jayadev Misra
      Pages 1-25
  3. Regular Contributions

    1. Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini
      Pages 26-40
    2. Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
      Pages 41-56
    3. Naghmeh Ghafari, Arie Gurfinkel, Richard Trefler
      Pages 57-72
    4. Hanifa Boucheneb, Abdessamad Imine
      Pages 73-89
    5. Lin Liu, Jonathan Billington
      Pages 90-105
    6. Gabriel Ciobanu, Călin Juravle
      Pages 106-121
    7. Iksoon Hwang, Mounir Lallali, Ana Cavalli, Dominique Verchere
      Pages 122-136
    8. Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko
      Pages 137-151
    9. Hans Grönniger, Jan Oliver Ringert, Bernhard Rumpe
      Pages 152-166
    10. Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
      Pages 167-181
    11. Rohit Chadha, Stéphanie Delaune, Steve Kremer
      Pages 182-197
  4. Short Papers

    1. João Abreu, Franco Mazzanti, José Luiz Fiadeiro, Stefania Gnesi
      Pages 219-224
    2. Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte
      Pages 225-230
    3. Arend Rensink, Eduardo Zambon
      Pages 237-242
    4. Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Shengqiong Wang
      Pages 243-248
  5. Back Matter

About these proceedings


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.


algorithms automata theory epistemic logic finite state machines first-order logic mod model checking modeling network simulator object oriented design orc pi calculus testing validation verification

Editors and affiliations

  • David Lee
    • 1
  • Antónia Lopes
    • 2
  • Arnd Poetzsch-Heffter
    • 3
  1. 1.395 Dreese Laboratories, Department of Computer Science and EngineeringThe Ohio State UniversityColumbusUSA
  2. 2.Faculty of Sciences, Department of InformaticsUniversity of LisbonLisboaPortugal
  3. 3.Fachbereich InformatikUniversität KaiserslauternKaiserslauternGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-02137-4
  • Online ISBN 978-3-642-02138-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences