Photo by Robin Mathlener on Unsplash

Accepted papers

COORDINATION

Sourabh Pal, Ivan Lanese and Massimo Clo. Choreographic Automata: A Case Study in Healthcare Management.
Marco Carbone and Adele Veschetti. A Probabilistic Choreography Language for PRISM.
Benjamin Bogø, Andrea Burattin and Alceste Scalas. Encoding Petri Nets into CCS.
Davide Domini, Gianluca Aguzzi, Mirko Viroli and Lukas Esterle. Field-based Coordination for Federated Learning.
Christian Bartolo Burlò, Adrian Francalanza, Emilio Tuosto and Alceste Scalas. COTS: Connected OpenAPI Test Synthesis for RESTful Applications.
Davide Basile. Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal.
Muhammad Rizwan Ali, Yngve Lamo and Violet Ka I Pun. Simulation-based Decision Support for Cross-Organisational Workflows: A Case Study of Emergency Handling.
Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso and Gianluca Torta. An Enhanced Exchange Operator for XC.

Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Tirore, Martin Vassor, Nobuko Yoshida and Daniel Zackon. The Concurrent Calculi Formalisation Benchmark.

Maurice ter Beek, Rolf Hennicker and José Proença. Team Automata: Overview and Roadmap.

Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin and Gianluigi Zavattaro. An OpenWhisk Extension for Topology-aware Allocation Priority Policies.
Arwa Hameed Alsubhi and Ornela Dardha. Coconut: Typestates for Embedded Systems.
Joao Afonso, Elvis Gerardin Konjoh Selabi, Maurizio Murgia, Antonio Ravara and Emilio Tuosto. TRAC: a tool for data-aware coordination (with an application to smart contracts).
Gianluca Aguzzi, Roberto Casadei, Matteo Cerioni and Mirko Viroli. ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design.
Nicola Del Giudice, Federico Maria Cruciani and Michele Loreti. Visualisation of Collective Systems with Sequit and Sibilla.
Adrian Francalanza, Frank Pfenning and Gerard Tabone. Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (SAX).
Carlos Gustavo Lopez Pombo, Pablo Montepagano and Emilio Tuosto. SEArch: an execution infrastructure for service-based software systems.

Rémy Raes, Olivier Ruas, Adrien Luxey and Romain Rouvoy. Compact Storage of Data Streams in Mobile Devices.
Enrico Tedeschi, Øyvind Nohr, Håvard Dafenborg and Dag Johansen. Mining Profitability in Bitcoin: Calculations of User-Miner Equilibria and Cost of Mining.
Claudia-Lavinia Ignat, Victorien Elvinger and Habibatou Ba. A CRDT for Replicated Relational Databases with Integrity Constraints.
Luís Alves and Luís Veiga. Stream Economics: Resource Efficiency in Streams with Task Over-Allocation and Load Shedding.

Amir Javadpour, Forough Ja’Fari and Tarik Taleb. Encryption as a Service: A Review of Architectures and Taxonomies.

Mário S. Alvim, Sophia Knight, Artur Gaspar Silva and Frank Valencia. A Multi-Agent Model for Opinion Evolution under Cognitive Biases.
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink and Erik De Vink. Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη.
Andrea Esposito, Alessandro Aldini and Marco Bernardo. Noninterference Analysis of Reversible Probabilistic Systems.
Christopher Esterhuyse, Tim Müller and L. Thomas van Binsbergen. JustAct: Actions Universally Justified by Partial Dynamic Policies.
Julien Grange and Mathieu Lehaut. Synthesis for prefix first-order logic on data words.
Matthew Alan Le Brun and Ornela Dardha. MAGπ!: The Role of Replication in Typing Failure-Prone Communication.
Sergueï Lenglet and Alan Schmitt. Leaf-First Zipper Semantics.
Tom Rousseaux, Christophe Crochet, John Aoga and Axel Legay. Network Simulator-centric Compositional Testing.
Neda Saeedloei and Feliks Kluzniak. Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimized Timed Scenarios.
Ennio Visconti, Ezio Bartocci, Yliès Falcone and Laura Nenzi. Adaptable configuration of decentralized monitors.
Weili Wang, Jianyu Niu, Michael Reiter and Yinqian Zhang. Formally Verifying a Rollback-Prevention Protocol for TEEs.

Tom T.P. Franken and Thomas Neele. AuDaLa is Turing Complete.
Rong Gu, Zahra Moezkarimi and Marjan Sirjani. Guess and then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems.