Skip to Main content Skip to Navigation
   


Full Text Documents

Chargement de la page

Search

Chargement de la page

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/