Table of Contents
|
Formal Techniques for Distributed Systems
Holger Giese, Grigore Rosu |
Front Matter |
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 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 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
Andrea Cerone, Matthew Hennessy |
135-151 |
Noninterference via Symbolic Execution
Dimiter Milushev, Wim Beck, Dave Clarke |
152-168 |
Defining Distances for All Process Semantics
David Romero Hernández, David Frutos Escrig |
169-185 |
Secure Multi-Execution through Static Program Transformation
Gilles Barthe, Juan Crespo, Dominique Devriese, Frank Piessens, Exequiel Rivas |
186-202 |
Synchronous Interface Theories and Time Triggered Scheduling
Benot Delahaye, Uli Fahrenberg, Axel Legay, Dejan Ničković |
203-218 |
TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs
Samira Tasharofi, Rajesh 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 |
Verification of Timed Erlang Programs Using McErlang
Clara Earle, Lars-Åke Fredlund |
251-267 |
Hosted by HAL : 