Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID41st FORTE 2021: Valletta, Malta
- Kirstin Peters
, Tim A. C. Willemse:
Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings. Lecture Notes in Computer Science 12719, Springer 2021, ISBN 978-3-030-78088-3
Full Papers
- Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Bidirectional Runtime Enforcement. 3-21 - Mário S. Alvim, Bernardo Amorim, Sophia Knight, Santiago Quintero, Frank Valencia:
A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks. 22-41 - Mark Bouwman, Bas Luttik, Djurre van der Wal:
A Formalisation of SysML State Machines in mCRL2. 42-59 - Valentina Castiglioni, Michele Loreti, Simone Tini:
How Adaptive and Reliable is Your Program? 60-79 - Roberto Gorrieri:
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves. 80-99 - Wen Kokke, Ornela Dardha:
Prioritise the Best Variation. 100-119 - Mathieu Montin, Marc Pantel:
Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL. 120-137 - Thanh-Hai Tran, Igor Konnov, Josef Widder:
A Case Study on Parametric Verification of Failure Detectors. 138-156 - Uma Zalakain, Ornela Dardha:
π with Leftovers: A Mechanisation in Agda. 157-174
Short and Journal-First Papers
- Davide Basile, Maurice H. ter Beek, Pierpaolo Degano, Axel Legay, Gian-Luigi Ferrari, Stefania Gnesi, Felicita Di Giandomenico:
Supervisory Synthesis of Configurable Behavioural Contracts with Modalities. 177-181 - Mark Bouwman, Bas Luttik, Tim A. C. Willemse:
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). 182-187 - Laura Bussi, Vincenzo Ciancia, Fabio Gadducci:
Towards a Spatial Model Checker on GPU. 188-196 - Leander Jehl:
Formal Verification of HotStuff. 197-204
Tutorials
- Duncan Paul Attard, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen:
Better Late Than Never or: Verifying Asynchronous Components at Runtime. 207-225 - Jan Friso Groote, Jeroen J. A. Keiren:
Tutorial: Designing Distributed Software in mCRL2. 226-243
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-26 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
