| 2022 | Parameter Sensitive Pointer Analysis for Java. | Yulin Bao, Chenyi Zhang, Xilong Zhuo, Yongliang Wang |
| 2022 | Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees. | Jaime Arias, Laure Petrucci, Lukasz Masko, Wojciech Penczek, Teofil Sidoruk |
| 2022 | Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study. | Meryem Afendi, Amel Mammar, Rgine Laleau |
| 2020 | ReoFS: A Read-Efficient and Write-Optimized File System for Persistent Memory. | Yan Yan, Kaixin Huang, Shengan Zheng, Dongliang Xue, Linpeng Huang |
| 2020 | Foggy: A New Anonymous Communication Architecture Based on Microservices. | Hanlin Wei, Guangdong Bai, Zongwei Luo |
| 2020 | IFIX: Fixing Concurrency Bugs While They Are Introduced. | Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen |
| 2020 | A Fault Localization Approach Derived From Testing-based Formal Verification. | Rong Wang, Shaoying Liu, Yuji Sato |
| 2020 | CTL Model Checking of Self Modifying Code. | Tayssir Touili, Xin Ye |
| 2020 | Optimizing Communication Strategies in Contested and Dynamic Environments. | Claudia Szabo, Vanja Radenovic, Gregory Judd, Dustin Craggs, Kin Leong Lee, Xiaoshan Chen, Kevin Chan |
| 2020 | ROS-FM: Fast Monitoring for the Robotic Operating System(ROS). | Sean Rivera, Antonio Ken Iannillo, Sofiane Lagraa, Clment Joly, Radu State |
| 2020 | Formal Verification of Access Control Model for My Health Record System. | Victor Rivera |
| 2020 | Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform Resilient Surveillance of Critical Power Transmission Lines. | Mohammad Ashiqur Rahman, Rahat Masum, Matthew Anderson, Steven L. Drager |
| 2020 | The Burn-to-Claim cross-blockchain asset transfer protocol. | Babu Pillai, Kamanashis Biswas, Zh Hu, Vallipuram Muthukkumarasamy |
| 2020 | Visual counterexample explanation for model checking with OERITTE. | Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin |
| 2020 | An Anytime Algorithm for Large-scale Heterogeneous Task Allocation. | Qinyuan Li, Minyi Li, Bao Quoc Vo, Ryszard Kowalczyk |
| 2020 | Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. | Xuan-Bach Le, David Sann, Jun Sun, Shang-Wei Lin |
| 2020 | DEPOSafe: Demystifying the Fake Deposit Vulnerability in Ethereum Smart Contracts. | Ru Ji, Ningyu He, Lei Wu, Haoyu Wang, Guangdong Bai, Yao Guo |
| 2020 | Deep Learning Application in Broadcast Tennis Video Annotation. | Kan Jiang, Masoumeh Izadi, Zhaoyu Liu, Jin Song Dong |
| 2020 | Gathering GitHub OSS Requirements from Q&A Community: an Empirical Study. | Hao Huang, Yao Lu, Xinjun Mao |
| 2020 | Safety Controller Synthesis for Collaborative Robots. | Mario Gleirscher, Radu Calinescu |
| 2020 | SeqMobile: An Efficient Sequence-Based Malware Detection System Using RNN on Mobile Devices. | Ruitao Feng, Jing Qiang Lim, Sen Chen, Shang-Wei Lin, Yang Liu |
| 2020 | The Semantic Spreadsheet. | Behzad Farokhi, Katharina Dost, Gerald Weber, Jing Sun, Christof Lutteroth |
| 2020 | An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks. | Yizhen Dong, Peixin Zhang, Jingyi Wang, Shuang Liu, Jun Sun, Jianye Hao, Xinyu Wang, Li Wang, Jin Song Dong, Ting Dai |
| 2020 | Automated Planning for Software Architectural Migration. | Nacha Chondamrongkul, Jing Sun, Ian Warren |
| 2020 | RL: a Language for Formal Engineering. | Hadrien Bride, Jin Song Dong, Zh Hu, Brendan P. Mahony, Jim McCarthy |