FORTE

Keyphrases

Publications

2024

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

volume 14678, 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 FORTE 14678 (2024)

2023

volume 13910, 2023

Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings FORTE 13910 (2023)

2022

volume 13273, 2022

Formal Techniques for Distributed Objects, Components, and Systems - 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings FORTE 13273 (2022)

2021

volume 12719, 2021

Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings FORTE 12719 (2021)