Better Late Than Never or: Verifying Asynchronous Components at Runtime

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	FORTE (41. : 2021 : Online) Formal Techniques for Distributed Objects, Components, and Systems
1. Verfasser:	Attard, Duncan Paul (VerfasserIn)
Weitere Verfasser:	Aceto, Luca (VerfasserIn), Achilleos, Antonis (VerfasserIn), Francalanza, Adrian (VerfasserIn), Ingólfsdóttir, Anna (VerfasserIn), Lehtinen, Karoliina (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Prioritise the Best Variation	2021	Kokke, Wen
Towards a Spatial Model Checker on GPU	2021	Bussi, Laura
On Bidirectional Runtime Enforcement	2021	Aceto, Luca
How Adaptive and Reliable is Your Program?	2021	Castiglioni, Valentina
A Case Study on Parametric Verification of Failure Detectors	2021	Tran, Thanh-Hai
Formal Verification of HotStuff	2021	Jehl, Leander
Tutorial: Designing Distributed Software in mCRL2	2021	Groote, Jan Friso
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks	2021	Alvim, Bias Mário S.
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves	2021	Gorrieri, Roberto
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths: (Extended Abstract)	2021	Bouwman, Mark
A Formalisation of SysML State Machines in mCRL2	2021	Bouwman, Mark
Towards Multi-layered Temporal Models: A Proposal to Integrate Instant Refinement in CCSL	2021	Montin, Mathieu
π with Leftovers: A Mechanisation in Agda	2021	Zalakain, Uma
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities	2021	Basile, Davide
Better Late Than Never or: Verifying Asynchronous Components at Runtime	2021	Attard, Duncan Paul