| 2023 | A Runtime Verification Framework for Cyber-Physical Systems Based on Data Analytics and LTL Formula Learning. Ayodeji James Akande, Zhe Hou, Ernest Foo, Qinyi Li |
| 2023 | Active Inference of EFSMs Without Reset. Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simão, Germán Vega, Neil Walkinshaw |
| 2023 | An Idealist's Approach for Smart Contract Correctness. Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le |
| 2023 | Branch and Bound for Sigmoid-Like Neural Network Verification. Xiaoyong Xue, Meng Sun |
| 2023 | Certifying Sequential Consistency of Machine Learning Accelerators. Huan Wu, Fei Xie, Zhenkun Yang |
| 2023 | Compositional Vulnerability Detection with Insecurity Separation Logic. Toby Murray, Pengbo Yan, Gidon Ernst |
| 2023 | Dynamic Extrapolation in Extended Timed Automata. Nicolaj Ø. Jensen, Peter Gjøl Jensen, Kim G. Larsen |
| 2023 | Eager to Stop: Efficient Falsification of Deep Neural Networks. Guanqin Zhang |
| 2023 | Early and Systematic Validation of Formal Models. Sebastian Stock |
| 2023 | Formal Methods and Software Engineering - 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings Yi Li, Sofiène Tahar |
| 2023 | Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol. Babu Pillai, Zhé Hóu, Kamanashis Biswas, Vallipuram Muthukkumarasamy |
| 2023 | Formalizing Robustness Against Character-Level Perturbations for Neural Network Language Models. Zhongkui Ma, Xinguo Feng, Zihan Wang, Shuofeng Liu, Mengyao Ma, Hao Guan, Mark Huasong Meng |
| 2023 | Guided Integration of Formal Verification in Assurance Cases. Irfan Sljivo, Ewen Denney, Jonathan Menzies |
| 2023 | Incremental Property Directed Reachability. Max Blankestijn, Alfons Laarman |
| 2023 | IoT Software Vulnerability Detection Techniques through Large Language Model. Yilin Yang |
| 2023 | Learning Mealy Machines with Local Timers. Paul Kogel, Verena Klös, Sabine Glesner |
| 2023 | Proving Local Invariants in ASTDs. Quelen Cartellier, Marc Frappier, Amel Mammar |
| 2023 | Trace Models of Concurrent Valuation Algebras. Nasos Evangelou-Oost, Larissa Meinicke, Callum Bannister, Ian J. Hayes |
| 2023 | Unified Verification of Neural Networks' Robustness and Privacy in Computer Vision. Feng Xu |
| 2023 | Validation-Driven Development. Sebastian Stock, Atif Mashkoor, Alexander Egyed |
| 2023 | Verifying Compiler Optimisations - (Invited Paper). Ian J. Hayes, Mark Utting, Brae J. Webb |
| 2023 | Verifying Neural Networks by Approximating Convex Hulls. Zhongkui Ma |
| 2023 | Vulnerability Detection via Typestate-Guided Code Representation Learning. Xiao Cheng |