| 2020 | Formally Verified Trades in Financial Markets. | Suneel Sarswat, Abhishek Kr Singh |
| 2020 | Formal Foundations for Intel SGX Data Center Attestation Primitives. | Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer |
| 2020 | VARF: Verifying and Analyzing Robustness of Random Forests. | Chaoqun Nie, Jianqi Shi, Yanhong Huang |
| 2020 | Type-Based Declassification for Free. | Minh Ngo, David A. Naumann, Tamara Rezk |
| 2020 | Learning Fault Models of Cyber Physical Systems. | Teck Ping Khoo, Jun Sun, Sudipta Chattopadhyay |
| 2020 | Verification of Programs with Pointers in SPARK. | Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich |
| 2020 | Reasoning with Failures. | Hamid Jahanian, Annabelle McIver |
| 2020 | Robustness and Failure Detection in Epistemic Gossip Protocols. | Kosei Fujishiro, Koji Hasebe |
| 2020 | A Reversible Operational Semantics for Imperative Programming Languages. | Maribel Fernndez, Ian Mackie |
| 2020 | Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. | Guillaume Dupont, Yamine At Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel |
| 2020 | Four-Valued Monitorability of mega-Regular Languages. | Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu |
| 2020 | Formalizing the Transaction Flow Process of Hyperledger Fabric. | Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan |
| 2020 | Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq. | Hao Bu, Meng Sun |
| 2020 | Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances. | Yunjun Bai, Kaushik Mallik |
| 2020 | Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. | Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Marille Stoelinga |
| 2019 | A Relational Static Semantics for Call Graph Construction. | Xilong Zhuo, Chenyi Zhang |
| 2019 | Design of Point-and-Click User Interfaces for Proof Assistants. | Bohua Zhan, Zhenyan Ji, Wenfan Zhou, Chaozhu Xiang, Jie Hou, Wenhui Sun |
| 2019 | SMTBCF: Efficient Backbone Computing for SMT Formulas. | Yueling Zhang, Geguang Pu, Min Zhang |
| 2019 | Certifying Hardware Model Checking Results. | Zhengqi Yu, Armin Biere, Keijo Heljanko |
| 2019 | An Axiomatisation of the Probabilistic \mu -Calculus. | Junnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang |
| 2019 | PDNet: A Programming Language for Software-Defined Networks with VLAN. | Shuangqing Xiang, Marcello M. Bonsangue, Huibiao Zhu |
| 2019 | Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method. | Allison Sullivan, Darko Marinov, Sarfraz Khurshid |
| 2019 | A First Step in the Translation of Alloy to Coq. | Salwa Souaf, Frdric Loulergue |
| 2019 | Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines. | Klaus-Dieter Schewe |
| 2019 | A Mechanized Theory of Program Refinement. | Boubacar Demba Sall, Frdric Peschanski, Emmanuel Chailloux |