Skip to main content
  • Conference proceedings
  • © 2012

Formal Techniques for Distributed Systems

Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

  • State-of-the-art research

  • Fast-track conference proceedings

  • Unique visibility

Conference proceedings info: FMOODS 2012, FORTE 2012.

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-30793-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)

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

Table of contents (16 papers)

  1. Front Matter

  2. A Reversible Abstract Machine and Its Space Overhead

    • Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
    Pages 1-17Open Access
  3. A Small Model Theorem for Rectangular Hybrid Automata Networks

    • Taylor T. Johnson, Sayan Mitra
    Pages 18-34Open Access
  4. Analysis of May-Happen-in-Parallel in Concurrent Objects

    • Elvira Albert, Antonio E. Flores-Montoya, Samir Genaim
    Pages 35-51Open Access
  5. Behavioural Equivalences over Migrating Processes with Timers

    • Bogdan Aman, Gabriel Ciobanu, Maciej Koutny
    Pages 52-66Open Access
  6. Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata

    • Roland Kindermann, Tommi Junttila, Ilkka Niemelä
    Pages 84-100Open Access
  7. Conformance Testing of Boolean Programs with Multiple Faults

    • Pavithra Prabhakar, Mahesh Viswanathan
    Pages 101-117Open Access
  8. Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities

    • Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
    Pages 118-134Open Access
  9. Modelling Probabilistic Wireless Networks

    • Andrea Cerone, Matthew Hennessy
    Pages 135-151Open Access
  10. Noninterference via Symbolic Execution

    • Dimiter Milushev, Wim Beck, Dave Clarke
    Pages 152-168Open Access
  11. Defining Distances for All Process Semantics

    • David Romero Hernández, David de Frutos Escrig
    Pages 169-185Open Access
  12. Secure Multi-Execution through Static Program Transformation

    • Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas
    Pages 186-202Open Access
  13. Synchronous Interface Theories and Time Triggered Scheduling

    • Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Ničković
    Pages 203-218Open Access
  14. TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs

    • Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha
    Pages 219-234Open Access
  15. Verification of Ad Hoc Networks with Node and Communication Failures

    • Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
    Pages 235-250Open Access
  16. Verification of Timed Erlang Programs Using McErlang

    • Clara Benac Earle, Lars-Åke Fredlund
    Pages 251-267Open Access
  17. Back Matter

Other Volumes

  1. Formal Techniques for Distributed Systems

    Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

About this book

This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.

Keywords

  • hybrid automata
  • multiparty interactions
  • parameterized verification
  • system modeling
  • uniform verification

Editors and Affiliations

  • Hasso Plattner Institute at the University of Potsdam, Potsdam, Germany

    Holger Giese

  • Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana, USA

    Grigore Rosu

Bibliographic Information

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-30793-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 84.99
Price excludes VAT (USA)