Taolue Chen

221 papers A* 16A 7B 18C 10Misc 6Journal 119Unranked 45
YearRankTypeTitle / Venue / Authors
2026 — conf
A Formally Verified Procedure for Width Inference in FIRRTL.
ESOP (2)
Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Fu Song, Taolue Chen, David N. Jansen
2026 J jnl
A Formally Verified Procedure for Width Inference in FIRRTL.
CoRR
Keyin Wang, Xiaomu Shi, Jiaxiang Liu, Zhilin Wu, Taolue Chen, Fu Song, David N. Jansen
2026 J jnl
Can LLM Aid in Solving Constraints with Inductive Definitions?
CoRR
Weizhi Feng, Shidong Shen, Jiaxiang Liu, Taolue Chen, Fu Song, Zhilin Wu
2026 J jnl
Defending Code Language Models against Backdoor Attacks with Deceptive Cross-Entropy Loss.
ACM Trans. Softw. Eng. Methodol.
Guang Yang, Yu Zhou, Xiangyu Zhang, Xiang Chen, Terry Yue Zhuo, David Lo, Taolue Chen
2026 J jnl
Empirical evaluation of simulation-based fuzz testing for autonomous driving systems.
Empir. Softw. Eng.
Huiwen Yang, Yu Zhou, Taolue Chen
2026 J jnl
Less Is More: DocString Compression in Code Generation.
ACM Trans. Softw. Eng. Methodol.
Guang Yang, Yu Zhou, Wei Cheng, Xiangyu Zhang, Xiang Chen, Terry Yue Zhuo, Ke Liu, Xin Zhou, David Lo, Taolue Chen
2026 J jnl
Less is more: Towards green code large language models via unified structural pruning.
Inf. Process. Manag.
Guang Yang, Yu Zhou, Xiangyu Zhang, Wei Cheng, Ke Liu, Xiang Chen, Terry Yue Zhuo, Taolue Chen
2026 J jnl
SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems.
ACM Trans. Softw. Eng. Methodol.
Huiwen Yang, Yu Zhou, Taolue Chen
2026 J jnl
Stepwise: Neuro-Symbolic Proof Search for Automated Systems Verification.
CoRR
Baoding He, Zenan Li, Wei Sun, Yuan Yao, Taolue Chen, Xiaoxing Ma, Zhendong Su
2025 J jnl
Anchor Attention, Small Cache: Code Generation With Large Language Models.
IEEE Trans. Software Eng.
Xiangyu Zhang, Yu Zhou, Guang Yang, Harald C. Gall, Taolue Chen
2025 J jnl
Assessing and improving syntactic adversarial robustness of pre-trained models for code translation.
Inf. Softw. Technol.
Guang Yang, Yu Zhou, Xiangyu Zhang, Xiang Chen, Tingting Han, Taolue Chen
2025 — conf
Beyond Sequences: Two-dimensional Representation and Dependency Encoding for Code Generation.
ACL (1)
Xiangyu Zhang, Yu Zhou, Guang Yang, Wei Cheng, Taolue Chen
2025 J jnl
CODE-DITING: A Reasoning-Based Metric for Functional Alignment in Code Evaluation.
CoRR
Guang Yang, Yu Zhou, Xiang Chen, Wei Zheng, Xing Hu, Xin Zhou, David Lo, Taolue Chen
2025 J jnl
Clause2Inv: A Generate-Combine-Check Framework for Loop Invariant Inference.
Proc. ACM Softw. Eng.
Weining Cao, Guangyuan Wu, Tangzhi Xu, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma
2025 A* conf
Code-DiTing: Automatic Evaluation of Code Generation without References or Test Cases.
ASE
Guang Yang, Yu Zhou, Xiang Chen, Wei Zheng, Xing Hu, Xin Zhou, David Lo, Taolue Chen
2025 J jnl
Conformal Correction for Efficiency May be at Odds with Entropy.
CoRR
Senrong Xu, Tianyu Wang, Zenan Li, Yuan Yao, Taolue Chen, Feng Xu, Xiaoxing Ma
2025 J jnl
Decision Procedure for A Theory of String Sequences.
CoRR
Denghang Hu, Taolue Chen, Philipp Rümmer, Fu Song, Zhilin Wu
2025 B conf
Decision Procedure for a Theory of String Sequences.
APLAS
Denghang Hu, Taolue Chen, Philipp Rümmer, Fu Song, Zhilin Wu
2025 J jnl
Detecting data manipulation errors in android applications using scene-guided exploration.
Empir. Softw. Eng.
Shuqi Liu, Yu Zhou, Wenhua Yang, Taolue Chen, Harald C. Gall
2025 J jnl
FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory.
CoRR
Xiao-Wen Yang, Zihao Zhang, Jianuo Cao, Zhi Zhou, Zenan Li, Lan-Zhe Guo, Yuan Yao, Taolue Chen, Yufeng Li, Xiaoxing Ma
2025 J jnl
Formalization of Android Activity-Fragment Multitasking Mechanism and Static Analysis of Mobile Apps.
Formal Aspects Comput.
Jinlong He, Zhilin Wu, Taolue Chen
2025 J jnl
Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications.
Sci. Comput. Program.
Shuqi Liu, Yu Zhou, Huiwen Yang, Tingting Han, Taolue Chen
2025 — conf
LASER: Script Execution by Autonomous Agents for On-demand Traffic Simulation.
Internetware
Hao Gao, Jingyue Wang, Wenyang Fang, Jingwei Xu, Yunpeng Huang, Taolue Chen, Xiaoxing Ma
2025 J jnl
LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation.
CoRR
Junyu Lai, Jiakun Zhang, Shuo Xu, Taolue Chen, Zihang Wang, Yao Yang, Jiarui Zhang, Chun Cao, Jingwei Xu
2025 A* conf
Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving.
IJCAI
Bingzhe Zhou, Hannan Wang, Yuan Yao, Taolue Chen, Feng Xu, Xiaoxing Ma
2024 J jnl
Anchor Attention, Small Cache: Code Generation with Large Language Models.
CoRR
Xiangyu Zhang, Yu Zhou, Guang Yang, Harald C. Gall, Taolue Chen
2024 J jnl
Chain-of-Thought in Neural Code Generation: From and for Lightweight Language Models.
IEEE Trans. Software Eng.
Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Terry Yue Zhuo, Taolue Chen
2024 — conf
Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks.
FM (2)
Huiyu Tan, Xi Yang, Fu Song, Taolue Chen, Zhilin Wu
2024 J jnl
Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks.
ACM Trans. Softw. Eng. Methodol.
Pengfei Gao, Fu Song, Taolue Chen
2024 J jnl
Context-aware code generation with synchronous bidirectional decoder.
J. Syst. Softw.
Xiangyu Zhang, Yu Zhou, Guang Yang, Tingting Han, Taolue Chen
2024 J jnl
DRIVE: Dockerfile Rule Mining and Violation Detection.
ACM Trans. Softw. Eng. Methodol.
Yu Zhou, Weilin Zhan, Zi Li, Tingting Han, Taolue Chen, Harald C. Gall
2024 J jnl
DeCE: Deceptive Cross-Entropy Loss Designed for Defending Backdoor Attacks.
CoRR
Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Terry Yue Zhuo, David Lo, Taolue Chen
2024 J jnl
EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis.
Proc. ACM Program. Lang.
Pu Sun, Fu Song, Yuqi Chen, Taolue Chen
2024 J jnl
Enhancing test reuse with GUI events deduplication and adaptive semantic matching.
Sci. Comput. Program.
Shuqi Liu, Yu Zhou, Longbing Ji, Tingting Han, Taolue Chen
2024 J jnl
How Important Are Good Method Names in Neural Code Generation? A Model Robustness Perspective.
ACM Trans. Softw. Eng. Methodol.
Guang Yang, Yu Zhou, Wenhua Yang, Tao Yue, Xiang Chen, Taolue Chen
2024 J jnl
LASER: Script Execution by Autonomous Agents for On-demand Traffic Simulation.
CoRR
Hao Gao, Jingyue Wang, Wenyang Fang, Jingwei Xu, Yunpeng Huang, Taolue Chen, Xiaoxing Ma
2024 A* conf
LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference.
ASE
Guangyuan Wu, Weining Cao, Yuan Yao, Hengfeng Wei, Taolue Chen, Xiaoxing Ma
2024 J jnl
Learning with Logical Constraints but without Shortcut Satisfaction.
CoRR
Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü
2024 J jnl
Less is More: DocString Compression in Code Generation.
CoRR
Guang Yang, Yu Zhou, Wei Cheng, Xiangyu Zhang, Xiang Chen, Terry Yue Zhuo, Ke Liu, Xin Zhou, David Lo, Taolue Chen
2024 J jnl
Less is More: Towards Green Code Large Language Models via Unified Structural Pruning.
CoRR
Guang Yang, Yu Zhou, Xiangyu Zhang, Wei Cheng, Ke Liu, Xiang Chen, Terry Yue Zhuo, Taolue Chen
2024 J jnl
Neuro-symbolic Learning Yielding Logical Constraints.
CoRR
Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
2024 J jnl
SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Huiyu Tan, Pengfei Gao, Fu Song, Taolue Chen, Zhilin Wu
2024 J jnl
SimADFuzz: Simulation-Feedback Fuzz Testing for Autonomous Driving Systems.
CoRR
Huiwen Yang, Yu Zhou, Taolue Chen
2024 J jnl
Softened Symbol Grounding for Neuro-symbolic Systems.
CoRR
Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü
2024 C conf
Symbolic Execution with Test Cases Generated by Large Language Models.
QRS
Jiahe Xu, Jingwei Xu, Taolue Chen, Xiaoxing Ma
2024 J jnl
Towards Efficient Verification of Constant-Time Cryptographic Implementations.
CoRR
Luwei Cai, Fu Song, Taolue Chen
2024 J jnl
Towards Efficient Verification of Constant-Time Cryptographic Implementations.
Proc. ACM Softw. Eng.
Luwei Cai, Fu Song, Taolue Chen
2023 J jnl
A Syntax-Guided Multi-Task Learning Approach for Turducken-Style Code Generation.
CoRR
Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Yiran Xu, Tingting Han, Taolue Chen
2023 J jnl
A syntax-guided multi-task learning approach for Turducken-style code generation.
Empir. Softw. Eng.
Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Yiran Xu, Tingting Han, Taolue Chen
2023 J jnl
Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey.
CoRR
Yunpeng Huang, Jingwei Xu, Zixu Jiang, Junyu Lai, Zenan Li, Yuan Yao, Taolue Chen, Lijuan Yang, Zhou Xin, Xiaoxing Ma
2023 J jnl
Assessing and Improving Syntactic Adversarial Robustness of Pre-trained Models for Code Translation.
CoRR
Guang Yang, Yu Zhou, Xiangyu Zhang, Xiang Chen, Tingting Han, Taolue Chen
2023 — conf
Automated Verification of Correctness for Masked Arithmetic Programs.
CAV (3)
Mingyang Liu, Fu Song, Taolue Chen
2023 J jnl
Automated Verification of Correctness for Masked Arithmetic Programs.
CoRR
Mingyang Liu, Fu Song, Taolue Chen
2023 J jnl
Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models.
CoRR
Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Terry Yue Zhuo, Taolue Chen
2023 J jnl
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks.
Proc. ACM Program. Lang.
Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, François-Xavier Standaert
2023 J jnl
Context-aware API recommendation using tensor factorization.
Sci. China Inf. Sci.
Yu Zhou, Chen Chen, Yongchao Wang, Tingting Han, Taolue Chen
2023 J jnl
ExploitGen: Template-augmented exploit code generation based on CodeBERT.
J. Syst. Softw.
Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Tingting Han, Taolue Chen
2023 A* conf
Learning with Logical Constraints but without Shortcut Satisfaction.
ICLR
Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü
2023 A* conf
Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective.
ICSE
Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, Jian Lu
2023 A* conf
Neuro-symbolic Learning Yielding Logical Constraints.
NeurIPS
Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu
2023 J jnl
Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach.
ACM Trans. Softw. Eng. Methodol.
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
2023 J jnl
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits.
CoRR
Huiyu Tan, Pengfei Gao, Taolue Chen, Fu Song, Zhilin Wu
2023 A* conf
Softened Symbol Grounding for Neuro-symbolic Systems.
ICLR
Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü
2023 — conf
Syntax-Aware Retrieval Augmented Code Generation.
EMNLP (Findings)
Xiangyu Zhang, Yu Zhou, Guang Yang, Taolue Chen
2023 J jnl
Test Reuse Based on Adaptive Semantic Matching across Android Mobile Applications.
CoRR
Shuqi Liu, Yu Zhou, Tingting Han, Taolue Chen
2022 A* conf
ADEPT: A Testing Platform for Simulated Autonomous Driving.
ASE
Sen Wang, Zhuheng Sheng, Jingwei Xu, Taolue Chen, Junjun Zhu, Shuhui Zhang, Yuan Yao, Xiaoxing Ma
2022 J jnl
Adversarial Robustness of Deep Code Comment Generation.
ACM Trans. Softw. Eng. Methodol.
Yu Zhou, Xiaoqing Zhang, Juanjuan Shen, Tingting Han, Taolue Chen, Harald C. Gall
2022 J jnl
Automatic source code summarization with graph attention networks.
J. Syst. Softw.
Yu Zhou, Juanjuan Shen, Xiaoqing Zhang, Wenhua Yang, Tingting Han, Taolue Chen
2022 J jnl
Boosting API Recommendation With Implicit Feedback.
IEEE Trans. Software Eng.
Yu Zhou, Xinying Yang, Taolue Chen, Zhiqiu Huang, Xiaoxing Ma, Harald C. Gall
2022 B conf
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks.
SAS
Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu
2022 J jnl
DRIVE: Dockerfile Rule Mining and Violation Detection.
CoRR
Yu Zhou, Weilin Zhan, Zi Li, Tingting Han, Taolue Chen, Harald C. Gall
2022 — conf
DeJITLeak: eliminating JIT-induced timing side-channel leaks.
ESEC/SIGSOFT FSE
Qi Qin, JulianAndres JiYang, Fu Song, Taolue Chen, Xinyu Xing
2022 J jnl
ESampler: Boosting sampling of satisfying assignments for Boolean formulas via derivation.
J. Syst. Archit.
Yongjie Xu, Fu Song, Taolue Chen
2022 J jnl
Formal Verification of Masking Countermeasures for Arithmetic Programs.
IEEE Trans. Software Eng.
Pengfei Gao, Hongyi Xie, Pu Sun, Jun Zhang, Fu Song, Taolue Chen
2022 J jnl
How Important are Good Method Names in Neural Code Generation? A Model Robustness Perspective.
CoRR
Guang Yang, Yu Zhou, Wenhua Yang, Tao Yue, Xiang Chen, Taolue Chen
2022 J jnl
Model-based automated testing of JavaScript Web applications via longer test sequences.
Frontiers Comput. Sci.
Pengfei Gao, Yongjie Xu, Fu Song, Taolue Chen
2022 — conf
PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation.
CAV (1)
Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu
2022 J jnl
Preventing Timing Side-Channels via Security-Aware Just-In-Time Compilation.
CoRR
Qi Qin, JulianAndres JiYang, Fu Song, Taolue Chen, Xinyu Xing
2022 A* conf
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks.
ASE
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun
2022 J jnl
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks.
CoRR
Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun
2022 J jnl
Sequence-Aware API Recommendation Based on Collaborative Filtering.
Int. J. Softw. Eng. Knowl. Eng.
Yongchao Wang, Yu Zhou, Taolue Chen, Jingxuan Zhang, Wenhua Yang, Zhiqiu Huang
2022 J jnl
Solving string constraints with Regex-dependent functions through transducers with priorities and variables.
Proc. ACM Program. Lang.
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2022 C conf
Test Reuse based on Adaptive Semantic Matching across Android Mobile Applications.
QRS
Shuqi Liu, Yu Zhou, Tingting Han, Taolue Chen
2021 J jnl
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs.
ACM Trans. Softw. Eng. Methodol.
Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen
2021 J jnl
A theory of change for prioritised resilient and evolvable software systems.
Synth.
Giuseppe Primiero, Franco Raimondi, Taolue Chen
2021 J jnl
Adversarial Robustness of Deep Code Comment Generation.
CoRR
Yu Zhou, Xiaoqing Zhang, Juanjuan Shen, Tingting Han, Taolue Chen, Harald C. Gall
2021 — conf
BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks.
CAV (1)
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
2021 J jnl
BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks.
CoRR
Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen
2021 — conf
BRAID: an API recommender supporting implicit user feedback.
ESEC/SIGSOFT FSE
Yu Zhou, Haonan Jin, Xinying Yang, Taolue Chen, Krishna Narasimhan, Harald C. Gall
2021 Misc conf
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas.
SETTA
Yongjie Xu, Fu Song, Taolue Chen
2021 C conf
Evaluating Code Summarization with Improved Correlation with Human Assessment.
QRS
Juanjuan Shen, Yu Zhou, Yongchao Wang, Xiang Chen, Tingting Han, Taolue Chen
2021 C conf
Hybrid Collaborative Filtering-Based API Recommendation.
QRS
Yongchao Wang, Yu Zhou, Taolue Chen, Jingxuan Zhang, Wenhua Yang, Zhiqiu Huang
2021 J jnl
Learning safe neural network controllers with barrier certificates.
Formal Aspects Comput.
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
2021 J jnl
Robustness and performance of Deep Reinforcement Learning.
Appl. Soft Comput.
Raid Rafi Omar Al-Nima, Tingting Han, Saadoon A. M. Al-Sumaidaee, Taolue Chen, Wai Lok Woo
2021 J jnl
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables.
CoRR
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2021 J jnl
User Review-Based Change File Localization for Mobile Applications.
IEEE Trans. Software Eng.
Yu Zhou, Yanqi Su, Taolue Chen, Zhiqiu Huang, Harald C. Gall, Sebastiano Panichella
2020 B conf
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.
ATVA
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020 J jnl
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type.
CoRR
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
2020 J jnl
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs.
CoRR
Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen
2020 — conf
Adaptive Code Completion with Meta-learning.
Internetware
Liyu Fang, Zhiqiu Huang, Yu Zhou, Taolue Chen
2020 J jnl
Automatic Detection and Repair Recommendation of Directive Defects in Java API Documentation.
IEEE Trans. Software Eng.
Yu Zhou, Changzhi Wang, Xin Yan, Taolue Chen, Sebastiano Panichella, Harald C. Gall
2020 J jnl
Boosting API Recommendation with Implicit Feedback.
CoRR
Yu Zhou, Xinying Yang, Taolue Chen, Zhiqiu Huang, Xiaoxing Ma, Harald C. Gall
2020 Misc conf
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata.
SETTA
Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia
2020 J jnl
Finger Texture Biometric Characteristic: a Survey.
CoRR
Raid Rafi Omar Al-Nima, Tingting Han, Taolue Chen, Satnam Singh Dlay, Jonathon A. Chambers
2020 Misc conf
Learning Safe Neural Network Controllers with Barrier Certificates.
SETTA
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
2020 J jnl
Learning Safe Neural Network Controllers with Barrier Certificates.
CoRR
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock
2020 J jnl
Predicted Robustness as QoS for Deep Neural Network Models.
J. Comput. Sci. Technol.
Yue-Huan Wang, Zenan Li, Jingwei Xu, Ping Yu, Taolue Chen, Xiaoxing Ma
2020 J jnl
Probabilistic analysis of QoS-aware service composition with explicit environment models.
IET Softw.
Yu Zhou, Tingting Han, Taolue Chen, Shiqi Zhou
2020 — conf
Synthesizing barrier certificates using neural networks.
HSCC
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu
2020 — conf
Training Deep Code Comment Generation Models via Data Augmentation.
Internetware
Xiaoqing Zhang, Yu Zhou, Tingting Han, Taolue Chen
2019 B conf
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps.
APLAS
Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan
2019 J jnl
Augmenting Java method comments generation with context information based on neural networks.
J. Syst. Softw.
Yu Zhou, Xin Yan, Wenhua Yang, Taolue Chen, Zhiqiu Huang
2019 — conf
DRONE: a tool to detect and repair directive defects in Java APIs documentation.
ICSE (Companion Volume)
Yu Zhou, Xin Yan, Taolue Chen, Sebastiano Panichella, Harald C. Gall
2019 J jnl
Decision procedures for path feasibility of string-manipulating programs with complex operations.
Proc. ACM Program. Lang.
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2019 J jnl
Deep finger texture learning for verifying people.
IET Biom.
Raid Rafi Omar Al-Nima, Tingting Han, Saadoon A. M. Al-Sumaidaee, Taolue Chen
2019 J jnl
Making Agents' Abilities Explicit.
IEEE Access
Yedi Zhang, Fu Song, Taolue Chen
2019 J jnl
Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences.
CoRR
Pengfei Gao, Fu Song, Taolue Chen, Yao Zeng, Ting Su
2019 J jnl
Online Observability of Boolean Control Networks.
CoRR
Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu
2019 A* conf
Probabilistic Alternating-Time
AAAI
Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu
2019 — conf
Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks.
TACAS (1)
Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
2019 J jnl
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks.
CoRR
Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen
2019 — conf
Road Tracking Using Deep Reinforcement Learning for Self-driving Car Applications.
CORES
Raid Rafi Omar Al-Nima, Tingting Han, Taolue Chen
2019 B conf
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints.
SOFSEM
Chong Gao, Taolue Chen, Zhilin Wu
2019 J jnl
User Review-Based Change File Localization for Mobile Applications.
CoRR
Yu Zhou, Yanqi Su, Taolue Chen, Zhiqiu Huang, Harald C. Gall, Sebastiano Panichella
2018 — conf
Android Stack Machine.
CAV (2)
Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan
2018 J jnl
Bisimulations for fuzzy transition systems revisited.
Int. J. Approx. Reason.
Hengyang Wu, Taolue Chen, Tingting Han, Yixiang Chen
2018 J jnl
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations.
CoRR
Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2018 J jnl
Making Agents' Abilities Explicit.
CoRR
Yedi Zhang, Fu Song, Taolue Chen
2018 J jnl
Parameter Synthesis Problems for Parametric Timed Automata.
CoRR
Liyun Dai, Bo Liu, Zhiming Liu, Taolue Chen
2018 J jnl
Parameter Synthesis Problems for one parametric clock Timed Automata.
CoRR
Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen
2018 J jnl
Polynomial-time algorithms for computing distances of fuzzy transition systems.
Theor. Comput. Sci.
Taolue Chen, Tingting Han, Yongzhi Cao
2018 J jnl
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints.
CoRR
Chong Gao, Taolue Chen, Zhilin Wu
2018 J jnl
What is decidable about string constraints with the ReplaceAll function.
Proc. ACM Program. Lang.
Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
2017 — conf
A Proof-Theoretic Trust and Reputation Model for VANET.
EuroS&P Workshops
Giuseppe Primiero, Franco Raimondi, Taolue Chen, Rajagopal Nagarajan
2017 A* conf
Analyzing APIs documentation and code to detect directive defects.
ICSE
Yu Zhou, Ruihang Gu, Taolue Chen, Zhiqiu Huang, Sebastiano Panichella, Harald C. Gall
2017 J jnl
Augmenting Bug Localization with Part-of-Speech and Invocation.
Int. J. Softw. Eng. Knowl. Eng.
Yu Zhou, Yanxiang Tong, Taolue Chen, Jin Han
2017 C conf
Model Checking Pushdown Epistemic Game Structures.
ICFEM
Taolue Chen, Fu Song, Zhilin Wu
2017 J jnl
Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems.
CoRR
Taolue Chen, Tingting Han, Yongzhi Cao
2017 A* conf
ProEva: runtime proactive performance evaluation based on continuous-time markov chains.
ICSE
Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum
2017 A conf
Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints.
CADE
Zhaowei Xu, Taolue Chen, Zhilin Wu
2017 J jnl
The packing chromatic number of the infinite square lattice is between 13 and 15.
Discret. Appl. Math.
Barnaby Martin, Franco Raimondi, Taolue Chen, Jos Martin
2017 B conf
Tractability of Separation Logic with Inductive Definitions: Beyond Lists.
CONCUR
Taolue Chen, Fu Song, Zhilin Wu
2017 J jnl
What Is Decidable about String Constraints with the ReplaceAll Function.
CoRR
Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
2016 A conf
A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints.
IJCAR
Xincai Gu, Taolue Chen, Zhilin Wu
2016 J jnl
A Computationally Grounded, Weighted Doxastic Logic.
Stud Logica
Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta
2016 B conf
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems.
FASE
Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan
2016 J jnl
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters.
IEEE Trans. Software Eng.
Guoxin Su, Yuan Feng, Taolue Chen, David S. Rosenblum
2016 — conf
Formal Reasoning on Infinite Data Values: An Ongoing Quest.
SETSS
Taolue Chen, Fu Song, Zhilin Wu
2016 A* conf
Global Model Checking on Pushdown Multi-Agent Systems.
AAAI
Taolue Chen, Fu Song, Zhilin Wu
2016 — conf
Model based analysis of insider threats.
Cyber Security And Protection Of Digital Services
Taolue Chen, Tingting Han, Florian Kammueller, Ibrahim Nemli, Christian W. Probst
2016 A* conf
Verifying Pushdown Multi-Agent Systems against Strategy Logics.
IJCAI
Taolue Chen, Fu Song, Zhilin Wu
2015 — conf
A Probabilistic Analysis Framework for Malicious Insider Threats.
HCI (22)
Taolue Chen, Florian Kammüller, Ibrahim Nemli, Christian W. Probst
2015 — conf
Analyzing Eventual Leader Election Protocols for Dynamic Systems by Probabilistic Model Checking.
ICCCS
Jiayi Gu, Yu Zhou, Weigang Wu, Taolue Chen
2015 J jnl
Continuous-time orbit problems are decidable in polynomial-time.
Inf. Process. Lett.
Taolue Chen, Nengkun Yu, Tingting Han
2015 J jnl
On the Axiomatizability of Impossible Futures.
Log. Methods Comput. Sci.
Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek
2015 B conf
On the Satisfiability of Indexed Linear Temporal Logics.
CONCUR
Taolue Chen, Fu Song, Zhilin Wu
2015 J jnl
The packing chromatic number of the infinite square lattice is less than or equal to 16.
CoRR
Barnaby Martin, Franco Raimondi, Taolue Chen, Jos Martin
2015 — conf
Towards A Novel Approach for Defect Localization Based on Part-of-Speech and Invocation.
Internetware
Yanxiang Tong, Yu Zhou, Lisheng Fang, Taolue Chen
2014 — conf
On the Complexity of Computing Maximum Entropy for Markovian Models.
FSTTCS
Taolue Chen, Tingting Han
2014 J jnl
On the Total Variation Distance of Labelled Markov Chains.
CoRR
Taolue Chen, Stefan Kiefer
2014 — conf
On the total variation distance of labelled Markov chains.
CSL-LICS
Taolue Chen, Stefan Kiefer
2014 B conf
Perturbation Analysis in Verification of Discrete-Time Markov Chains.
CONCUR
Taolue Chen, Yuan Feng, David S. Rosenblum, Guoxin Su
2014 J jnl
Quantitative verification of implantable cardiac pacemakers over hybrid heart models.
Inf. Comput.
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2013 — conf
A simulink hybrid heart model for quantitative verification of cardiac pacemakers.
HSCC
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2013 J jnl
Automatic verification of competitive stochastic systems.
Formal Methods Syst. Des.
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2013 Misc conf
Model Repair for Markov Decision Processes.
TASE
Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang
2013 B conf
On Stochastic Games with Multiple Objectives.
MFCS
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
2013 J jnl
On the complexity of model checking interval-valued discrete time Markov chains.
Inf. Process. Lett.
Taolue Chen, Tingting Han, Marta Z. Kwiatkowska
2013 J jnl
Orbit Problem Revisited
CoRR
Taolue Chen, Xiaoming Sun, Nengkun Yu
2013 A conf
PRISM-games: A Model Checker for Stochastic Multi-Player Games.
TACAS
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2013 — conf
Solvency Markov Decision Processes with Interest.
FSTTCS
Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis
2013 J jnl
Solvency Markov Decision Processes with Interest.
CoRR
Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis
2013 — conf
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving.
QEST
Taolue Chen, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
2013 J jnl
Verification of linear duration properties over continuous-time markov chains.
ACM Trans. Comput. Log.
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2012 A conf
A Compositional Specification Theory for Component Behaviours.
ESOP
Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska
2012 A conf
Automatic Verification of Competitive Stochastic Systems.
TACAS
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2012 J jnl
Model Checking Stochastic Branching Processes
CoRR
Taolue Chen, Klaus Dräger, Stefan Kiefer
2012 B conf
Model Checking Stochastic Branching Processes.
MFCS
Taolue Chen, Klaus Dräger, Stefan Kiefer
2012 B conf
Playing Stochastic Games Precisely.
CONCUR
Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels
2012 A conf
Quantitative Verification of Implantable Cardiac Pacemakers.
RTSS
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2012 — conf
Verification of linear duration properties over continuous-time markov chains.
HSCC
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2011 A conf
Efficient CTMC Model Checking of Linear Real-Time Objectives.
TACAS
Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2011 J jnl
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Log. Methods Comput. Sci.
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2011 — conf
Observing Continuous-Time MDPs by 1-Clock Timed Automata.
RP
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2011 J jnl
On the axiomatizability of priority II.
Theor. Comput. Sci.
Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol
2011 — conf
Reachability probabilities in Markovian Timed Automata.
CDC/ECC
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2011 — conf
Time-Bounded Verification of CTMCs against Real-Time Specifications.
FORMATS
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
2011 — conf
Verifying Team Formation Protocols with Probabilistic Model Checking.
CLIMA
Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis
2010 — conf
Towards Analysis of Semi-Markov Decision Processes.
AICI (1)
Taolue Chen, Jian Lu
2009 B conf
LTL Model Checking of Time-Inhomogeneous Markov Chains.
ATVA
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2009 B conf
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures.
SOFSEM
Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek
2009 J jnl
On metrics for probabilistic systems: Definitions and algorithms.
Comput. Math. Appl.
Taolue Chen, Tingting Han, Jian Lu
2009 A* conf
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications.
LICS
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
2009 C conf
Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata.
TAMC
Jasper Berendsen, Taolue Chen, David N. Jansen
2008 — conf
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration.
FICS
Taolue Chen, Jian Lu
2008 J jnl
On Finite Bases for Weak Semantics: Failures versus Impossible Futures
CoRR
Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek
2008 J jnl
On finite alphabets and infinite bases.
Inf. Comput.
Taolue Chen, Wan J. Fokkink, Bas Luttik, Sumit Nain
2008 A* conf
On the Axiomatizability of Impossible Futures: Preorder versus Equivalence.
LICS
Taolue Chen, Wan J. Fokkink
2008 J jnl
On the axiomatisability of priority.
Math. Struct. Comput. Sci.
Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir
2008 Misc conf
PDL over Accelerated Labeled Transition Systems.
TASE
Taolue Chen, Jaco van de Pol, Yanjing Wang
2008 J jnl
Ready to preorder: The case of weak process semantics.
Inf. Process. Lett.
Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek
2008 Misc conf
Time-Abstracting Bisimulation for Probabilistic Timed Automata.
TASE
Taolue Chen, Tingting Han, Joost-Pieter Katoen
2008 — conf
Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks.
FSKD (5)
Taolue Chen, Jian Lu
2007 B conf
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.
CONCUR
Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse
2007 — conf
On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm.
FSKD (2)
Taolue Chen, Tingting Han, Jian Lu
2007 — conf
Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm.
FSKD (2)
Taolue Chen, Jian Lu
2006 B conf
On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation.
FoSSaCS
Taolue Chen, Wan J. Fokkink, Sumit Nain
2006 B conf
On Finite Alphabets and Infinite Bases III: Simulation.
CONCUR
Taolue Chen, Wan J. Fokkink
2006 — conf
On the Axiomatizability of Priority.
ICALP (2)
Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir
2006 J jnl
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence.
Acta Cybern.
Taolue Chen, Tingting Han, Jian Lu
2006 — conf
On the Markovian Randomized Strategy of Controller for Markov Decision Processes.
FSKD
Taolue Chen, Tingting Han, Jian Lu
2005 C conf
Analysis of A Leader Election Algorithm in uCRL.
CIT
Taolue Chen, Tingting Han, Jian Lu
2005 — conf
On the Bisimulation Congruence in
FSTTCS
Taolue Chen, Tingting Han, Jian Lu
2005 — conf
Structure Analysis for Dynamic Software Architecture Based on Spatial Logic.
COMPSAC (1)
Tingting Han, Taolue Chen, Jian Lu
2005 C conf
Structure Analysis for Dynamic Software Architecture.
SNPD
Tingting Han, Taolue Chen, Jian Lu
2004 C conf
A Modal Logic for pi-Calculus and Model Checking Algorithm.
WoLLIC
Taolue Chen, Tingting Han, Jian Lu
2004 — conf
Checking Strong Open Congruence in Chi -Calculus.
CATS
Taolue Chen, Jingyang Zhou, Tingting Han, Jian Lu
2004 C conf
Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient.
CIT
Taolue Chen, Tingting Han, Jian Lu
2004 B conf
Towards a Model Logic for p-Calculus.
COMPSAC
Taolue Chen, Tingting Han, Jian Lu
2004 — conf
Tree logic with recursion and model checking algorithm.
IASTED Conf. on Software Engineering and Applications
Taolue Chen, Tingting Han, Jian Lu
2003 — conf
Intensionality of modal logic for Robust Ambient Calculus.
FGC
Taolue Chen, Tingting Han, Jian Lu