How Adaptive and Reliable is Your Program? (Englisch)
- Neue Suche nach: Castiglioni, Valentina
- Neue Suche nach: Loreti, Michele
- Neue Suche nach: Tini, Simone
- Neue Suche nach: Castiglioni, Valentina
- Neue Suche nach: Loreti, Michele
- Neue Suche nach: Tini, Simone
In:
Formal Techniques for Distributed Objects, Components, and Systems
; 60-79
;
2021
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:How Adaptive and Reliable is Your Program?
-
Beteiligte:
-
Kongress:DisCoTec ; 16. ; 2021 ; Online
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Cham
-
Erscheinungsdatum:2021
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.52
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 54.52 Software engineering -
Datenquelle:
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 3
-
On Bidirectional Runtime EnforcementAceto, Luca / Cassar, Ian / Francalanza, Adrian / Ingólfsdóttir, Anna et al. | 2021
- 22
-
A Multi-agent Model for Polarization Under Confirmation Bias in Social NetworksAlvim, Bias Mário S. / Amorim, Bernardo / Knight, Sophia / Quintero, Santiago / Valencia, Frank et al. | 2021
- 42
-
A Formalisation of SysML State Machines in mCRL2Bouwman, Mark / Luttik, Bas / Wal, Djurre van der et al. | 2021
- 60
-
How Adaptive and Reliable is Your Program?Castiglioni, Valentina / Loreti, Michele / Tini, Simone et al. | 2021
- 80
-
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent MovesGorrieri, Roberto et al. | 2021
- 100
-
Prioritise the Best VariationKokke, Wen / Dardha, Ornela et al. | 2021
- 120
-
Towards Multi-layered Temporal Models: A Proposal to Integrate Instant Refinement in CCSLMontin, Mathieu / Pantel, Marc et al. | 2021
- 138
-
A Case Study on Parametric Verification of Failure DetectorsTran, Thanh-Hai / Konnov, Igor / Widder, Josef et al. | 2021
- 157
-
π with Leftovers: A Mechanisation in AgdaZalakain, Uma / Dardha, Ornela et al. | 2021
- 177
-
Supervisory Synthesis of Configurable Behavioural Contracts with ModalitiesBasile, Davide / Beek, Maurice H. ter / Degano, Pierpaolo / Ferrari, Axe Gian-Luigi / Gnesi, Stefania / Giandomenico, Felicita Di et al. | 2021
- 182
-
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths: (Extended Abstract)Bouwman, Mark / Luttik, Bas / Willemse, Tim et al. | 2021
- 188
-
Towards a Spatial Model Checker on GPUBussi, Laura / Ciancia, Vincenzo / Gadducci, Fabio et al. | 2021
- 197
-
Formal Verification of HotStuffJehl, Leander et al. | 2021
- 207
-
Better Late Than Never or: Verifying Asynchronous Components at RuntimeAttard, Duncan Paul / Aceto, Luca / Achilleos, Antonis / Francalanza, Adrian / Ingólfsdóttir, Anna / Lehtinen, Karoliina et al. | 2021
- 226
-
Tutorial: Designing Distributed Software in mCRL2Groote, Jan Friso / Keiren, Jeroen J. A. et al. | 2021