| 2026 | ESOP | A Formally Verified Procedure for Width Inference in FIRRTL. | Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Fu Song, Taolue Chen, David N. Jansen |
| 2026 | FM | Can LLM Aid in Solving Constraints with Inductive Definitions? | Weizhi Feng, Shidong Shen, Jiaxiang Liu, Taolue Chen, Fu Song, Zhilin Wu |
| 2025 | ACL | Beyond Sequences: Two-dimensional Representation and Dependency Encoding for Code Generation. | Xiangyu Zhang, Yu Zhou, Guang Yang, Wei Cheng, Taolue Chen |
| 2025 | APLAS | Decision Procedure for a Theory of String Sequences. | Denghang Hu, Taolue Chen, Philipp Rmmer, Fu Song, Zhilin Wu |
| 2025 | IJCAI | Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving. | Bingzhe Zhou, Hannan Wang, Yuan Yao, Taolue Chen, Feng Xu, Xiaoxing Ma |
| 2025 | SETTA | Separation Logic with Heap Variables: A Decision Procedure and Its Application. | Xie Li, Yutian Zhu, Taolue Chen, Fu Song, Zhilin Wu |
| 2024 | FM | Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks. | Huiyu Tan, Xi Yang, Fu Song, Taolue Chen, Zhilin Wu |
| 2024 | QRS | Symbolic Execution with Test Cases Generated by Large Language Models. | Jiahe Xu, Jingwei Xu, Taolue Chen, Xiaoxing Ma |
| 2023 | CAV | Automated Verification of Correctness for Masked Arithmetic Programs. | Mingyang Liu, Fu Song, Taolue Chen |
| 2023 | EMNLP | Syntax-Aware Retrieval Augmented Code Generation. | Xiangyu Zhang, Yu Zhou, Guang Yang, Taolue Chen |
| 2023 | ICLR | Softened Symbol Grounding for Neuro-symbolic Systems. | Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian L |
| 2023 | ICLR | Learning with Logical Constraints but without Shortcut Satisfaction. | Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian L |
| 2023 | ICSE | Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective. | Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, Jian Lu |
| 2022 | CAV | PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation. | Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu |
| 2022 | QRS | Test Reuse based on Adaptive Semantic Matching across Android Mobile Applications. | Shuqi Liu, Yu Zhou, Tingting Han, Taolue Chen |
| 2022 | SAS | CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. | Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu |
| 2021 | CAV | BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks. | Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen |
| 2021 | QRS | Evaluating Code Summarization with Improved Correlation with Human Assessment. | Juanjuan Shen, Yu Zhou, Yongchao Wang, Xiang Chen, Tingting Han, Taolue Chen |
| 2021 | QRS | Hybrid Collaborative Filtering-Based API Recommendation. | Yongchao Wang, Yu Zhou, Taolue Chen, Jingxuan Zhang, Wenhua Yang, Zhiqiu Huang |
| 2021 | SETTA | ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas. | Yongjie Xu, Fu Song, Taolue Chen |
| 2020 | ATVA | A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. | Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rmmer, Zhilin Wu |
| 2020 | SETTA | Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata. | Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia |
| 2020 | SETTA | Learning Safe Neural Network Controllers with Barrier Certificates. | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock |
| 2019 | AAAI | Probabilistic Alternating-Time | Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu |
| 2019 | APLAS | Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps. | Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan |
| 2019 | ICSE | DRONE: a tool to detect and repair directive defects in Java APIs documentation. | Yu Zhou, Xin Yan, Taolue Chen, Sebastiano Panichella, Harald C. Gall |
| 2019 | SOFSEM | Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. | Chong Gao, Taolue Chen, Zhilin Wu |
| 2019 | TACAS | Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks. | Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen |
| 2018 | CAV | Android Stack Machine. | Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan |
| 2017 | CADE | Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints. | Zhaowei Xu, Taolue Chen, Zhilin Wu |
| 2017 | CONCUR | Tractability of Separation Logic with Inductive Definitions: Beyond Lists. | Taolue Chen, Fu Song, Zhilin Wu |
| 2017 | ICFEM | Model Checking Pushdown Epistemic Game Structures. | Taolue Chen, Fu Song, Zhilin Wu |
| 2017 | ICSE | ProEva: runtime proactive performance evaluation based on continuous-time markov chains. | Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum |
| 2017 | ICSE | Analyzing APIs documentation and code to detect directive defects. | Yu Zhou, Ruihang Gu, Taolue Chen, Zhiqiu Huang, Sebastiano Panichella, Harald C. Gall |
| 2016 | AAAI | Global Model Checking on Pushdown Multi-Agent Systems. | Taolue Chen, Fu Song, Zhilin Wu |
| 2016 | CADE | A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints. | Xincai Gu, Taolue Chen, Zhilin Wu |
| 2016 | FASE | An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. | Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan |
| 2016 | IJCAI | Verifying Pushdown Multi-Agent Systems against Strategy Logics. | Taolue Chen, Fu Song, Zhilin Wu |
| 2015 | CONCUR | On the Satisfiability of Indexed Linear Temporal Logics. | Taolue Chen, Fu Song, Zhilin Wu |
| 2015 | HCI | A Probabilistic Analysis Framework for Malicious Insider Threats. | Taolue Chen, Florian Kammller, Ibrahim Nemli, Christian W. Probst |
| 2014 | CONCUR | Perturbation Analysis in Verification of Discrete-Time Markov Chains. | Taolue Chen, Yuan Feng, David S. Rosenblum, Guoxin Su |
| 2014 | CSL | On the total variation distance of labelled Markov chains. | Taolue Chen, Stefan Kiefer |
| 2013 | MFCS | On Stochastic Games with Multiple Objectives. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche |
| 2013 | TACAS | PRISM-games: A Model Checker for Stochastic Multi-Player Games. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
| 2013 | TASE | Model Repair for Markov Decision Processes. | Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang |
| 2012 | CONCUR | Playing Stochastic Games Precisely. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels |
| 2012 | ESOP | A Compositional Specification Theory for Component Behaviours. | Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska |
| 2012 | MFCS | Model Checking Stochastic Branching Processes. | Taolue Chen, Klaus Drger, Stefan Kiefer |
| 2012 | RTSS | Quantitative Verification of Implantable Cardiac Pacemakers. | Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre |
| 2012 | TACAS | Automatic Verification of Competitive Stochastic Systems. | Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis |
| 2011 | TACAS | Efficient CTMC Model Checking of Linear Real-Time Objectives. | Benot Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
| 2009 | ATVA | LTL Model Checking of Time-Inhomogeneous Markov Chains. | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
| 2009 | LICS | Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre |
| 2009 | SOFSEM | On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. | Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek |
| 2009 | TAMC | Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata. | Jasper Berendsen, Taolue Chen, David N. Jansen |
| 2008 | LICS | On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. | Taolue Chen, Wan J. Fokkink |
| 2008 | TASE | Time-Abstracting Bisimulation for Probabilistic Timed Automata. | Taolue Chen, Tingting Han, Joost-Pieter Katoen |
| 2008 | TASE | PDL over Accelerated Labeled Transition Systems. | Taolue Chen, Jaco van de Pol, Yanjing Wang |
| 2007 | CONCUR | Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. | Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse |
| 2006 | CONCUR | On Finite Alphabets and Infinite Bases III: Simulation. | Taolue Chen, Wan J. Fokkink |
| 2006 | FOSSACS | On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. | Taolue Chen, Wan J. Fokkink, Sumit Nain |
| 2006 | ICALP | On the Axiomatizability of Priority. | Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Inglfsdttir |
| 2005 | COMPSAC | Structure Analysis for Dynamic Software Architecture Based on Spatial Logic. | Tingting Han, Taolue Chen, Jian Lu |
| 2005 | SNPD | Structure Analysis for Dynamic Software Architecture. | Tingting Han, Taolue Chen, Jian Lu |
| 2004 | COMPSAC | Towards a Model Logic for p-Calculus. | Taolue Chen, Tingting Han, Jian Lu |