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
Springer, Lecture Notes in Computer Science 7273, ISBN: 978-3-642-30792-8
Contents
A Reversible Abstract Machine and Its Space Overhead.
Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
1-17
A Small Model Theorem for Rectangular Hybrid Automata Networks.
Taylor T. Johnson, Sayan Mitra
18-34
Analysis of May-Happen-in-Parallel in Concurrent Objects.
Elvira Albert, Antonio Flores-Montoya, Samir Genaim
35-51
Behavioural Equivalences over Migrating Processes with Timers.
Bogdan Aman, Gabriel Ciobanu, Maciej Koutny
52-66
Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs.
Kais Klai, Jörg Desel
67-83
Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata.
Roland Kindermann, Tommi A. Junttila, Ilkka Niemelä
84-100
Conformance Testing of Boolean Programs with Multiple Faults.
Pavithra Prabhakar, Mahesh Viswanathan
101-117
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities.
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
118-134
Modelling Probabilistic Wireless Networks - (Extended Abstract).
Andrea Cerone, Matthew Hennessy
135-151
Defining Distances for All Process Semantics.
David Romero-Hernández, David de Frutos-Escrig
169-185
Secure Multi-Execution through Static Program Transformation.
Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas
186-202
Synchronous Interface Theories and Time Triggered Scheduling.
Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay, Dejan Nickovic
203-218
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
219-234
Verification of Ad Hoc Networks with Node and Communication Failures.
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
235-250