| 2024 | Slicing Assisted Program Verification: An Empirical Study. | Wenjian Chai, Rongjie Yan, Wenhui Zhang, Jian Zhang |
| 2024 | Composition Machines: Programming Self-organising Software Models for the Emergence of Sequential Program Spaces. | Damian Arellanes |
| 2023 | A Hierarchical Spatial Logic for Knowledge Sharing and Fusion in Intelligent Connected Vehicle Cooperation. | Shengyang Yao, Qin Li |
| 2023 | Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters. | Yulin Wu, Zhiwu Xu, Shengchao Qin |
| 2023 | Verifying Chips Design at RTL Level. | Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu |
| 2023 | idDL2DL - Interval Syntax to dℒ. | Jaime Santos, Daniel Figueiredo, Alexandre Madeira |
| 2023 | Automating Recoverability Proofs for Cyber-Physical Systems with Runtime Assurance Architectures. | Vivek Nigam, Carolyn L. Talcott |
| 2023 | Verified Transformation of Continuation-Passing Style into Static Single Assignment Form. | Siyu Liu, Yuting Wang |
| 2023 | Contract Based Embedded Software Design. | Christian Lidstrm, Dilian Gurov |
| 2023 | MTCD: An Efficient Cloning Detection Technique Based on Method Table. | Fangting Liao, Shun Long, Weiheng Zhu, Wenzhu Chen, Silei Cao, Xinyi Guan |
| 2023 | Safety Verification for Neural Networks Based on Set-Boundary Analysis. | Zhen Liang, Dejin Ren, Wanwei Liu, Ji Wang, Wenjing Yang, Bai Xue |
| 2023 | VeriLin: A Linearizability Checker for Large-Scale Concurrent Objects. | Qiaowen Jia, Yi Lv, Peng Wu, Bohua Zhan, Jifeng Hao, Hong Ye, Chao Wang |
| 2023 | Verifying Refinement of Probabilistic Contracts Using Timed Automata. | Anton Hampus, Mattias Nyberg |
| 2023 | Protocol Conformance with Choreographic PlusCal. | Darius Foo, Andreea Costea, Wei-Ngan Chin |
| 2023 | OAT: An Optimized Android Testing Framework Based on Reinforcement Learning. | Mengjun Du, Peiyang Li, Lian Song, W. K. Chan, Bo Jiang |
| 2023 | Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. | Joanna Delicaris, Stefan Schupp, Erika brahm, Anne Remke |
| 2023 | Stepwise Development of Paraconsistent Processes. | Juliana Cunha, Alexandre Madeira, Lus Soares Barbosa |
| 2023 | Approximately Learning Quantum Automata. | Wenjing Chu, Shuo Chen, Marcello M. Bonsangue, Zenglin Shi |
| 2023 | Asynchronous Test Equivalence over Timed Processes. | Puneet Bhateja |
| 2023 | View-Based Axiomatic Reasoning for PSO. | Lara Bargmann, Heike Wehrheim |
| 2023 | Identifying Minimal Changes in the Zone Abstract Domain. | Kenny Ballou, Elena Sherman |
| 2023 | A Static Analyser for Resource Sensitive Workflow Models. | Muhammad Rizwan Ali, Violet Ka I Pun |
| 2023 | Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning. | Chenyang Zhu, Jinyu Zhu, Yujie Cai, Fang Wang |
| 2022 | Dynamic Environment Simulation for Database Performance Evaluation. | Chunxi Zhang, Rong Zhang, Kai Liu |
| 2022 | Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs. | Haitao Zhang, Bowen Pu |