index - Formal Techniques for Distributed Objects, Components, and Systems
   


Full Text Documents

18

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/