| 2026 | Verifying Sampling Algorithms via Distributional Invariants. | Daniel Zilken, Kevin Batz, Joost-Pieter Katoen, Tobias Winkler |
| 2026 | Towards Language Model Guided TLA | Yuhao Zhou, Stavros Tripakis |
| 2026 | A Formal Framework for Predicting Distributed System Performance Under Faults. | Ziwei Zhou, Si Liu, Zhou Zhou, Peixin Wang, Min Zhang |
| 2026 | Formal Verification of Functional Correctness for the OpenHarmony LiteOS-M Kernel. | Tianqi Zhao, Qinxiang Cao, Shenghua Feng, Minghui Zhou, Naijun Zhan, Yongzhi Cao, Junfeng Zhao, Haiyan Zhao, Hao Wang, Zhenjiang Hu |
| 2026 | Correct-by-Construction Dynamic Reachability: A Galois-Connected Approach to Bidirected Dyck Languages. | Xiaofei Zhao |
| 2026 | ConFixer: Robustness Semantics Based Configuration Bug Fixing for Automated Driving Systems. | Xiaodong Zhang, Songyang Yan, Zijiang Yang |
| 2026 | FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines. | Xindi Zhang, Furong Ye, Zhihan Chen, Shaowei Cai |
| 2026 | Selective Concolic Testing. | Guofeng Zhang, Zhenbang Chen, Ziqi Shuai, Jun Sun, Weijiang Hong, Yufeng Zhang, Ji Wang, Yang Liu |
| 2026 | Test Coverage of Automated Robotic Systems in Open World Environments. | Lukas Westhofen, Till Schallau, Dominik Schmid, Stefan Naujokat, Falk Howar, Daniel Neider |
| 2026 | Active Automata Learning with Noisy Data: From Big to Small Data. | Felix Wallner, Bernhard K. Aichernig, Benjamin von Berg, Maximilian Rindler |
| 2026 | Probabilistic Model Checking Taken by Storm - A Tutorial on the Probabilistic Model Checker Storm. | Matthias Volk, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann |
| 2026 | Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking. | Radu Florin Tulcan, Rose Bohrer, Yov Montacute, Kevin Zhou, Yusuke Kawamoto, Ichiro Hasuo |
| 2026 | Generating Rely-Guarantee Conditions with the Conditional-Writes Domain. | James Tobler, Graeme Smith |
| 2026 | Mixed Flow-Sensitive Static Analysis: Engineering Modularity. | Helmut Seidl, Vesal Vojdani, Julian Erhard, Michael Schwarz |
| 2026 | Highly Incremental: A Simple Programmatic Approach for Many Objectives. | Philipp Schrer, Joost-Pieter Katoen |
| 2026 | Maximum Realizability for LTL Modulo Theories. | Andoni Rodrguez, Csar Snchez |
| 2026 | The SLEEC Framework for Normative Requirements Engineering. | Pedro Ribeiro, Radu Calinescu, Ana Cavalcanti, Marsha Chechik, Sinem Getir Yaman, Lina Marsso, Isobel Standen, Beverley A. Townsend |
| 2026 | Mining Verdict Boundaries for Neural Network Verification. | Jiawei Ren, Guanqin Zhang, Zhenya Zhang, Yulei Sui |
| 2026 | Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification. | Niuniu Qi, Hanrui Zhao, Zhengfeng Yang, Xia Zeng, Mengxin Ren, Chao Peng, Zhiming Liu |
| 2026 | A Framework for the Interoperable Specification and Verification of Encapsulated Data Structures. | Wolfram Pfeifer, Werner Dietl, Mattias Ulbrich |
| 2026 | Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness (Long Tool Paper). | Aron Ricardo Perez-Lopez, Po-Chun Chien, Florian Lonsing, Samantha Archer, Ahmed Irfan, Clark W. Barrett |
| 2026 | Specializing Anti-unification for Interaction Models Composition via Gate Connections. | Joel Nguetoum, Boutheina Bannour, Pascale Le Gall, Erwan Mahe |
| 2026 | Efficient Multi-level Mine Dewatering Using Uppaal Stratego. | Muhammad Naeem, Cristina Seceleanu, Alf J. Isaksson, Tiberiu Seceleanu |
| 2026 | Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial. | Anastasia Mavridou, Andreas Katis, Mari A. Aoki, Marie Farrell |
| 2026 | From Execution to Necessity: Proof-Based Metrics for Code Coverage (Short Paper). | Karl Mattsson, Peter Backeman |