| 2025 | Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems. | Marco Comini, Luca Gemolotto, Marino Miculan |
| 2025 | SNexpression: A New Component for SN Matrix-Based Structural Analysis. | Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis |
| 2025 | Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems. | Hugo Arajo, Mohammad Reza Mousavi, Shiva Nejati |
| 2025 | Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm. | Karine Altisen, Marius Bozga |
| 2024 | Formally Verifying a Rollback-Prevention Protocol for TEEs. | Weili Wang, Jianyu Niu, Michael K. Reiter, Yinqian Zhang |
| 2024 | Adaptable Configuration of Decentralized Monitors. | Ennio Visconti, Ezio Bartocci, Ylis Falcone, Laura Nenzi |
| 2024 | Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised Timed Scenarios. | Neda Saeedloei, Feliks Kluzniak |
| 2024 | Network Simulator-Centric Compositional Testing. | Tom Rousseaux, Christophe Crochet, John O. R. Aoga, Axel Legay |
| 2024 | Leaf-First Zipper Semantics. | Sergue Lenglet, Alan Schmitt |
| 2024 | Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems. | Rong Gu, Zahra Moezkarimi, Marjan Sirjani |
| 2024 | Synthesis for Prefix First-Order Logic on Data Words. | Julien Grange, Mathieu Lehaut |
| 2024 | AuDaLa is Turing Complete. | Tom T. P. Franken, Thomas Neele |
| 2024 | JustAct: Actions Universally Justified by Partial Dynamic Policies. | Christopher A. Esterhuyse, Tim Mller, L. Thomas van Binsbergen |
| 2024 | Noninterference Analysis of Reversible Probabilistic Systems. | Andrea Esposito, Alessandro Aldini, Marco Bernardo |
| 2024 | MAGπ!: The Role of Replication in Typing Failure-Prone Communication. | Matthew Alan Le Brun, Ornela Dardha |
| 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 |
| 2024 | A Multi-agent Model for Opinion Evolution in Social Networks Under Cognitive Biases. | Mrio S. Alvim, Artur Gaspar da Silva, Sophia Knight, Frank Valencia |
| 2023 | Efficient Dynamic Model Based Testing - Using Greedy Test Case Selection. | P. H. M. van Spaendonck |
| 2023 | Operations on Timed Scenarios. | Neda Saeedloei, Feliks Kluzniak |
| 2023 | Minimal Generating Sets for Semiflows. | Grard Memmi |
| 2023 | Relating Reversible Petri Nets and Reversible Event Structures, Categorically. | Hernn C. Melgratti, Claudio Antares Mezzina, G. Michele Pinna |
| 2023 | Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study. | Ruggero Lanotte, Massimo Merro, Nicola Zannone |
| 2023 | Towards an Automatic Proof of the Bakery Algorithm. | Aman Goel, Stephan Merz, Karem A. Sakallah |
| 2023 | Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. | Andrea Esposito, Alessandro Aldini, Marco Bernardo |
| 2023 | On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems. | Susmoy Das, Arpit Sharma |