Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTaolue Chen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j42]Yu Zhou, Chen Chen, Yongchao Wang, Tingting Han, Taolue Chen:
Context-aware API recommendation using tensor factorization. Sci. China Inf. Sci. 66(2) (2023)- [j41]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) - [i31]Shuqi Liu, Yu Zhou, Tingting Han, Taolue Chen:
Test Reuse Based on Adaptive Semantic Matching across Android Mobile Applications. CoRR abs/2301.00530 (2023) - [i30]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) - 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) - [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 - [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
- [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) - [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 - [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
- [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) - [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 - [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)
2010 – 2019
- 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) - [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 - [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
- [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) - [c64]Taolue Chen, Jinlong He, Fu Song, Guozhen Wang, Zhilin Wu, Jun Yan:
Android Stack Machine. CAV (2) 2018: 487-504 - [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
- [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) - [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 - [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) - 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) - [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
- [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) - [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 - [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
- [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) - [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 - [i5]Taolue Chen, Stefan Kiefer:
On the Total Variation Distance of Labelled Markov Chains. CoRR abs/1405.2852 (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) - [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 - [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
- [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]