Full Text Documents

Chargement de la page

Search

Chargement de la page

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