default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTaolue Chen 0001
Person information
- affiliation: School of Computing and Mathematical Sciences, Birkbeck, University of London, UK
Other persons with the same name
- Taolue Chen 0002 — Zhejiang A&F University, Hangzhou, Zhejiang, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
[j52]Xiangyu Zhang, Yu Zhou, Guang Yang, Tingting Han, Taolue Chen
:
Context-aware code generation with synchronous bidirectional decoder. J. Syst. Softw. 214: 112066 (2024)- [j51]Pu Sun, Fu Song, Yuqi Chen, Taolue Chen:
EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis. Proc. ACM Program. Lang. 8(POPL): 848-881 (2024) - [j50]Luwei Cai, Fu Song, Taolue Chen:
Towards Efficient Verification of Constant-Time Cryptographic Implementations. Proc. ACM Softw. Eng. 1(FSE): 1019-1042 (2024) - [j49]Shuqi Liu, Yu Zhou, Longbing Ji, Tingting Han, Taolue Chen:
Enhancing test reuse with GUI events deduplication and adaptive semantic matching. Sci. Comput. Program. 232: 103052 (2024) - [j48]Yu Zhou, Weilin Zhan, Zi Li, Tingting Han, Taolue Chen, Harald C. Gall:
DRIVE: Dockerfile Rule Mining and Violation Detection. ACM Trans. Softw. Eng. Methodol. 33(2): 30:1-30:23 (2024) - [j47]Guang Yang, Yu Zhou, Wenhua Yang, Tao Yue, Xiang Chen, Taolue Chen:
How Important Are Good Method Names in Neural Code Generation? A Model Robustness Perspective. ACM Trans. Softw. Eng. Methodol. 33(3): 60:1-60:35 (2024) - [j46]Pengfei Gao, Fu Song, Taolue Chen:
Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks. ACM Trans. Softw. Eng. Methodol. 33(3): 79:1-79:38 (2024) - 2023
- [j45]Yu Zhou, Chen Chen, Yongchao Wang, Tingting Han, Taolue Chen:
Context-aware API recommendation using tensor factorization. Sci. China Inf. Sci. 66(2) (2023) - [j44]Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Yiran Xu, Tingting Han, Taolue Chen:
A syntax-guided multi-task learning approach for Turducken-style code generation. Empir. Softw. Eng. 28(6): 141 (2023) - [j43]Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Tingting Han, Taolue Chen:
ExploitGen: Template-augmented exploit code generation based on CodeBERT. J. Syst. Softw. 197: 111577 (2023) - [j42]Pengfei Gao, Yedi Zhang, Fu Song, Taolue Chen, François-Xavier Standaert:
Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks. Proc. ACM Program. Lang. 7(OOPSLA2): 1817-1847 (2023) - [j41]Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen:
Precise Quantitative Analysis of Binarized Neural Networks: A BDD-based Approach. ACM Trans. Softw. Eng. Methodol. 32(3): 62:1-62:51 (2023) - 2022
- [j40]Pengfei Gao, Yongjie Xu, Fu Song, Taolue Chen:
Model-based automated testing of JavaScript Web applications via longer test sequences. Frontiers Comput. Sci. 16(3): 163204 (2022) - [j39]Yongchao Wang, Yu Zhou, Taolue Chen, Jingxuan Zhang, Wenhua Yang, Zhiqiu Huang:
Sequence-Aware API Recommendation Based on Collaborative Filtering. Int. J. Softw. Eng. Knowl. Eng. 32(8): 1203-1228 (2022) - [j38]Yongjie Xu, Fu Song, Taolue Chen:
ESampler: Boosting sampling of satisfying assignments for Boolean formulas via derivation. J. Syst. Archit. 129: 102615 (2022) - [j37]Yu Zhou, Juanjuan Shen, Xiaoqing Zhang, Wenhua Yang, Tingting Han, Taolue Chen:
Automatic source code summarization with graph attention networks. J. Syst. Softw. 188: 111257 (2022) - [j36]Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu:
Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proc. ACM Program. Lang. 6(POPL): 1-31 (2022) - [j35]Yu Zhou, Xiaoqing Zhang, Juanjuan Shen, Tingting Han, Taolue Chen, Harald C. Gall:
Adversarial Robustness of Deep Code Comment Generation. ACM Trans. Softw. Eng. Methodol. 31(4): 60:1-60:30 (2022) - [j34]Pengfei Gao, Hongyi Xie, Pu Sun, Jun Zhang, Fu Song, Taolue Chen:
Formal Verification of Masking Countermeasures for Arithmetic Programs. IEEE Trans. Software Eng. 48(3): 973-1000 (2022) - [j33]Yu Zhou, Xinying Yang, Taolue Chen, Zhiqiu Huang, Xiaoxing Ma, Harald C. Gall:
Boosting API Recommendation With Implicit Feedback. IEEE Trans. Software Eng. 48(6): 2157-2172 (2022) - 2021
- [j32]Raid Rafi Omar Al-Nima, Tingting Han, Saadoon A. M. Al-Sumaidaee, Taolue Chen, Wai Lok Woo:
Robustness and performance of Deep Reinforcement Learning. Appl. Soft Comput. 105: 107295 (2021) - [j31]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. 33(3): 437-455 (2021) - [j30]Giuseppe Primiero, Franco Raimondi, Taolue Chen:
A theory of change for prioritised resilient and evolvable software systems. Synth. 198(23): 5719-5744 (2021) - [j29]Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen:
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs. ACM Trans. Softw. Eng. Methodol. 30(3): 26:1-26:42 (2021) - [j28]Yu Zhou, Yanqi Su, Taolue Chen, Zhiqiu Huang, Harald C. Gall, Sebastiano Panichella:
User Review-Based Change File Localization for Mobile Applications. IEEE Trans. Software Eng. 47(12): 2755-2770 (2021) - 2020
- [j27]Yu Zhou, Tingting Han, Taolue Chen, Shiqi Zhou:
Probabilistic analysis of QoS-aware service composition with explicit environment models. IET Softw. 14(1): 59-71 (2020) - [j26]Yue-Huan Wang, Zenan Li, Jingwei Xu, Ping Yu, Taolue Chen, Xiaoxing Ma:
Predicted Robustness as QoS for Deep Neural Network Models. J. Comput. Sci. Technol. 35(5): 999-1015 (2020) - [j25]Yu Zhou, Changzhi Wang, Xin Yan, Taolue Chen, Sebastiano Panichella, Harald C. Gall:
Automatic Detection and Repair Recommendation of Directive Defects in Java API Documentation. IEEE Trans. Software Eng. 46(9): 1004-1023 (2020) - 2019
- [j24]Yedi Zhang, Fu Song, Taolue Chen:
Making Agents' Abilities Explicit. IEEE Access 7: 101804-101819 (2019) - [j23]Raid Rafi Omar Al-Nima, Tingting Han, Saadoon A. M. Al-Sumaidaee, Taolue Chen:
Deep finger texture learning for verifying people. IET Biom. 8(1): 40-48 (2019) - [j22]Yu Zhou, Xin Yan, Wenhua Yang, Taolue Chen, Zhiqiu Huang:
Augmenting Java method comments generation with context information based on neural networks. J. Syst. Softw. 156: 328-340 (2019) - [j21]Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu:
Decision procedures for path feasibility of string-manipulating programs with complex operations. Proc. ACM Program. Lang. 3(POPL): 49:1-49:30 (2019) - 2018
- [j20]Hengyang Wu, Taolue Chen, Tingting Han, Yixiang Chen:
Bisimulations for fuzzy transition systems revisited. Int. J. Approx. Reason. 99: 1-11 (2018) - [j19]Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu:
What is decidable about string constraints with the ReplaceAll function. Proc. ACM Program. Lang. 2(POPL): 3:1-3:29 (2018) - [j18]Taolue Chen, Tingting Han, Yongzhi Cao:
Polynomial-time algorithms for computing distances of fuzzy transition systems. Theor. Comput. Sci. 727: 24-36 (2018) - 2017
- [j17]Barnaby Martin, Franco Raimondi, Taolue Chen, Jos Martin:
The packing chromatic number of the infinite square lattice is between 13 and 15. Discret. Appl. Math. 225: 136-142 (2017) - [j16]Yu Zhou, Yanxiang Tong, Taolue Chen, Jin Han:
Augmenting Bug Localization with Part-of-Speech and Invocation. Int. J. Softw. Eng. Knowl. Eng. 27(6): 925-950 (2017) - 2016
- [j15]Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta:
A Computationally Grounded, Weighted Doxastic Logic. Stud Logica 104(4): 679-703 (2016) - [j14]Guoxin Su, Yuan Feng, Taolue Chen, David S. Rosenblum:
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters. IEEE Trans. Software Eng. 42(7): 623-639 (2016) - 2015
- [j13]Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek:
On the Axiomatizability of Impossible Futures. Log. Methods Comput. Sci. 11(3) (2015) - [j12]Taolue Chen, Nengkun Yu, Tingting Han:
Continuous-time orbit problems are decidable in polynomial-time. Inf. Process. Lett. 115(1): 11-14 (2015) - 2014
- [j11]Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Inf. Comput. 236: 87-101 (2014) - 2013
- [j10]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Automatic verification of competitive stochastic systems. Formal Methods Syst. Des. 43(1): 61-92 (2013) - [j9]Taolue Chen, Tingting Han, Marta Z. Kwiatkowska:
On the complexity of model checking interval-valued discrete time Markov chains. Inf. Process. Lett. 113(7): 210-216 (2013) - [j8]Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
Verification of linear duration properties over continuous-time markov chains. ACM Trans. Comput. Log. 14(4): 33:1-33:35 (2013) - 2011
- [j7]Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Log. Methods Comput. Sci. 7(1) (2011) - [j6]Luca Aceto, Taolue Chen, Anna Ingólfsdóttir, Bas Luttik, Jaco van de Pol:
On the axiomatizability of priority II. Theor. Comput. Sci. 412(28): 3035-3044 (2011) - 2009
- [j5]Taolue Chen, Tingting Han, Jian Lu:
On metrics for probabilistic systems: Definitions and algorithms. Comput. Math. Appl. 57(6): 991-999 (2009) - 2008
- [j4]Taolue Chen, Wan J. Fokkink, Bas Luttik, Sumit Nain:
On finite alphabets and infinite bases. Inf. Comput. 206(5): 492-519 (2008) - [j3]Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek:
Ready to preorder: The case of weak process semantics. Inf. Process. Lett. 109(2): 104-111 (2008) - [j2]Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir:
On the axiomatisability of priority. Math. Struct. Comput. Sci. 18(1): 5-28 (2008) - 2006
- [j1]Taolue Chen, Tingting Han, Jian Lu:
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence. Acta Cybern. 17(3): 471-483 (2006)
Conference and Workshop Papers
- 2023
- [c93]Mingyang Liu, Fu Song, Taolue Chen:
Automated Verification of Correctness for Masked Arithmetic Programs. CAV (3) 2023: 255-280 - [c92]Xiangyu Zhang, Yu Zhou, Guang Yang, Taolue Chen:
Syntax-Aware Retrieval Augmented Code Generation. EMNLP (Findings) 2023: 1291-1302 - [c91]Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü:
Softened Symbol Grounding for Neuro-symbolic Systems. ICLR 2023 - [c90]Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü:
Learning with Logical Constraints but without Shortcut Satisfaction. ICLR 2023 - [c89]Zenan Li, Maorun Zhang, Jingwei Xu, Yuan Yao, Chun Cao, Taolue Chen, Xiaoxing Ma, Jian Lu:
Lightweight Approaches to DNN Regression Error Reduction: An Uncertainty Alignment Perspective. ICSE 2023: 1187-1199 - [c88]Zenan Li, Yunpeng Huang, Zhaoyu Li, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lu:
Neuro-symbolic Learning Yielding Logical Constraints. NeurIPS 2023 - 2022
- [c87]Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu:
PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation. CAV (1) 2022: 385-406 - [c86]Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Min Zhang, Taolue Chen, Jun Sun:
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. ASE 2022: 82:1-82:13 - [c85]Sen Wang, Zhuheng Sheng, Jingwei Xu, Taolue Chen, Junjun Zhu, Shuhui Zhang, Yuan Yao, Xiaoxing Ma:
ADEPT: A Testing Platform for Simulated Autonomous Driving. ASE 2022: 150:1-150:4 - [c84]Shuqi Liu, Yu Zhou, Tingting Han, Taolue Chen:
Test Reuse based on Adaptive Semantic Matching across Android Mobile Applications. QRS 2022: 703-709 - [c83]Zhe Zhao, Yedi Zhang, Guangke Chen, Fu Song, Taolue Chen, Jiaxiang Liu:
CLEVEREST: Accelerating CEGAR-based Neural Network Verification via Adversarial Attacks. SAS 2022: 449-473 - [c82]Qi Qin, JulianAndres JiYang, Fu Song, Taolue Chen, Xinyu Xing:
DeJITLeak: eliminating JIT-induced timing side-channel leaks. ESEC/SIGSOFT FSE 2022: 872-884 - 2021
- [c81]Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen:
BDD4BNN: A BDD-Based Quantitative Analysis Framework for Binarized Neural Networks. CAV (1) 2021: 175-200 - [c80]Yongchao Wang, Yu Zhou, Taolue Chen, Jingxuan Zhang, Wenhua Yang, Zhiqiu Huang:
Hybrid Collaborative Filtering-Based API Recommendation. QRS 2021: 906-914 - [c79]Juanjuan Shen, Yu Zhou, Yongchao Wang, Xiang Chen, Tingting Han, Taolue Chen:
Evaluating Code Summarization with Improved Correlation with Human Assessment. QRS 2021: 990-1001 - [c78]Yongjie Xu, Fu Song, Taolue Chen:
ESampler: Efficient Sampling of Satisfying Assignments for Boolean Formulas. SETTA 2021: 279-298 - [c77]Yu Zhou, Haonan Jin, Xinying Yang, Taolue Chen, Krishna Narasimhan, Harald C. Gall:
BRAID: an API recommender supporting implicit user feedback. ESEC/SIGSOFT FSE 2021: 1510-1514 - 2020
- [c76]Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA 2020: 325-342 - [c75]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu:
Synthesizing barrier certificates using neural networks. HSCC 2020: 25:1-25:11 - [c74]Liyu Fang, Zhiqiu Huang, Yu Zhou, Taolue Chen:
Adaptive Code Completion with Meta-learning. Internetware 2020: 116-125 - [c73]Xiaoqing Zhang, Yu Zhou, Tingting Han, Taolue Chen:
Training Deep Code Comment Generation Models via Data Augmentation. Internetware 2020: 185-188 - [c72]Xie Li, Taolue Chen, Zhilin Wu, Mingji Xia:
Computing Linear Arithmetic Representation of Reachability Relation of One-Counter Automata. SETTA 2020: 89-107 - [c71]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. SETTA 2020: 177-185 - 2019
- [c70]Fu Song, Yedi Zhang, Taolue Chen, Yu Tang, Zhiwu Xu:
Probabilistic Alternating-Time µ-Calculus. AAAI 2019: 6179-6186 - [c69]Jinlong He, Taolue Chen, Ping Wang, Zhilin Wu, Jun Yan:
Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps. APLAS 2019: 291-312 - [c68]Raid Rafi Omar Al-Nima, Tingting Han, Taolue Chen:
Road Tracking Using Deep Reinforcement Learning for Self-driving Car Applications. CORES 2019: 106-116 - [c67]Yu Zhou, Xin Yan, Taolue Chen, Sebastiano Panichella, Harald C. Gall:
DRONE: a tool to detect and repair directive defects in Java APIs documentation. ICSE (Companion Volume) 2019: 115-118 - [c66]Chong Gao, Taolue Chen, Zhilin Wu:
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. SOFSEM 2019: 206-220 - [c65]Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen:
Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks. TACAS (1) 2019: 155-173 - 2018
- [c64]Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan:
Android Stack Machine. CAV (2) 2018: 487-504 - 2017
- [c63]Zhaowei Xu, Taolue Chen, Zhilin Wu:
Satisfiability of Compositional Separation Logic with Tree Predicates and Data Constraints. CADE 2017: 509-527 - [c62]Taolue Chen, Fu Song, Zhilin Wu:
Tractability of Separation Logic with Inductive Definitions: Beyond Lists. CONCUR 2017: 37:1-37:17 - [c61]Giuseppe Primiero, Franco Raimondi, Taolue Chen, Rajagopal Nagarajan:
A Proof-Theoretic Trust and Reputation Model for VANET. EuroS&P Workshops 2017: 146-152 - [c60]Taolue Chen, Fu Song, Zhilin Wu:
Model Checking Pushdown Epistemic Game Structures. ICFEM 2017: 36-53 - [c59]Yu Zhou, Ruihang Gu, Taolue Chen, Zhiqiu Huang, Sebastiano Panichella, Harald C. Gall:
Analyzing APIs documentation and code to detect directive defects. ICSE 2017: 27-37 - [c58]Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum:
ProEva: runtime proactive performance evaluation based on continuous-time markov chains. ICSE 2017: 484-495 - 2016
- [c57]Taolue Chen, Fu Song, Zhilin Wu:
Global Model Checking on Pushdown Multi-Agent Systems. AAAI 2016: 2459-2465 - [c56]Xincai Gu, Taolue Chen, Zhilin Wu:
A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints. IJCAR 2016: 532-549 - [c55]Taolue Chen, Tingting Han, Florian Kammueller, Ibrahim Nemli, Christian W. Probst:
Model based analysis of insider threats. Cyber Security And Protection Of Digital Services 2016: 1-3 - [c54]Guoxin Su, Taolue Chen, Yuan Feng, David S. Rosenblum, P. S. Thiagarajan:
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems. FASE 2016: 269-286 - [c53]Taolue Chen, Fu Song, Zhilin Wu:
Verifying Pushdown Multi-Agent Systems against Strategy Logics. IJCAI 2016: 180-186 - [c52]Taolue Chen, Fu Song, Zhilin Wu:
Formal Reasoning on Infinite Data Values: An Ongoing Quest. SETSS 2016: 195-257 - 2015
- [c51]Taolue Chen, Fu Song, Zhilin Wu:
On the Satisfiability of Indexed Linear Temporal Logics. CONCUR 2015: 254-267 - [c50]Taolue Chen, Florian Kammüller, Ibrahim Nemli, Christian W. Probst:
A Probabilistic Analysis Framework for Malicious Insider Threats. HCI (22) 2015: 178-189 - [c49]Jiayi Gu, Yu Zhou, Weigang Wu, Taolue Chen:
Analyzing Eventual Leader Election Protocols for Dynamic Systems by Probabilistic Model Checking. ICCCS 2015: 192-205 - [c48]Yanxiang Tong, Yu Zhou, Lisheng Fang, Taolue Chen:
Towards A Novel Approach for Defect Localization Based on Part-of-Speech and Invocation. Internetware 2015: 52-61 - 2014
- [c47]Taolue Chen, Yuan Feng, David S. Rosenblum, Guoxin Su:
Perturbation Analysis in Verification of Discrete-Time Markov Chains. CONCUR 2014: 218-233 - [c46]Taolue Chen, Stefan Kiefer:
On the total variation distance of labelled Markov chains. CSL-LICS 2014: 33:1-33:10 - [c45]Taolue Chen, Tingting Han:
On the Complexity of Computing Maximum Entropy for Markovian Models. FSTTCS 2014: 571-583 - 2013
- [c44]Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis:
Solvency Markov Decision Processes with Interest. FSTTCS 2013: 487-499 - [c43]Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
A simulink hybrid heart model for quantitative verification of cardiac pacemakers. HSCC 2013: 131-136 - [c42]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche:
On Stochastic Games with Multiple Objectives. MFCS 2013: 266-277 - [c41]Taolue Chen, Marta Z. Kwiatkowska, Aistis Simaitis, Clemens Wiltsche:
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving. QEST 2013: 322-337 - [c40]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
PRISM-games: A Model Checker for Stochastic Multi-Player Games. TACAS 2013: 185-191 - [c39]Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang:
Model Repair for Markov Decision Processes. TASE 2013: 85-92 - 2012
- [c38]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels:
Playing Stochastic Games Precisely. CONCUR 2012: 348-363 - [c37]Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Z. Kwiatkowska:
A Compositional Specification Theory for Component Behaviours. ESOP 2012: 148-168 - [c36]Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
Verification of linear duration properties over continuous-time markov chains. HSCC 2012: 265-274 - [c35]Taolue Chen, Klaus Dräger, Stefan Kiefer:
Model Checking Stochastic Branching Processes. MFCS 2012: 271-282 - [c34]Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
Quantitative Verification of Implantable Cardiac Pacemakers. RTSS 2012: 263-272 - [c33]Taolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Automatic Verification of Competitive Stochastic Systems. TACAS 2012: 315-330 - 2011
- [c32]Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Reachability probabilities in Markovian Timed Automata. CDC/ECC 2011: 7075-7080 - [c31]Taolue Chen, Marta Z. Kwiatkowska, David Parker, Aistis Simaitis:
Verifying Team Formation Protocols with Probabilistic Model Checking. CLIMA 2011: 190-207 - [c30]Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre:
Time-Bounded Verification of CTMCs against Real-Time Specifications. FORMATS 2011: 26-42 - [c29]Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Observing Continuous-Time MDPs by 1-Clock Timed Automata. RP 2011: 2-25 - [c28]Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Efficient CTMC Model Checking of Linear Real-Time Objectives. TACAS 2011: 128-142 - 2010
- [c27]Taolue Chen, Jian Lu:
Towards Analysis of Semi-Markov Decision Processes. AICI (1) 2010: 41-48 - 2009
- [c26]Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
LTL Model Checking of Time-Inhomogeneous Markov Chains. ATVA 2009: 104-119 - [c25]Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. LICS 2009: 309-318 - [c24]Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek:
On Finite Bases for Weak Semantics: Failures Versus Impossible Futures. SOFSEM 2009: 167-180 - [c23]Jasper Berendsen, Taolue Chen, David N. Jansen:
Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata. TAMC 2009: 128-137 - 2008
- [c22]Taolue Chen, Jian Lu:
Towards the Complexity of Controls for Timed Automata with a Small Number of Clocks. FSKD (5) 2008: 134-138 - [c21]Taolue Chen, Wan J. Fokkink:
On the Axiomatizability of Impossible Futures: Preorder versus Equivalence. LICS 2008: 156-165 - [c20]Taolue Chen, Tingting Han, Joost-Pieter Katoen:
Time-Abstracting Bisimulation for Probabilistic Timed Automata. TASE 2008: 177-184 - [c19]Taolue Chen, Jaco van de Pol, Yanjing Wang:
PDL over Accelerated Labeled Transition Systems. TASE 2008: 193-200 - [c18]Taolue Chen, Jian Lu:
Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration. FICS 2008: 55-70 - 2007
- [c17]Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse:
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. CONCUR 2007: 120-135 - [c16]Taolue Chen, Tingting Han, Jian Lu:
On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm. FSKD (2) 2007: 21-25 - [c15]Taolue Chen, Jian Lu:
Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm. FSKD (2) 2007: 35-39 - 2006
- [c14]Taolue Chen, Wan J. Fokkink:
On Finite Alphabets and Infinite Bases III: Simulation. CONCUR 2006: 421-434 - [c13]Taolue Chen, Wan J. Fokkink, Sumit Nain:
On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation. FoSSaCS 2006: 1-15 - [c12]Taolue Chen, Tingting Han, Jian Lu:
On the Markovian Randomized Strategy of Controller for Markov Decision Processes. FSKD 2006: 149-158 - [c11]Luca Aceto, Taolue Chen, Wan J. Fokkink, Anna Ingólfsdóttir:
On the Axiomatizability of Priority. ICALP (2) 2006: 480-491 - 2005
- [c10]Taolue Chen, Tingting Han, Jian Lu:
Analysis of A Leader Election Algorithm in uCRL. CIT 2005: 841-847 - [c9]Tingting Han, Taolue Chen, Jian Lu:
Structure Analysis for Dynamic Software Architecture Based on Spatial Logic. COMPSAC (1) 2005: 71-76 - [c8]Taolue Chen, Tingting Han, Jian Lu:
On the Bisimulation Congruence in chi-Calculus. FSTTCS 2005: 128-139 - [c7]Tingting Han, Taolue Chen, Jian Lu:
Structure Analysis for Dynamic Software Architecture. SNPD 2005: 338 - 2004
- [c6]Taolue Chen, Tingting Han, Jian Lu:
Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient. CIT 2004: 540-545 - [c5]Taolue Chen, Tingting Han, Jian Lu:
Towards a Model Logic for p-Calculus. COMPSAC 2004: 330-335 - [c4]Taolue Chen, Tingting Han, Jian Lu:
Tree logic with recursion and model checking algorithm. IASTED Conf. on Software Engineering and Applications 2004: 588-593 - [c3]Taolue Chen, Jingyang Zhou, Tingting Han, Jian Lu:
Checking Strong Open Congruence in Chi -Calculus. CATS 2004: 4-20 - [c2]Taolue Chen, Tingting Han, Jian Lu:
A Modal Logic for pi-Calculus and Model Checking Algorithm. WoLLIC 2004: 19-33 - 2003
- [c1]Taolue Chen, Tingting Han, Jian Lu:
Intensionality of modal logic for Robust Ambient Calculus. FGC 2003: 25-38
Informal and Other Publications
- 2024
- [i40]Luwei Cai, Fu Song, Taolue Chen:
Towards Efficient Verification of Constant-Time Cryptographic Implementations. CoRR abs/2402.13506 (2024) - [i39]Zenan Li, Yuan Yao, Taolue Chen, Jingwei Xu, Chun Cao, Xiaoxing Ma, Jian Lü:
Softened Symbol Grounding for Neuro-symbolic Systems. CoRR abs/2403.00323 (2024) - [i38]Zenan Li, Zehua Liu, Yuan Yao, Jingwei Xu, Taolue Chen, Xiaoxing Ma, Jian Lü:
Learning with Logical Constraints but without Shortcut Satisfaction. CoRR abs/2403.00329 (2024) - [i37]Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Terry Yue Zhuo, David Lo, Taolue Chen:
DeCE: Deceptive Cross-Entropy Loss Designed for Defending Backdoor Attacks. CoRR abs/2407.08956 (2024) - 2023
- [i36]Shuqi Liu, Yu Zhou, Tingting Han, Taolue Chen:
Test Reuse Based on Adaptive Semantic Matching across Android Mobile Applications. CoRR abs/2301.00530 (2023) - [i35]Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Yiran Xu, Tingting Han, Taolue Chen:
A Syntax-Guided Multi-Task Learning Approach for Turducken-Style Code Generation. CoRR abs/2303.05061 (2023) - [i34]Mingyang Liu, Fu Song, Taolue Chen:
Automated Verification of Correctness for Masked Arithmetic Programs. CoRR abs/2305.16596 (2023) - [i33]Huiyu Tan, Pengfei Gao, Taolue Chen, Fu Song, Zhilin Wu:
SAT-based Formal Fault-Resistance Verification of Cryptographic Circuits. CoRR abs/2307.00561 (2023) - [i32]Guang Yang, Yu Zhou, Xiangyu Zhang, Xiang Chen, Tingting Han, Taolue Chen:
Assessing and Improving Syntactic Adversarial Robustness of Pre-trained Models for Code Translation. CoRR abs/2310.18587 (2023) - [i31]Yunpeng Huang, Jingwei Xu, Zixu Jiang, Junyu Lai, Zenan Li, Yuan Yao, Taolue Chen, Lijuan Yang, Zhou Xin, Xiaoxing Ma:
Advancing Transformer Architecture in Long-Context Large Language Models: A Comprehensive Survey. CoRR abs/2311.12351 (2023) - [i30]Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Terry Yue Zhuo, Taolue Chen:
Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models. CoRR abs/2312.05562 (2023) - 2022
- [i29]Qi Qin, JulianAndres JiYang, Fu Song, Taolue Chen, Xinyu Xing:
Preventing Timing Side-Channels via Security-Aware Just-In-Time Compilation. CoRR abs/2202.13134 (2022) - [i28]Guang Yang, Yu Zhou, Wenhua Yang, Tao Yue, Xiang Chen, Taolue Chen:
How Important are Good Method Names in Neural Code Generation? A Model Robustness Perspective. CoRR abs/2211.15844 (2022) - [i27]Yu Zhou, Weilin Zhan, Zi Li, Tingting Han, Taolue Chen, Harald C. Gall:
DRIVE: Dockerfile Rule Mining and Violation Detection. CoRR abs/2212.05648 (2022) - [i26]Yedi Zhang, Zhe Zhao, Fu Song, Min Zhang, Taolue Chen, Jun Sun:
QVIP: An ILP-based Formal Verification Approach for Quantized Neural Networks. CoRR abs/2212.11138 (2022) - 2021
- [i25]Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen:
BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks. CoRR abs/2103.07224 (2021) - [i24]Yu Zhou, Xiaoqing Zhang, Juanjuan Shen, Tingting Han, Taolue Chen, Harald C. Gall:
Adversarial Robustness of Deep Code Comment Generation. CoRR abs/2108.00213 (2021) - [i23]Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables. CoRR abs/2111.04298 (2021) - 2020
- [i22]Yu Zhou, Xinying Yang, Taolue Chen, Zhiqiu Huang, Xiaoxing Ma, Harald C. Gall:
Boosting API Recommendation with Implicit Feedback. CoRR abs/2002.01264 (2020) - [i21]Raid Rafi Omar Al-Nima, Tingting Han, Taolue Chen, Satnam Singh Dlay, Jonathon A. Chambers:
Finger Texture Biometric Characteristic: a Survey. CoRR abs/2006.04193 (2020) - [i20]Pengfei Gao, Hongyi Xie, Fu Song, Taolue Chen:
A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs. CoRR abs/2006.09171 (2020) - [i19]Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu:
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. CoRR abs/2007.06913 (2020) - [i18]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. CoRR abs/2009.09826 (2020) - 2019
- [i17]Pengfei Gao, Hongyi Xie, Jun Zhang, Fu Song, Taolue Chen:
Quantitative Verification of Masked Arithmetic Programs against Side-Channel Attacks. CoRR abs/1901.09706 (2019) - [i16]Yu Zhou, Yanqi Su, Taolue Chen, Zhiqiu Huang, Harald C. Gall, Sebastiano Panichella:
User Review-Based Change File Localization for Mobile Applications. CoRR abs/1903.00894 (2019) - [i15]Guisen Wu, Liyun Dai, Zhiming Liu, Taolue Chen, Jun Pang, Hongyang Qu:
Online Observability of Boolean Control Networks. CoRR abs/1903.07462 (2019) - [i14]Pengfei Gao, Fu Song, Taolue Chen, Yao Zeng, Ting Su:
Model-based Automated Testing of JavaScript Web Applications via Longer Test Sequences. CoRR abs/1905.07671 (2019) - 2018
- [i13]Liyun Dai, Bo Liu, Zhiming Liu, Taolue Chen:
Parameter Synthesis Problems for Parametric Timed Automata. CoRR abs/1808.06792 (2018) - [i12]Liyun Dai, Taolue Chen, Zhiming Liu, Bican Xia, Naijun Zhan, Kim G. Larsen:
Parameter Synthesis Problems for one parametric clock Timed Automata. CoRR abs/1809.07177 (2018) - [i11]Chong Gao, Taolue Chen, Zhilin Wu:
Separation Logic with Linearly Compositional Inductive Predicates and Set Data Constraints. CoRR abs/1811.00699 (2018) - [i10]Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu:
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations. CoRR abs/1811.03167 (2018) - [i9]Yedi Zhang, Fu Song, Taolue Chen:
Making Agents' Abilities Explicit. CoRR abs/1811.10901 (2018) - 2017
- [i8]Taolue Chen, Tingting Han, Yongzhi Cao:
Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems. CoRR abs/1701.06644 (2017) - [i7]Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu:
What Is Decidable about String Constraints with the ReplaceAll Function. CoRR abs/1711.03363 (2017) - 2015
- [i6]Barnaby Martin, Franco Raimondi, Taolue Chen, Jos Martin:
The packing chromatic number of the infinite square lattice is less than or equal to 16. CoRR abs/1510.02374 (2015) - 2014
- [i5]Taolue Chen, Stefan Kiefer:
On the Total Variation Distance of Labelled Markov Chains. CoRR abs/1405.2852 (2014) - 2013
- [i4]Taolue Chen, Xiaoming Sun, Nengkun Yu:
Orbit Problem Revisited. CoRR abs/1302.0566 (2013) - [i3]Tomás Brázdil, Taolue Chen, Vojtech Forejt, Petr Novotný, Aistis Simaitis:
Solvency Markov Decision Processes with Interest. CoRR abs/1310.3119 (2013) - 2012
- [i2]Taolue Chen, Klaus Dräger, Stefan Kiefer:
Model Checking Stochastic Branching Processes. CoRR abs/1206.1317 (2012) - 2008
- [i1]Taolue Chen, Wan J. Fokkink, Rob J. van Glabbeek:
On Finite Bases for Weak Semantics: Failures versus Impossible Futures. CoRR abs/0810.4904 (2008)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 01:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
