Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Holger Giese

    1. Hasso Plattner Institute at the University of Potsdam, Potsdam, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Grigore Rosu

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility

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

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

  1. Front Matter

    Download chapter PDF

  2. A Reversible Abstract Machine and Its Space Overhead

    • Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
    Pages 1-17

  3. A Small Model Theorem for Rectangular Hybrid Automata Networks

    • Taylor T. Johnson, Sayan Mitra
    Pages 18-34

  4. Analysis of May-Happen-in-Parallel in Concurrent Objects

    • Elvira Albert, Antonio E. Flores-Montoya, Samir Genaim
    Pages 35-51

  5. Behavioural Equivalences over Migrating Processes with Timers

    • Bogdan Aman, Gabriel Ciobanu, Maciej Koutny
    Pages 52-66

  6. Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs

    • Kais Klai, Jörg Desel
    Pages 67-83

  7. Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata

    • Roland Kindermann, Tommi Junttila, Ilkka Niemelä
    Pages 84-100

  8. Conformance Testing of Boolean Programs with Multiple Faults

    • Pavithra Prabhakar, Mahesh Viswanathan
    Pages 101-117

  9. Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities

    • Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
    Pages 118-134

  10. Modelling Probabilistic Wireless Networks

    • Andrea Cerone, Matthew Hennessy
    Pages 135-151

  11. Noninterference via Symbolic Execution

    • Dimiter Milushev, Wim Beck, Dave Clarke
    Pages 152-168

  12. Defining Distances for All Process Semantics

    • David Romero Hernández, David de Frutos Escrig
    Pages 169-185

  13. Secure Multi-Execution through Static Program Transformation

    • Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas
    Pages 186-202

  14. Synchronous Interface Theories and Time Triggered Scheduling

    • Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Ničković
    Pages 203-218

  15. 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-234

  16. Verification of Ad Hoc Networks with Node and Communication Failures

    • Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
    Pages 235-250

  17. Verification of Timed Erlang Programs Using McErlang

    • Clara Benac Earle, Lars-Åke Fredlund
    Pages 251-267

  18. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Formal Techniques for Distributed Systems

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation