Table of Contents
|
Coordination Models and Languages
Maurice H ter Beek, Marjan Sirjani |
Front Matter |
Invited Presentation
|
Formal Methods for Socio-technical Security
Luca Viganò |
3-14 |
Timed and Probabilistic Systems
|
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
Wang Yi, Morteza Mohaqeqi, Susanne Graf |
17--34 |
A Sound Up-to-$n,\delta $n,δ Bisimilarity for PCTL
Massimo Bartoletti, Maurizio Murgia, Roberto Zunino |
35-52 |
Collective Adaptive Systems and Aggregate Computing
|
Extensible 3D Simulation of Aggregated Systems with FCPP
Giorgio Audrito, Luigi Rapetta, Gianluca Torta |
55-71 |
Towards Reinforcement Learning-based Aggregate Computing
Gianluca Aguzzi, Roberto Casadei, Mirko Viroli |
72-91 |
Sibilla: A Tool for Reasoning about Collective Systems
Nicola del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman, Michele Loreti |
92-98 |
Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach
Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli, Franco Zambonelli |
99-117 |
Processes and Languages
|
Formal Choreographic Languages
Franco Barbanera, Ivan Lanese, Emilio Tuosto |
121-139 |
A Model of Actors and Grey Failures
Laura Bocchi, Julien Lange, Simon Thompson, A. Laura Voinea |
140-158 |
Soft Concurrent Constraint Programming with Local Variables
Laura Bussi, Fabio Gadducci, Francesco Santini |
159-177 |
Runtime Verification and Monitor Synthesis
|
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting
Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen, Jasmine Xuereb |
181 - 199 |
A Monitoring Tool for Linear-Time μHML
Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir |
200 - 219 |
Microservices
|
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher |
223-240 |
Hosted by HAL : 