| 2023 | Guided Integration of Formal Verification in Assurance Cases. | Irfan Sljivo, Ewen Denney, Jonathan Menzies |
| 2023 | Formal Verification of the Burn-to-Claim Blockchain Interoperable Protocol. | Babu Pillai, Zh Hu, Kamanashis Biswas, Vallipuram Muthukkumarasamy |
| 2023 | An Idealist's Approach for Smart Contract Correctness. | Tai D. Nguyen, Long H. Pham, Jun Sun, Quang Loc Le |
| 2023 | Compositional Vulnerability Detection with Insecurity Separation Logic. | Toby Murray, Pengbo Yan, Gidon Ernst |
| 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 | Verifying Neural Networks by Approximating Convex Hulls. | Zhongkui Ma |
| 2023 | Learning Mealy Machines with Local Timers. | Paul Kogel, Verena Kls, Sabine Glesner |
| 2023 | Dynamic Extrapolation in Extended Timed Automata. | Nicolaj . Jensen, Peter Gjl Jensen, Kim G. Larsen |
| 2023 | Verifying Compiler Optimisations - (Invited Paper). | Ian J. Hayes, Mark Utting, Brae J. Webb |
| 2023 | Active Inference of EFSMs Without Reset. | Michael Foster, Roland Groz, Catherine Oriat, Adenilso da Silva Simo, Germn Vega, Neil Walkinshaw |
| 2023 | Trace Models of Concurrent Valuation Algebras. | Nasos Evangelou-Oost, Larissa Meinicke, Callum Bannister, Ian J. Hayes |
| 2023 | Vulnerability Detection via Typestate-Guided Code Representation Learning. | Xiao Cheng |
| 2023 | Proving Local Invariants in ASTDs. | Quelen Cartellier, Marc Frappier, Amel Mammar |
| 2023 | Incremental Property Directed Reachability. | Max Blankestijn, Alfons Laarman |
| 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 |
| 2022 | Machine-Checked Executable Semantics of Stateflow. | Shicheng Yi, Shuling Wang, Bohua Zhan, Naijun Zhan |
| 2022 | Formally Verified Animation for RoboChart Using Interaction Trees. | Kangfeng Ye, Simon Foster, Jim Woodcock |
| 2022 | RoboCert: Property Specification in Robotics. | Matt Windsor, Ana Cavalcanti |
| 2022 | Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages. | Zeming Wei, Xiyue Zhang, Meng Sun |
| 2022 | On Probabilistic Extension of the Interaction Theory. | Hongmeng Wang, Huan Long, Hao Wu, Qizhe Yang |
| 2022 | Model Checking B Models via High-Level Code Generation. | Fabian Vu, Dominik Brandt, Michael Leuschel |
| 2022 | Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis. | Duong Dinh Tran, Canh Minh Do, Santiago Escobar, Kazuhiro Ogata |
| 2022 | Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude. | Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani |
| 2022 | An Algebra of Quantum Programs with the Kleene Star Operator. | Tsubasa Takagi |
| 2022 | Trace Refinement in B and Event-B. | Sebastian Stock, Atif Mashkoor, Michael Leuschel, Alexander Egyed |