Table of Contents
|
Formal Techniques for Distributed Objects, Components, and Systems
Valentina Castiglioni, Adrian Francalanza |
Front Matter |
|
Full Papers
|
A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases
Mário Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia |
3-19 |
Weak Simplicial Bisimilarity for Polyhedral Models and η
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik Vink |
20-38 |
Noninterference Analysis of Reversible Probabilistic Systems
Andrea Esposito, Alessandro Aldini, Marco Bernardo |
39-59 |
JustAct: Actions Universally Justified by Partial Dynamic Policies
Christopher A. Esterhuyse, Tim Müller, L. Binsbergen |
60-81 |
Synthesis for Prefix First-Order Logic on Data Words
Julien Grange, Mathieu Lehaut |
82-98 |
MAGπ!: The Role of Replication in Typing Failure-Prone Communication
Matthew Alan Le Brun, Ornela Dardha |
99-117 |
Leaf-First Zipper Semantics
Sergueï Lenglet, Alan Schmitt |
118-135 |
Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios
Neda Saeedloei, Feliks Kluźniak |
136-154 |
Formally Verifying a Rollback-Prevention Protocol for TEEs
Weili Wang, Jianyu Niu, Michael K. Reiter, Yinqian Zhang |
155-173 |
Full Papers with Artefact
|
Network Simulator-Centric Compositional Testing
Tom Rousseaux, Christophe Crochet, John Aoga, Axel Legay |
177-196 |
Adaptable Configuration of Decentralized Monitors
Ennio Visconti, Ezio Bartocci, Yliès Falcone, Laura Nenzi |
197-217 |
Short Papers
|
AuDaLa is Turing Complete
Tom Franken, Thomas Neele |
221-229 |
Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems
Rong Gu, Zahra Moezkarimi, Marjan Sirjani |
230-238 |
