Full Text Documents

Search


Table of Contents
Formal Techniques for Distributed Objects, Components, and Systems
Elvira Albert, Ivan Lanese (Eds.)
Front Matter
On the Power of Attribute-Based Communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
1-18
Fencing Programs with Self-Invalidation and Self-Downgrade
Parosh Abdulla, Mohamed Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu
19-35
A Framework for Certified Self-Stabilization
Karine Altisen, Pierre Corbineau, Stéphane Devismes
36-51
Developing Honest Java Programs with Diogenes
Nicola Atzei, Massimo Bartoletti
52-61
Playing with Our CAT and Communication-Centric Applications
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto
62-73
Multiparty Session Types Within a Canonical Binary Theory, and Beyond
Luís Caires, Jorge Pérez
74-95
A Type Theory for Robust Failure Handling in Distributed Systems
Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster
96-113
Choreographies in Practice
Luís Cruz-Filipe, Fabrizio Montesi
114-123
Specification-Based Synthesis of Distributed Self-Stabilizing Protocols
Fathiyeh Faghih, Borzoo Bonakdarpour, Sébastien Tixeuil, Sandeep Kulkarni
124-141
Branching Bisimulation Games
David Frutos Escrig, Jeroen Keiren, Tim Willemse
142-157
A Configurable CEGAR Framework with Interpolation-Based Refinements
Ákos Hajdu, Tamás Tóth, András Vörös, István Majzik
158-174
A Theory for the Composition of Concurrent Processes
Ludovic Henrio, Eric Madelaine, Min Zhang
175-194
Enforcing Availability in Failure-Aware Communicating Systems
Hugo López, Flemming Nielson, Hanne Nielson
195-211
Ransomware Steals Your Phone. Formal Methods Rescue It
Francesco Mercaldo, Vittoria Nardone, Antonella Santone, Corrado Visaggio
212-221
Multiple Mutation Testing from FSM
Alexandre Petrenko, Omer Nguena Timo, S. Ramesh
222-238
The Challenge of Typed Expressiveness in Concurrency
Jorge Pérez
239-247
Type-Based Analysis for Session Inference (Extended Abstract)
Carlo Spaccasassi, Vasileios Koutavas
248-266
SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models
Manel Tekaya, Mohamed Bennani, Nedra Ebdelli, Samir Ben Ahmed
267-274

 

 


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