![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
44th FORTE 2024: Groningen, The Netherlands
- Valentina Castiglioni
, Adrian Francalanza
:
Formal Techniques for Distributed Objects, Components, and Systems - 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings. Lecture Notes in Computer Science 14678, Springer 2024, ISBN 978-3-031-62644-9
Full Papers
- Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight
, Frank Valencia:
A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases. 3-19 - Nick Bezhanishvili
, Vincenzo Ciancia
, David Gabelaia
, Mamuka Jibladze
, Diego Latella
, Mieke Massink
, Erik P. de Vink
:
Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη. 20-38 - Andrea Esposito, Alessandro Aldini, Marco Bernardo:
Noninterference Analysis of Reversible Probabilistic Systems. 39-59 - Christopher A. Esterhuyse
, Tim Müller
, L. Thomas van Binsbergen
:
JustAct: Actions Universally Justified by Partial Dynamic Policies. 60-81 - Julien Grange
, Mathieu Lehaut
:
Synthesis for Prefix First-Order Logic on Data Words. 82-98 - Matthew Alan Le Brun
, Ornela Dardha
:
MAGπ!: The Role of Replication in Typing Failure-Prone Communication. 99-117 - Sergueï Lenglet, Alan Schmitt:
Leaf-First Zipper Semantics. 118-135 - Neda Saeedloei, Feliks Kluzniak:
Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios. 136-154 - Weili Wang, Jianyu Niu, Michael K. Reiter, Yinqian Zhang:
Formally Verifying a Rollback-Prevention Protocol for TEEs. 155-173
Full Papers with Artefact
- Tom Rousseaux
, Christophe Crochet
, John O. R. Aoga, Axel Legay
:
Network Simulator-Centric Compositional Testing. 177-196 - Ennio Visconti
, Ezio Bartocci
, Yliès Falcone
, Laura Nenzi
:
Adaptable Configuration of Decentralized Monitors. 197-217
Short Papers
- Tom T. P. Franken
, Thomas Neele
:
AuDaLa is Turing Complete. 221-229 - Rong Gu
, Zahra Moezkarimi
, Marjan Sirjani
:
Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems. 230-238
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.