Skip to main content
SpringerLink
Log in

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
  • © 2010

Overview

Editors:
  1. John Hatcliff

    1. Computing and Information Sciences, Kansas State University, Manhattan, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Elena Zucca

    1. DISI, University of Genova, Genova, Italy

    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 6117)

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

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

  1. Front Matter

    Download chapter PDF

  2. Invited Talk

    1. Formal Software Verification: How Close Are We?

      • Gerard J. Holzmann
      Pages 1-1

  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

    1. Forgetting the Time in Timed Process Algebra

      • Anton Wijs
      Pages 110-124

    2. Theory and Implementation of a Real-Time Extension to the π-Calculus

      • Ernesto Posse, Juergen Dingel
      Pages 125-139

  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

    2. Static Type Analysis of Pattern Matching by Abstract Interpretation

      • Pietro Ferrara
      Pages 186-200

  9. Reasoning about Distributed Systems

    1. On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols

      • Yongyuth Permpoontanalarp
      Pages 201-215

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

      • Péter Bokor, Marco Serafini, Neeraj Suri
      Pages 216-223

    3. Logics for Contravariant Simulations

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

  10. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Techniques for Distributed Systems

Keywords

Editors and Affiliations

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

    John Hatcliff

  • DISI, University of Genova, Genova, Italy

    Elena Zucca

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation