| 2024 | A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases. Mário S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia |
| 2024 | Adaptable Configuration of Decentralized Monitors. Ennio Visconti, Ezio Bartocci, Yliès Falcone, Laura Nenzi |
| 2024 | AuDaLa is Turing Complete. Tom T. P. Franken, Thomas Neele |
| 2024 | 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 Valentina Castiglioni, Adrian Francalanza |
| 2024 | Formally Verifying a Rollback-Prevention Protocol for TEEs. Weili Wang, Jianyu Niu, Michael K. Reiter, Yinqian Zhang |
| 2024 | Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems. Rong Gu, Zahra Moezkarimi, Marjan Sirjani |
| 2024 | JustAct: Actions Universally Justified by Partial Dynamic Policies. Christopher A. Esterhuyse, Tim Müller, L. Thomas van Binsbergen |
| 2024 | Leaf-First Zipper Semantics. Sergueï Lenglet, Alan Schmitt |
| 2024 | MAGπ!: The Role of Replication in Typing Failure-Prone Communication. Matthew Alan Le Brun, Ornela Dardha |
| 2024 | Network Simulator-Centric Compositional Testing. Tom Rousseaux, Christophe Crochet, John O. R. Aoga, Axel Legay |
| 2024 | Noninterference Analysis of Reversible Probabilistic Systems. Andrea Esposito, Alessandro Aldini, Marco Bernardo |
| 2024 | Synthesis for Prefix First-Order Logic on Data Words. Julien Grange, Mathieu Lehaut |
| 2024 | Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios. Neda Saeedloei, Feliks Kluzniak |
| 2024 | Weak Simplicial Bisimilarity for Polyhedral Models and SLCS Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink |