Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 15)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030780883, 9783030780890

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78089-0_2 ◽

2021 ◽

pp. 22-41

Author(s):

Mário S. Alvim ◽

Bernardo Amorim ◽

Sophia Knight ◽

Santiago Quintero ◽

Frank Valencia

Keyword(s):

Social Networks ◽

Confirmation Bias ◽

Agent Model ◽

Multi Agent

Download Full-text

Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78089-0_11 ◽

2021 ◽

pp. 182-187

Author(s):

Mark Bouwman ◽

Bas Luttik ◽

Tim Willemse

Keyword(s):

Automated Analysis ◽

Liveness Properties

Download Full-text

Formal Verification of HotStuff

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78089-0_13 ◽

2021 ◽

pp. 197-204

Author(s):

Leander Jehl

Keyword(s):

Formal Verification

Download Full-text

On Bidirectional Runtime Enforcement

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78089-0_1 ◽

2021 ◽

pp. 3-21

Author(s):

Luca Aceto ◽

Ian Cassar ◽

Adrian Francalanza ◽

Anna Ingólfsdóttir

Keyword(s):

Runtime Enforcement

Download Full-text

A Formalisation of SysML State Machines in mCRL2

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78089-0_3 ◽

2021 ◽

pp. 42-59

Author(s):

Mark Bouwman ◽

Bas Luttik ◽

Djurre van der Wal

Keyword(s):

State Machines

Download Full-text

Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78089-0_5 ◽

2021 ◽

pp. 80-99

Author(s):

Roberto Gorrieri

Keyword(s):

Petri Nets ◽

Behavioral Equivalence

Download Full-text

$$\pi $$ with Leftovers: A Mechanisation in Agda

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78089-0_9 ◽

2021 ◽

pp. 157-174

Author(s):

Uma Zalakain ◽

Ornela Dardha

Download Full-text

Towards a Spatial Model Checker on GPU

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78089-0_12 ◽

2021 ◽

pp. 188-196

Author(s):

Laura Bussi ◽

Vincenzo Ciancia ◽

Fabio Gadducci

Keyword(s):

Spatial Model ◽

Model Checker

Download Full-text

Towards Multi-layered Temporal Models:

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78089-0_7 ◽

2021 ◽

pp. 120-137

Author(s):

Mathieu Montin ◽

Marc Pantel

Keyword(s):

Temporal Models

Download Full-text

Better Late Than Never or: Verifying Asynchronous Components at Runtime

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78089-0_14 ◽

2021 ◽

pp. 207-225

Author(s):

Duncan Paul Attard ◽

Luca Aceto ◽

Antonis Achilleos ◽

Adrian Francalanza ◽

Anna Ingólfsdóttir ◽

...

Download Full-text

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks

Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths

Formal Verification of HotStuff

On Bidirectional Runtime Enforcement

A Formalisation of SysML State Machines in mCRL2

Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves

$$\pi $$ with Leftovers: A Mechanisation in Agda

Towards a Spatial Model Checker on GPU

Towards Multi-layered Temporal Models:

Better Late Than Never or: Verifying Asynchronous Components at Runtime

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science
Latest Publications