Full Text Documents

Search


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

 

 


Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/