default search action

combined dblp search
author search
venue search
publication search

ask others

41st FORTE 2021: Valletta, Malta

> Home > Conferences and Workshops > FORTE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/forte/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/2021
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

- view
  authority control:
- export record
  dblp key:
  - conf/forte/AcetoCFI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AcetoCFI21
Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir:
On Bidirectional Runtime Enforcement. 3-21
- view
  authority control:
- export record
  dblp key:
  - conf/forte/AlvimAKQV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AlvimAKQV21
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
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BouwmanLW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BouwmanLW21
Mark Bouwman, Bas Luttik, Djurre van der Wal:
A Formalisation of SysML State Machines in mCRL2. 42-59
- view
  authority control:
- export record
  dblp key:
  - conf/forte/CastiglioniLT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CastiglioniLT21
Valentina Castiglioni, Michele Loreti, Simone Tini:
How Adaptive and Reliable is Your Program? 60-79
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Gorrieri21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Gorrieri21
Roberto Gorrieri:
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves. 80-99
- view
  authority control:
- export record
  dblp key:
  - conf/forte/KokkeD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/KokkeD21
Wen Kokke, Ornela Dardha:
Prioritise the Best Variation. 100-119
- view
  authority control:
- export record
  dblp key:
  - conf/forte/MontinP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/MontinP21
Mathieu Montin, Marc Pantel:
Towards Multi-layered Temporal Models: - A Proposal to Integrate Instant Refinement in CCSL. 120-137
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Tran0W21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Tran0W21
Thanh-Hai Tran, Igor Konnov, Josef Widder:
A Case Study on Parametric Verification of Failure Detectors. 138-156
- view
  authority control:
- export record
  dblp key:
  - conf/forte/ZalakainD21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/ZalakainD21
Uma Zalakain, Ornela Dardha:
π with Leftovers: A Mechanisation in Agda. 157-174

Short and Journal-First Papers

- view
  authority control:
- export record
  dblp key:
  - conf/forte/BasileBDLFGG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BasileBDLFGG21
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
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BouwmanLW21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BouwmanLW21a
Mark Bouwman, Bas Luttik, Tim A. C. Willemse:
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). 182-187
- view
  authority control:
- export record
  dblp key:
  - conf/forte/BussiCG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BussiCG21
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci:
Towards a Spatial Model Checker on GPU. 188-196
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Jehl21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Jehl21
Leander Jehl:
Formal Verification of HotStuff. 197-204

Tutorials

- view
  authority control:
- export record
  dblp key:
  - conf/forte/AttardAAFIL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/AttardAAFIL21
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
- view
  authority control:
- export record
  dblp key:
  - conf/forte/GrooteK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/GrooteK21
Jan Friso Groote, Jeroen J. A. Keiren:
Tutorial: Designing Distributed Software in mCRL2. 226-243

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.