Coordination accepted papers

Wang Yi, Morteza Mohaqeqi and Susanne Graf
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems

Giorgio Audrito, Luigi Rapetta and Gianluca Torta
Extensible 3D Simulation of Aggregated Systems with FCPP

Massimo Bartoletti, Maurizio Murgia and Roberto Zunino
A Sound Up-to-n,delta Bisimilarity for PCTL

Franco Barbanera, Ivan Lanese and Emilio Tuosto
Formal choreography languages

Laura Bocchi, Julien Lange, Simon Thompson and Adriana Laura Voinea
Modelling and analysis of actor systems with grey failures

Jasmine Xuereb, Adrian Francalanza, Leo Exibard, Karoliina Lehtinen and Antonis Achilleos
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting

Laura Bussi, Fabio Gadducci and Francesco Santini
Soft Concurrent Constraint Programming with Local Variables

Duncan Attard, Luca Aceto, Antonis Achilleos, Léo Exibard, Adrian Francalanza and Anna Ingolfsdottir
A Monitoring Tool for the Linear-Time μHML

Gianluca Aguzzi, Roberto Casadei and Mirko Viroli
Towards Reinforcement Learning-based Aggregate Computing

Nicola Del Giudice, Lorenzo Matteucci, Michela Quadrini, Aniqa Rehman and Michele Loreti
Sibilla: A Tool for Reasoning about Collective Systems

Roberto Casadei, Stefano Mariani, Danilo Pianini, Mirko Viroli and Franco Zambonelli
Space-fluid Adaptive Sampling: a Field-based, Self-organising Approach

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti and Florian Rademacher
Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs

DAIS accepted papers

Sadok Ben Toumia, Christian Berger and Hans P. Reiser
Evaluating Blockchain Application Requirements and their Satisfaction in Hyperledger Fabric [Practical Experience Report]

Viktória Fördős and Alexandre Jorge Barbosa Rodrigues
Lesser Evil: Embracing Failure to Protect Overall System Availability

Rodrigo Canek, Chantal Taconet and Pedro Borges
Analysis of the impact of IoT protocols and interaction patterns on energy consumption for IoT consumer applications

Thanos Giannakopoulos and Vana Kalogeraki
An Elastic and Scalable Topic-based Pub/Sub System using Deep Reinforcement Learning

Tianze Wang, Amir H. Payberah, Desta Haileselassie Hagos and Vladimir Vlassov
Accelerate Model Parallel Deep Learning Training Using Effective Graph Traversal Order in Device Placement

Rhauani Fazul and Patrícia Pitthan
The HDFS Replica Placement Policies: a comparative experimental investigation

Arian Baloochestani, Leander Jehl and Hein Meling
Rebop: Reputation-based Incentives in Committee-based Blockchains

Emanuel Onica and Ciprian Amariei
Using SGX for Meta-Transactions Support in Ethereum DApps [Work-in-Progress Paper]

Jämes Ménétrey, Christian Göttel, Anum Khurshid, Marcelo Pasin, Pascal Felber, Valerio Schiavoni and Shahid Raza
Attestation Mechanisms for Trusted Execution Environments Demystified

Pasquale De Rosa and Valerio Schiavoni
Understanding Cryptocoins Trends Correlations [Work-in-Progress Paper]

Jacopo Soldani, Stefano Forti and Antonio Brogi
Failure Root Cause Analysis for Microservices, Explained

FORTE accepted papers

Tobias Runge, Alex Potanin, Thomas Thüm and Ina Schaefer
Traits: Correctness-by-Construction for Free

Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina and Shoji Yuen
The Reversible Temporal Process Language

Kirstin Peters, Uwe Nestmann and Christoph Wagner
Fault-Tolerant Multiparty Session Types

Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe and Tim Willemse
Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies using mCRL2

Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz and Adrien Pommellet
Effective Reductions of Mealy Machines

Bineet Ghosh and Étienne André
Monitoring of scattered uncertain logs using uncertain linear dynamical systems

Anna Schmitt, Kirstin Peters and Yuxin Deng
Encodability Criteria for Quantum Based Systems

Benedikt Bollig, Alain Finkel and Amrita Suresh
Branch-Well-Structured Transition Systems and Extensions

Yann Thierry-Mieg, Emmanuel Paviot-Adet, Etienne Renault and Denis Poitrenaud
LTL under reductions with weaker conditions than stutter-invariance

Elli Anastasiadi, Luca Aceto, Antonis Achilleos and Adrian Francalanza
Monitoring Hyperproperties with Circuits [Short Paper]

Rajesh Kumar, Rohan Kela, Siddhant Singh and Bhavesh Narra
Co-engineering safety-security using statistical model checking [Journal - First]

German Vidal
Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives