Skip to main content
  • Conference proceedings
  • © 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

Conference proceedings info: FMOODS 2010, FORTE 2010.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (18 papers)

  1. Front Matter

  2. Invited Talk

  3. Formal UML Modeling

    1. Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning

      • Artur Boronat, Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari, Generoso Paolillo
      Pages 2-16
    2. Reactive Semantics for Distributed UML Activities

      • Frank Alexander Kraemer, Peter Herrmann
      Pages 17-31
  4. Components and Architecture

    1. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems

      • Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
      Pages 32-46
    2. Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

      • Peter Csaba Ölveczky, Artur Boronat, José Meseguer
      Pages 47-62
    3. Testing Probabilistic Distributed Systems

      • Robert M. Hierons, Manuel Núñez
      Pages 63-77
    4. Specification and Testing of E-Commerce Agents Described by Using UIOLTSs

      • Juan José Pardo, Manuel Núñez, M. Carmen Ruiz
      Pages 78-86
    5. Testing Attribute-Based Transactions in SOC

      • Laura Bocchi, Emilio Tuosto
      Pages 87-94
  5. Joint DisCoTec Session

    1. Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory

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

  7. Timed and Hybrid Automata

    1. Fuzzy-Timed Automata

      • F. Javier Crespo, Alberto de la Encina, Luis Llana
      Pages 140-154
    2. Model Checking of Hybrid Systems Using Shallow Synchronization

      • Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta
      Pages 155-169
  8. Program Logics and Analysis

    1. Heap-Dependent Expressions in Separation Logic

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

    1. On Efficient Models for Model Checking Message-Passing Distributed Protocols

      • Péter Bokor, Marco Serafini, Neeraj Suri
      Pages 216-223
    2. Logics for Contravariant Simulations

      • Ignacio Fábregas, David de Frutos Escrig, Miguel Palomino
      Pages 224-231
  10. Back Matter

Other Volumes

  1. Formal Techniques for Distributed Systems

Keywords

  • 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

  • Computing and Information Sciences, Kansas State University, Manhattan, USA

    John Hatcliff

  • DISI, University of Genova, Genova, Italy

    Elena Zucca

Bibliographic Information

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions