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
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
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