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

TOTAL DOCUMENTS

15
(FIVE YEARS 15)

H-INDEX

0
(FIVE YEARS 0)

Published By Springer International Publishing

9783030780883, 9783030780890
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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

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

On Bidirectional Runtime Enforcement

2021 ◽  
pp. 3-21
Author(s):  
Luca Aceto ◽  
Ian Cassar ◽  
Adrian Francalanza ◽  
Anna Ingólfsdóttir
Keyword(s):  
Runtime Enforcement

A Formalisation of SysML State Machines in mCRL2

2021 ◽  
pp. 42-59
Author(s):  
Mark Bouwman ◽  
Bas Luttik ◽  
Djurre van der Wal
Keyword(s):  
State Machines

Towards a Spatial Model Checker on GPU

2021 ◽  
pp. 188-196
Author(s):  
Laura Bussi ◽  
Vincenzo Ciancia ◽  
Fabio Gadducci
Keyword(s):  
Spatial Model ◽  
Model Checker

Towards Multi-layered Temporal Models:

2021 ◽  
pp. 120-137
Author(s):  
Mathieu Montin ◽  
Marc Pantel
Keyword(s):  
Temporal Models

scholarly journals Better Late Than Never or: Verifying Asynchronous Components at Runtime

2021 ◽  
pp. 207-225
Author(s):  
Duncan Paul Attard ◽  
Luca Aceto ◽  
Antonis Achilleos ◽  
Adrian Francalanza ◽  
Anna Ingólfsdóttir ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document