© 2010

Formal Techniques for Distributed Systems

Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

  • John Hatcliff
  • Elena Zucca
Conference proceedings FMOODS 2010, FORTE 2010

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

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Formal UML Modeling

    1. Artur Boronat, Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Generoso Paolillo
      Pages 2-16
    2. Frank Alexander Kraemer, Peter Herrmann
      Pages 17-31
  4. Components and Architecture

    1. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
      Pages 32-46
    2. Peter Csaba Ölveczky, Artur Boronat, José Meseguer
      Pages 47-62
    3. Robert M. Hierons, Manuel Núñez
      Pages 63-77
    4. Juan José Pardo, Manuel Núñez, M. Carmen Ruiz
      Pages 78-86
    5. Laura Bocchi, Emilio Tuosto
      Pages 87-94
  5. Joint DisCoTec Session

    1. Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
      Pages 95-109
  6. Timed Process Algebra

  7. Timed and Hybrid Automata

    1. F. Javier Crespo, Alberto de la Encina, Luis Llana
      Pages 140-154
    2. Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta
      Pages 155-169
  8. Program Logics and Analysis

    1. Jan Smans, Bart Jacobs, Frank Piessens
      Pages 170-185
  9. Reasoning about Distributed Systems

    1. Péter Bokor, Marco Serafini, Neeraj Suri
      Pages 216-223
    2. Ignacio Fábregas, David de Frutos Escrig, Miguel Palomino
      Pages 224-231
  10. Back Matter

About these proceedings


Unified Modeling Language (UML) automata distributed systems formal method formal methods logic model checking modeling object oriented design process algebra real-time semantics simulation software verification

Editors and affiliations

  • John Hatcliff
    • 1
  • Elena Zucca
    • 2
  1. 1.Computing and Information SciencesKansas State UniversityManhattanUSA
  2. 2.DISIUniversity of GenovaGenovaItaly

Bibliographic information

Industry Sectors
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences