Skip to main content
SpringerLink
Log in
Book cover

Formal Methods for Open Object-Based Distributed Systems

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

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Gilles Barthe
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Frank S. Boer
    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 5051)

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

Included in the following conference series:

Conference proceedings info: FMOODS 2008.

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 (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Formal Methods for Open Object-Based Distributed Systems

    2. Accepted Papers

      1. Termination Analysis of Java Bytecode
        • Elvira Albert, Puri Arenas, Michael Codish, Samir Genaim, Germán Puebla, Damiano Zanardini
        Pages 2-18
      2. Sessions and Pipelines for Structured Service Programming
        • Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
        Pages 19-38
      3. Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
        • Rohit Chadha, Carl A. Gunter, Jose Meseguer, Ravinder Shankesi, Mahesh Viswanathan
        Pages 39-58
      4. Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus
        • Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco T. Vasconcelos
        Pages 59-77
      5. Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
        • John Derrick, Gerhard Schellhorn, Heike Wehrheim
        Pages 78-95
      6. Symbolic Step Encodings for Object Based Communicating State Machines
        • Jori Dubrovin, Tommi Junttila, Keijo Heljanko
        Pages 96-112
      7. Modeling and Model Checking Software Product Lines
        • Alexander Gruler, Martin Leucker, Kathrin Scheidemann
        Pages 113-131
      8. Semantic Foundations and Inference of Non-null Annotations
        • Laurent Hubert, Thomas Jensen, David Pichardie
        Pages 132-149
      9. Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking
        • Michael Katelman, José Meseguer, Jennifer Hou
        Pages 150-169
      10. A Minimal Set of Refactoring Rules for Object-Z
        • Tim McComb, Graeme Smith
        Pages 170-184
      11. Formal Modeling of a Generic Middleware to Ensure Invariant Properties
        • Xavier Renault, Jérôme Hugues, Fabrice Kordon
        Pages 185-200
      12. CoBoxes: Unifying Active Objects and Structured Heaps
        • Jan Schäfer, Arnd Poetzsch-Heffter
        Pages 201-219
      13. VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
        • Jan Smans, Bart Jacobs, Frank Piessens
        Pages 220-239
      14. A Caller-Side Inline Reference Monitor for an Object-Oriented Intermediate Language
        • Dries Vanoverberghe, Frank Piessens
        Pages 240-258

  3. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Methods for Open Object-Based Distributed Systems

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation