| 2024 | LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction. | Yuxiang Shang, Shaoying Liu |
| 2024 | On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. | Peter Rivire, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine At Ameur, Guillaume Dupont |
| 2024 | Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. | Chen-Kai Lin, Bow-Yaw Wang |
| 2024 | Repairing Event-B Models Through Quantifier Elimination. | Tsutomu Kobayashi, Fuyuki Ishikawa |
| 2024 | Efficient State Estimation of Discrete-Timed Automata. | Julian Klein, Paul Kogel, Sabine Glesner |
| 2024 | MemSpate: Memory Usage Protocol Guided Fuzzing. | Zhiyuan Fu, Jiacheng Jiang, Cheng Wen, Zhiwu Xu, Shengchao Qin |
| 2024 | Quantitative Symbolic Robustness Verification for Quantized Neural Networks. | Mara Downing, William Eiers, Erin DeLong, Anushka Lodha, Brian Ozawa Burns, Ismet Burak Kadron, Tevfik Bultan |
| 2024 | The Continuum Hypothesis Implies the Existence of Non-principal Arithmetical Ultrafilters - A Coq Formal Verification. | Guowei Dou, Si Chen, Wensheng Yu, Ru Zhang |
| 2024 | A Tableau-Based Approach to Model Checking Linear Temporal Properties. | Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata |
| 2024 | Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. | David Doose, Julien Brunel |
| 2024 | Deciding the Synthesis Problem for Hybrid Games Through Bisimulation. | Catalin Dima, Mariem Hammami, Youssouf Oualhadj, Rgine Laleau |
| 2024 | Formalizing Potential Flows Using the HOL Light Theorem Prover. | Elif Deniz, Sofine Tahar |
| 2024 | Differential Property Monitoring for Backdoor Detection. | Otto Brechelmacher, Dejan Nickovic, Tobias Nieen, Sarah Sallinger, Georg Weissenbacher |
| 2024 | Efficient SMT-Based Model Checking for HyperTWTL. | Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
| 2024 | Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. | Dongdong An, Hao Zhang, Qin Zhao, Jing Liu, Jianqi Shi, Yanhong Huang, Yang Yang, Xu Liu, Shengchao Qin |
| 2024 | The Bright Side of Timed Opacity. | tienne Andr, Sarah Dpernet, Engel Lefaucheux |
| 2024 | Tuning Trains Speed in Railway Scheduling. | tienne Andr |
| 2024 | Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. | Kubra Aksoy, Adnan Rashid, Sofine Tahar |
| 2023 | Eager to Stop: Efficient Falsification of Deep Neural Networks. | Guanqin Zhang |
| 2023 | IoT Software Vulnerability Detection Techniques through Large Language Model. | Yilin Yang |
| 2023 | Branch and Bound for Sigmoid-Like Neural Network Verification. | Xiaoyong Xue, Meng Sun |
| 2023 | Unified Verification of Neural Networks' Robustness and Privacy in Computer Vision. | Feng Xu |
| 2023 | Certifying Sequential Consistency of Machine Learning Accelerators. | Huan Wu, Fei Xie, Zhenkun Yang |
| 2023 | Validation-Driven Development. | Sebastian Stock, Atif Mashkoor, Alexander Egyed |
| 2023 | Early and Systematic Validation of Formal Models. | Sebastian Stock |