© 2008

Formal Methods for Open Object-Based Distributed Systems

10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

  • Editors
  • Gilles Barthe
  • Frank S. de Boer
Conference proceedings FMOODS 2008

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

Table of contents

  1. Front Matter
  2. Formal Methods for Open Object-Based Distributed Systems

    1. Invited Talk

    2. Accepted Papers

      1. Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini
        Pages 2-18
      2. Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
        Pages 19-38
      3. Rohit Chadha, Carl A. Gunter, Jose Meseguer, Ravinder Shankesi, Mahesh Viswanathan
        Pages 39-58
      4. Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco T. Vasconcelos
        Pages 59-77
      5. John Derrick, Gerhard Schellhorn, Heike Wehrheim
        Pages 78-95
      6. Jori Dubrovin, Tommi Junttila, Keijo Heljanko
        Pages 96-112
      7. Alexander Gruler, Martin Leucker, Kathrin Scheidemann
        Pages 113-131
      8. Laurent Hubert, Thomas Jensen, David Pichardie
        Pages 132-149
      9. Tim McComb, Graeme Smith
        Pages 170-184
      10. Xavier Renault, Jérôme Hugues, Fabrice Kordon
        Pages 185-200
      11. Jan Schäfer, Arnd Poetzsch-Heffter
        Pages 201-219
      12. Jan Smans, Bart Jacobs, Frank Piessens
        Pages 220-239
  3. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 10th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2008, held in Oslo, Norway, in June 2008.

The 14 revised full papers presented together with 1 invited lecture were carefully reviewed and selected from 35 submissions. The papers cover topcics such as semantics of object-oriented programming; formal techniques for specification, analysis, and refinement; model checking; theorem proving and deductive verification; type systems and behavioral typing; formal methods for service-oriented computing; integration of quality of service requirements into formal models; formal approaches to component-based design; and applications of formal methods.


design distributed systems formal method model checking object oriented design object-oriented programming programming semantics theorem proving verification

Bibliographic information

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