Abstract is missing.
- On Bidirectional Runtime EnforcementLuca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir. 3-21 [doi]
- A Multi-agent Model for Polarization Under Confirmation Bias in Social NetworksMário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia. 22-41 [doi]
- A Formalisation of SysML State Machines in mCRL2Mark Bouwman, Bas Luttik, Djurre van der Wal. 42-59 [doi]
- How Adaptive and Reliable is Your Program?Valentina Castiglioni, Michele Loreti, Simone Tini. 60-79 [doi]
- Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent MovesRoberto Gorrieri. 80-99 [doi]
- Prioritise the Best VariationWen Kokke, Ornela Dardha. 100-119 [doi]
- Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSLMathieu Montin, Marc Pantel. 120-137 [doi]
- A Case Study on Parametric Verification of Failure DetectorsThanh-Hai Tran, Igor Konnov 0001, Josef Widder. 138-156 [doi]
- π with Leftovers: A Mechanisation in AgdaUma Zalakain, Ornela Dardha. 157-174 [doi]
- Supervisory Synthesis of Configurable Behavioural Contracts with ModalitiesDavide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico. 177-181 [doi]
- Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract)Mark Bouwman, Bas Luttik, Tim A. C. Willemse. 182-187 [doi]
- Towards a Spatial Model Checker on GPULaura Bussi, Vincenzo Ciancia, Fabio Gadducci. 188-196 [doi]
- Formal Verification of HotStuffLeander Jehl. 197-204 [doi]
- Better Late Than Never or: Verifying Asynchronous Components at RuntimeDuncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen. 207-225 [doi]
- Tutorial: Designing Distributed Software in mCRL2Jan Friso Groote, Jeroen J. A. Keiren. 226-243 [doi]