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 |
