| 2026 | Validating Formal Specifications with LLM-Generated Test Cases. | Alcino Cunha, Nuno Macedo |
| 2026 | Verifiably UX Compliant and User-Intent Layout Generation (Extended Abstract). | Joana Coutinho, Alexandre Lemos, Pedro Resende |
| 2026 | Performance Heuristics for GR(1) Unrealizable Core Computation. | Shachaf Cohen, Shahar Maoz |
| 2026 | A General Framework for Robust Quantitative Semantics of Signal Temporal Logic. | Jiawei Chen, Jos Luiz Vargas de Mendona, Konstantinos Mamouras, Jean-Baptiste Jeannin |
| 2026 | SAPSE-Synergy: Balancing Formal Soundness and Empirical Coverage in Neural Theorem Proving. | Minrui Chen, Huidong Jiang, Hiroto Saigo |
| 2026 | ModelWisdom: An Integrated Toolkit for TLA | Zhiyong Chen, Jialun Cao, Chang Xu, Shing-Chi Cheung |
| 2026 | Quantitative Monitoring of Signal First-Order Logic. | Marek Chalupa, Thomas A. Henzinger, N. Ege Sara, Emily Yu |
| 2026 | Differential Verification of Information Flow in SEAndroid Policies. | Lorenzo Ceragioli, Letterio Galletta, Edoardo Lunati |
| 2026 | A Refined Ordering Consistency Theory: Full Sequential Consistency and Generalized Preventive Reasoning. | Zhiheng Cai, Zhihang Sun, Fei He |
| 2026 | SAT-Based Syndrome Decoding and Low-Weight Codewords. | Carl Berton, Sami Cherif, Claire Delaplace |
| 2026 | SeaCoral: A Collaborative Test Generation Toolset for Industrial Orchestration of Testing Tools. | Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet |
| 2026 | BDD-Based Deadlock Avoidance for Automated Guided Vehicles in Warehouse Logistics (Case Study Paper). | Benjamin von Berg, Bernhard K. Aichernig, Fabian Wedenik |
| 2026 | Asynchronous Team Automata. | Davide Basile, Maurice H. ter Beek, Jos Proena |
| 2026 | Towards Proving Liveness on Weak Memory. | Lara Bargmann, Heike Wehrheim |
| 2026 | Distributed Runtime Verification in Proximity-Based Networks: A Tutorial on the Aggregate Programming Approach. | Giorgio Audrito, Ferruccio Damiani, Giordano Scarso, Volker Stolz, Gianluca Torta |
| 2026 | Towards Privacy-Preserving Verification. | Timos Antonopoulos, Ning Luo, Ruzica Piskac |
| 2026 | Towards Formally Verified Smart Contracts Compilation. | Elvira Albert, Samir Genaim, Enrique Martin-Martin |
| 2026 | Formal Reasoning About Confidence and Automated Verification of Neural Networks. | Mohammad Afzal, S. Akshay, Blaise Genest, Ashutosh Gupta |
| 2024 | Tolerance of Reinforcement Learning Controllers Against Deviations in Cyber Physical Systems. | Changjian Zhang, Parv Kapoor, Rmulo Meira-Ges, David Garlan, Eunsuk Kang, Akila Ganlath, Shatadal Mishra, Nejib Ammar |
| 2024 | Certified Quantization Strategy Synthesis for Neural Networks. | Yedi Zhang, Guangke Chen, Fu Song, Jun Sun, Jin Song Dong |
| 2024 | CauMon: An Informative Online Monitor for Signal Temporal Logic. | Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo |
| 2024 | Partially Observable Stochastic Games with Neural Perception Mechanisms. | Rui Yan, Gabriel Santos, Gethin Norman, David Parker, Marta Kwiatkowska |
| 2024 | Combining Classical and Probabilistic Independence Reasoning to Verify the Security of Oblivious Algorithms. | Pengbo Yan, Toby Murray, Olga Ohrimenko, Van-Thuan Pham, Robert Sison |
| 2024 | Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets. | Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan |
| 2024 | On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains. | Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan |