Coordination accepted papers

Long regular papers

A Formal MDE Framework for Inter-DSL Collaboration
Salim Chehida, Akram Idani, Mario Cortes-Cornax and German Vega

Legal Contracts amending with Stipula
Cosimo Laneve, Alessandro Parenti and Giovanni Sartor

MacroSwarm: a Field-based Compositional Framework for Swarm Programming
Gianluca Aguzzi, Roberto Casadei and Mirko Viroli

Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Gianluca Torta and Mirko Viroli

Reasoning about Choreographic Programs
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi and Marco Peressotti

Rollback Recovery in Session-based Programming
Claudio Antares Mezzina, Francesco Tiezzi and Nobuko Yoshida

Safe asynchronous mixed-choice for timed interactions
Jonah Pears, Laura Bocchi and Andy King

Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing
Salman Farhat, Simon Bliudze, Laurence Duchien and Olga Kouchnarenko

Long tool papers

JoT: A Jolie Framework for Testing Microservices
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher and Narongrit Unwerawattana

ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala
Davide Domini, Filippo Cavallari, Gianluca Aguzzi and Mirko Viroli

Shelley: a framework for model checking call ordering on hierarchical systems
Carlos Mão de Ferro, Tiago Cogumbreiro and Francisco Martins

STARK: A Software Tool for the Analysis of Robustness in the unKnown environment
Valentina Castiglioni, Michele Loreti and Simone Tini

Short tool papers

Caos: A Reusable Scala Web Animator of Operational Semantics
José Proença and Luc Edixhoven

RSC to the ReSCu: Automated Verification of Systems of Communicating Automata
Loïc Desgeorges and Loïc Germerie Guizouarn

DAIS accepted papers

Community-based gossip algorithm for distributed averaging
Christel Sirocchi and Alessandro Bogliolo

EdgeEmu - Emulator for Android Edge Devices
Lyla Naghipour Vijouyeh, Rodrigo Bruno, and Paulo Ferreira

Runtime load-shifting of distributed controllers across networked devices
Angelo Filaseta and Danilo Pianini

Studying the workload of a fully decentralized Web3 system: IPFS
Pedro Ákos Costa, João Leitão, and Yiannis Psaras

TADA: A Toolkit for Approximate Distributed Agreement
Eduardo Conceição, Ana Nunes Alonso, Rui Oliveira, and José Pereira

The Impact of Importance-aware Dataset Partitioning on Data-parallel Training of Deep Neural Networks
Sina Sheikholeslami, Amir H. Payberah, Tianze Wang, Jim Dowling, and Vladimir Vlassov

Transactional Causal Consistent Microservices Simulator
Pedro Pereira and António Rito Silva

FORTE accepted papers

A Survey of Tools for Grading Concurrent Programming Exercises
Manuel Barros, Maria Ramos, Alexandre Gomes, Alcino Cunha, Jose Pereira and Paulo Sérgio Almeida

Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems
Andrea Esposito, Alessandro Aldini and Marco Bernardo

Certified Compilation of Choreographies with hacc (short)
Luís Cruz-Filipe, Lovro Lugović and Fabrizio Montesi

Efficient dynamic model based testing using greedy test case selection
Flip van Spaendonck

Implementing a CTL Model Checker with mG, a Language for Programming Graph Neural Networks
Matteo Belenchia, Flavio Corradini, Michela Quadrini and Michele Loreti

Impact Analysis of Coordinated Cyber-physical Attacks via Statistical Model Checking: A Case Study
Ruggero Lanotte, Massimo Merro and Nicola Zannone

Minimal Generating Sets for Semiflows
Gerard Memmi

On Bisimilarity for Polyhedral Models and SLCS
Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink and Erik P. de Vink

On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems
Susmoy Das and Arpit Sharma

Operations on Timed Scenarios
Neda Saeedloei and Feliks Kluzniak

Relating Reversible Petri Nets and Reversible Event Structures, categorically
Hernán Melgratti, Claudio Antares Mezzina and G. Michele Pinna

Towards an Automatic Proof of the Bakery Algorithm (short)
Aman Goel, Stephan Merz and Karem Sakallah

With a little help from your friends: semi-cooperative games via Joker moves
Petra van den Bos and Marielle Stoelinga