| 2025 | PRoTECT: Parallelized ConstRuction of SafeTy BarriEr Certificates for Nonlinear Polynomial SysTems. | Ben Wooding, Viacheslav Horbanov, Abolfazl Lavaei |
| 2025 | Lean4Less: Eliminating Definitional Equalities from Lean via an Extensional-to-Intensional Translation. | Rishikesh Vaishnav |
| 2025 | A Rely-Guarantee-Based Simulation for Cooperative Semantics. | Kevin Tran, Johannes man Pohjola, Rob Sison, Gerwin Klein |
| 2025 | Graphical Quadratic Algebra. | Dario Stein, Fabio Zanasi, Robin Piedeleu, Richard Samuelson |
| 2025 | AP-Observation Automata for Abstraction-Based Verification of Continuous-Time Systems. | Sasinee Pruekprasert, Clovis Eberhart |
| 2025 | On Asynchronous Multiparty Session Types for Federated Learning. | Ivan Prokic, Simona Prokic, Silvia Ghilezan, Alceste Scalas, Nobuko Yoshida |
| 2025 | Pomsets for Process Management: A Healthcare Case Study. | Sourabh Pal, Roberto Guanciale, Ivan Lanese, Emilio Tuosto, Massimo Clo |
| 2025 | Safe Multi-agent Reinforcement Learning Using Formal Runtime Enforcement: A Case Study. | Vedanta Mohapatra, Ayush Anand, Srinivas Pinisetty |
| 2025 | Iteratively Synthesizing ε-Robust Barrier Certificates for Neural Network Controlled Systems. | Yi Luo, Xin Chen, Jin Dai, Enyi Tang, Xuandong Li |
| 2025 | Timed Monitoring and Timed Monitorability. | Kim Guldstrand Larsen |
| 2025 | Efficient AND Protocols Resistant to Maliciously Revealing a Single Card. | Koichi Koizumi, Minato Abe, Eikoh Chida, Takaaki Mizuki |
| 2025 | Facing Uncertainty in AI: From Formal Verification To Synthesis. | Joost-Pieter Katoen |
| 2025 | Multi-perspective Correctness of Programs. | Eduard Kamburjan, Dilian Gurov |
| 2025 | Active Learning of Symbolic Mealy Automata. | Kengo Irie, Masaki Waga, Kohei Suenaga |
| 2025 | Fuzz Testing with Temporal Constraints. | Klaus Havelund, Tracy Clark, Vivek Reddy |
| 2025 | Set Invariance for Assume-Guarantee Contracts in Cyber-Physical Systems Design - - Extended Abstract -. | Antoine Girard |
| 2025 | Weighted Automata for Exact Inference in Discrete Probabilistic Programs. | Dominik Geiler, Tobias Winkler |
| 2025 | Efficient Interpolation Beyond Cut-Free Proofs: Admissible Cuts and Optimized Extraction. | Simon Corbard, Anela Lolic |
| 2025 | From Program Logics Towards Language Logics. | Matteo Cimini |
| 2025 | Forward and Backward Simulations for Partially Observable Probability. | Chris Chen, Annabelle McIver, Carroll Morgan |
| 2025 | On Computational Aspects of Ordered Matching Problems. | Michal Certk, Andreas Emil Feldmann, Jaroslav Nesetril, Pawel Rzazewski |
| 2025 | Explicit Model Checking Engine for Reachability Analysis of Colored Petri Nets. | Emil Normann Brandt, Jens Emil Fink Hjriis, Kira Sthr Pedersen, Jir Srba |
| 2025 | Compositional Interface Refinement Through Subtyping in Probabilistic Session Types. | Paula Blechschmidt, Kirstin Peters, Uwe Nestmann |
| 2025 | Domain Analysis and Description: A Tutorial. | Dines Bjrner |
| 2025 | Ulam's Metric in Higher Dimensions. | Sebastian Bala, Andrzej Kozik |