| 2026 | Sound Automatic Lock Placement for Concurrent Programs with Pointers. | Nicolas Waldburger, Florian Faissole, Ryo Okabe, Denis Cousineau |
| 2026 | Automata Learning with an Incomplete but Inductive Teacher. | Daniel Stan, Adrien Pommellet, Juliette Jacquot |
| 2026 | NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic. | Paapa Kwesi Quansah, Ernest Bonnah |
| 2026 | RustMC : Automated Verification of Real-World Concurrent Rust. | Oliver Pearce, Julien Lange, Dan O'Keeffe |
| 2026 | A Jacobi-Based Distributed Clock Synchronization Algorithm for Wide-Area Networks. | Haoran Pang, Wei Zhang, Yanwei Xu |
| 2026 | Binary and Two-Party Asynchronous Subtypings are Equivalent. | Maurizio Murgia |
| 2026 | Deadlock-Free Context-Free Session Types. | Andreia Mordido, Jorge A. Prez |
| 2026 | tptl-dist: A Calculus for Verifying Real-Time Distributed Systems. | Javier Enrquez Mendoza, Sam Speight, Vincent Rahli |
| 2026 | Tarzan: A Region-Based Library for Forward and Backward Reachability of Timed Automata. | Andrea Manini, Matteo G. Rossi, Pierluigi San Pietro |
| 2026 | Harmony in Rocq. | Savan Kan, Sergue Lenglet |
| 2026 | Robustness Against Time Distortions in Stark. | Julian de Jong, Valentina Castiglioni, Simone Tini |
| 2026 | Soundness of Typed Transitions in the Linear π-Calculus. | Adrian Francalanza, Marco Giunti, Antnio Ravara |
| 2026 | Formal Modeling of Beefy, a Protocol for Supporting Light Clients. | Daniel O. Dirdal, Leander Jehl, Bhargav Nagaraj Bhatt, Hein Meling, Nejm Saadallah |
| 2026 | AsmetaComp: A Tool for Runtime Contract Checking with I/O Abstract State Machines. | Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2026 | Control Flow-Based Symmetry Reduction for Parameterised Boolean Equation Systems. | Menno Bartels, Maurice Laveaux, Thomas Neele, Tim A. C. Willemse |
| 2025 | Sequential Composition of BDD Transition Systems for Model-Based Testing. | Tannaz Zameni, Petra van den Bos, Johan Foederer, Arend Rensink |
| 2025 | An Approach to Formalize Information-Theoretic Security of Multiparty Computation Protocols. | Cheng-Hui Weng, Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa |
| 2025 | A Choreographic View of Smart Contracts. | Emilio Tuosto |
| 2025 | Scaling Information Flow Control By-Construction to Component-Based Software Architectures. | Rasmus C. Rnneberg, Tabea Bordis, Christopher Gerking, Asmae Heydari Tabar, Ina Schaefer |
| 2025 | LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests. | Melane Navaratnarajah, Ma'ayan Armony, Sebastian Biewer, Holger Hermanns, Mohammad Reza Mousavi |
| 2025 | Towards Efficient Verification of Parallel Applications with Mc SimGrid. | Mathieu Laurent, Thierry Jron, Martin Quinson |
| 2025 | Assessing Code Understanding in LLMs. | Cosimo Laneve, Alvise Span, Dalila Ressi, Sabina Rossi, Michele Bugliesi |
| 2025 | Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring. | Bineet Ghosh, tienne Andr |
| 2025 | Choreographies for Program Understanding. | Gabriele Genovese, Ivan Lanese, Cinzia Di Giusto, Emilio Tuosto, Germn Vidal |
| 2025 | Noninterference Analysis ofStochastically Timed Reversible Systems. | Andrea Esposito, Alessandro Aldini, Marco Bernardo |