| 2020 | A Reversible Operational Semantics for Imperative Programming Languages. Maribel Fernández, Ian Mackie |
| 2020 | Accurate Abstractions for Controller Synthesis with Non-uniform Disturbances. Yunjun Bai, Kaushik Mallik |
| 2020 | Algebraic Approach for Confidence Evaluation of Assurance Cases. Yoriyuki Yamagata, Yutaka Matsuno |
| 2020 | Automated Temporal Verification of Integrated Dependent Effects. Yahui Song, Wei-Ngan Chin |
| 2020 | Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. Guillaume Dupont, Yamine Aït Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel |
| 2020 | Formal Foundations for Intel SGX Data Center Attestation Primitives. Muhammad Usama Sardar, Rasha Faqeh, Christof Fetzer |
| 2020 | Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings Shang-Wei Lin, Zhe Hou, Brendan P. Mahony |
| 2020 | Formalising Privacy-Preserving Constraints in Microservices Architecture. Inna Vistbakka, Elena Troubitsyna |
| 2020 | Formalizing the Transaction Flow Process of Hyperledger Fabric. Xiangyu Chen, Ximeng Li, Qianying Zhang, Zhiping Shi, Yong Guan |
| 2020 | Formally Verified Trades in Financial Markets. Suneel Sarswat, Abhishek Kr Singh |
| 2020 | Four-Valued Monitorability of ømega-Regular Languages. Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu |
| 2020 | Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Teofil Sidoruk, Mariëlle Stoelinga |
| 2020 | Learning Fault Models of Cyber Physical Systems. Teck Ping Khoo, Jun Sun, Sudipta Chattopadhyay |
| 2020 | PAC Learning of Deterministic One-Clock Timed Automata. Wei Shen, Jie An, Bohua Zhan, Miaomiao Zhang, Bai Xue, Naijun Zhan |
| 2020 | Parallel Chopped Symbolic Execution. Shikhar Singh, Sarfraz Khurshid |
| 2020 | Reasoning with Failures. Hamid Jahanian, Annabelle McIver |
| 2020 | Robustness and Failure Detection in Epistemic Gossip Protocols. Kosei Fujishiro, Koji Hasebe |
| 2020 | Towards Modeling and Verification of the CKB Block Synchronization Protocol in Coq. Hao Bu, Meng Sun |
| 2020 | Type-Based Declassification for Free. Minh Ngo, David A. Naumann, Tamara Rezk |
| 2020 | VARF: Verifying and Analyzing Robustness of Random Forests. Chaoqun Nie, Jianqi Shi, Yanhong Huang |
| 2020 | Verification of Programs with Pointers in SPARK. Georges-Axel Jaloyan, Claire Dross, Maroua Maalej, Yannick Moy, Andrei Paskevich |