| 2020 | 25th International Conference on Engineering of Complex Computer Systems, ICECCS 2020, Singapore, October 28-31, 2020 Yi Li, Alan Wee-Chung Liew |
| 2020 | A Fault Localization Approach Derived From Testing-based Formal Verification. Rong Wang, Shaoying Liu, Yuji Sato |
| 2020 | Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque |
| 2020 | An Anytime Algorithm for Large-scale Heterogeneous Task Allocation. Qinyuan Li, Minyi Li, Bao Quoc Vo, Ryszard Kowalczyk |
| 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 | Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. Xuan-Bach Le, David Sanán, Jun Sun, Shang-Wei Lin |
| 2020 | CTL Model Checking of Self Modifying Code. Tayssir Touili, Xin Ye |
| 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 | Foggy: A New Anonymous Communication Architecture Based on Microservices. Hanlin Wei, Guangdong Bai, Zongwei Luo |
| 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 | Formal Verification of Access Control Model for My Health Record System. Victor Rivera |
| 2020 | Gathering GitHub OSS Requirements from Q&A Community: an Empirical Study. Hao Huang, Yao Lu, Xinjun Mao |
| 2020 | IFIX: Fixing Concurrency Bugs While They Are Introduced. Zan Wang, Haichi Wang, Shuang Liu, Jun Sun, Haoyu Wang, Junjie Chen |
| 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 | Parametric non-interference in timed automata. Étienne André, Aleksander Kryukov |
| 2020 | RL: a Language for Formal Engineering. Hadrien Bride, Jin Song Dong, Zhé Hóu, Brendan P. Mahony, Jim McCarthy |
| 2020 | ROS-FM: Fast Monitoring for the Robotic Operating System(ROS). Sean Rivera, Antonio Ken Iannillo, Sofiane Lagraa, Clément Joly, Radu State |
| 2020 | ReoFS: A Read-Efficient and Write-Optimized File System for Persistent Memory. Yan Yan, Kaixin Huang, Shengan Zheng, Dongliang Xue, Linpeng Huang |
| 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 Burn-to-Claim cross-blockchain asset transfer protocol. Babu Pillai, Kamanashis Biswas, Zhé Hóu, Vallipuram Muthukkumarasamy |
| 2020 | The Semantic Spreadsheet. Behzad Farokhi, Katharina Dost, Gerald Weber, Jing Sun, Christof Lutteroth |
| 2020 | Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles. Simon Foster, Mario Gleirscher, Radu Calinescu |
| 2020 | Visual counterexample explanation for model checking with OERITTE. Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin |