Limit search to available items
Book Cover
Author International Conference on Formal Methods for Open Object-Based Distributed Systems (14th : 2012 : Stockholm, Sweden)

Title 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 / Holger Giese, Grigore Rosu (eds.)
Published Berlin ; New York : Springer, [2012]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource
Series Lecture notes in computer science, 0302-9743 ; 7273
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7273
LNCS sublibrary. SL 2, Programming and software engineering.
Contents A Reversible Abstract Machine and Its Space Overhead / Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina and Jean-Bernard Stefani -- A Small Model Theorem for Rectangular Hybrid Automata Networks / Taylor T. Johnson and Sayan Mitra -- Analysis of May-Happen-in-Parallel in Concurrent Objects / Elvira Albert, Antonio E. Flores-Montoya and Samir Genaim -- Behavioural Equivalences over Migrating Processes with Timers / Bogdan Aman, Gabriel Ciobanu and Maciej Koutny -- Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs / Kais Klai and Jörg Desel -- Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata / Roland Kindermann, Tommi Junttila and Ilkka Niemelä -- Conformance Testing of Boolean Programs with Multiple Faults / Pavithra Prabhakar and Mahesh Viswanathan -- Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities / Saddek Bensalem, Marius Bozga, Jean Quilbeuf and Joseph Sifakis -- Modelling Probabilistic Wireless Networks / (Extended Abstract) / Andrea Cerone and Matthew Hennessy -- Noninterference via Symbolic Execution / Dimiter Milushev, Wim Beck and Dave Clarke -- Defining Distances for All Process Semantics / David Romero Hernández and David de Frutos Escrig -- Secure Multi-Execution through Static Program Transformation / Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens and Exequiel Rivas -- Synchronous Interface Theories and Time Triggered Scheduling / Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay and Dejan Ničković -- TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs / Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay and Darko Marinov, et al. -- Verification of Ad Hoc Networks with Node and Communication Failures / Giorgio Delzanno, Arnaud Sangnier and Gianluigi Zavattaro -- Verification of Timed Erlang Programs Using McErlang / Clara Benac Earle and Lars-Åke Fredlund
Summary 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
Analysis Computer science
Computer Communication Networks
Software engineering
Logic design
Programming Techniques
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Bibliography Includes bibliographical references and author index
Subject Electronic data processing -- Distributed processing -- Congresses.
Formal methods (Computer science) -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Giese, Holger.
Roşu, Grigore.
FORTE 2012 (2012 : Sweden, Switzerland)
LC no. 2012938642
ISBN 9783642307935 (electronic bk.)
3642307930 (electronic bk.)
Other Titles FMOODS 2012
FORTE 2012