| 2024 | A Tableau-Based Approach to Model Checking Linear Temporal Properties. Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata |
| 2024 | Clock-Dependent Probabilistic Timed Automata with One Clock and No Memory. Jeremy Sproston |
| 2024 | Deciding the Synthesis Problem for Hybrid Games Through Bisimulation. Catalin Dima, Mariem Hammami, Youssouf Oualhadj, Régine Laleau |
| 2024 | Differential Property Monitoring for Backdoor Detection. Otto Brechelmacher, Dejan Nickovic, Tobias Nießen, Sarah Sallinger, Georg Weissenbacher |
| 2024 | Efficient SMT-Based Model Checking for HyperTWTL. Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
| 2024 | Efficient State Estimation of Discrete-Timed Automata. Julian Klein, Paul Kogel, Sabine Glesner |
| 2024 | Formal Analysis of FreeRTOS Scheduler on ARM Cortex-M4 Cores. Chen-Kai Lin, Bow-Yaw Wang |
| 2024 | Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. Kubra Aksoy, Adnan Rashid, Sofiène Tahar |
| 2024 | Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings Kazuhiro Ogata, Dominique Méry, Meng Sun, Shaoying Liu |
| 2024 | Formalizing Potential Flows Using the HOL Light Theorem Prover. Elif Deniz, Sofiène Tahar |
| 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 | LRNN: A Formal Logic Rules-Based Neural Network for Software Defect Prediction. Yuxiang Shang, Shaoying Liu |
| 2024 | MemSpate: Memory Usage Protocol Guided Fuzzing. Zhiyuan Fu, Jiacheng Jiang, Cheng Wen, Zhiwu Xu, Shengchao Qin |
| 2024 | Model Checking Concurrency in Smart Contracts with a Case Study of Safe Remote Purchase. Yisong Yu, Naipeng Dong, Zhe Hou, Jin Song Dong |
| 2024 | NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. Mengyan Zhao, Ran Tao, Yanhong Huang, Jianqi Shi, Shengchao Qin, Yang Yang |
| 2024 | Observability of Boolean Control Networks: New Definition and Verification Algorithm. Guisen Wu, Zhiming Liu, Jun Pang |
| 2024 | On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. Peter Rivière, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont |
| 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 | Repairing Event-B Models Through Quantifier Elimination. Tsutomu Kobayashi, Fuyuki Ishikawa |
| 2024 | Simple LTL Model Checking on Finite and Infinite Traces over Concrete Domains. David Doose, Julien Brunel |
| 2024 | The Bright Side of Timed Opacity. Étienne André, Sarah Dépernet, Engel Lefaucheux |
| 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 | Tuning Trains Speed in Railway Scheduling. Étienne André |