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 |
