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


Full Text Documents

Chargement de la page

Search

Chargement de la page

Table of Contents
Formal Techniques for Distributed Objects, Components, and Systems
Kirstin Peters, Tim A.C. Willemse
Front Matter

Full Papers


On Bidirectional Runtime Enforcement
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
3-21
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks
Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia
22-41
A Formalisation of SysML State Machines in mCRL2
Mark Bouwman, Bas Luttik, Djurre van Der Wal
42-59
How Adaptive and Reliable is Your Program?
Valentina Castiglioni, Michele Loreti, Simone Tini
60-79
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves
Wen Kokke, Ornela Dardha
80-99
Prioritise the Best Variation
Wen Kokke, Ornela Dardha
100-119
Towards Multi-layered Temporal Models:
Mathieu Montin, Marc Pantel
120-137
A Case Study on Parametric Verification of Failure Detectors
Thanh-Hai Tran, Igor Konnov, Josef Widder
138-156
$$\pi $$π with Leftovers: A Mechanisation in Agda
Uma Zalakain, Ornela Dardha
157-174

Short and Journal-First Papers


Supervisory Synthesis of Configurable Behavioural Contracts with Modalities
Davide Basile, Maurice Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico
177-181
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths
Mark Bouwman, Bas Luttik, Tim A.C. Willemse
182-187
Towards a Spatial Model Checker on GPU
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
188-196
Formal Verification of HotStuff
Leander Jehl
197-204

Tutorials


Better Late Than Never or: Verifying Asynchronous Components at Runtime
Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen
207-225
Tutorial: Designing Distributed Software in mCRL2
Jan Friso Groote, Jeroen Keiren
226-243

 


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