دنبال کردن
Taolue Chen
Taolue Chen
School of Computing and Mathematical Sciences, Birkbeck, University of London
ایمیل تأیید شده در bbk.ac.uk - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
Automatic verification of competitive stochastic systems‏
T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis‏
Tools and Algorithms for the Construction and Analysis of Systems, 315-330, 2012‏
2182012
PRISM-games: A model checker for stochastic multi-player games‏
T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis‏
Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013‏
1832013
Analyzing APIs documentation and code to detect directive defects‏
Y Zhou, R Gu, T Chen, Z Huang, S Panichella, H Gall‏
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017‏
1272017
Model repair for Markov decision processes‏
T Chen, EM Hahn, T Han, M Kwiatkowska, H Qu, L Zhang‏
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013‏
942013
Decision procedures for path feasibility of string-manipulating programs with complex operations‏
T Chen, M Hague, AW Lin, P Rümmer, Z Wu‏
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019‏
912019
On stochastic games with multiple objectives‏
T Chen, V Forejt, M Kwiatkowska, A Simaitis, C Wiltsche‏
MFCS, 2013‏
852013
Probabilistic alternating-time temporal logic and model checking algorithm‏
T Chen, J Lu‏
Fourth International Conference on Fuzzy Systems and Knowledge Discovery …, 2007‏
792007
Synthesizing barrier certificates using neural networks‏
H Zhao, X Zeng, T Chen, Z Liu‏
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020‏
772020
Synthesis for multi-objective stochastic games: An application to autonomous urban driving‏
T Chen, M Kwiatkowska, A Simaitis, C Wiltsche‏
Quantitative Evaluation of Systems: 10th International Conference, QEST 2013 …, 2013‏
702013
Quantitative model checking of continuous-time Markov chains against timed automata specifications‏
T Chen, T Han, JP Katoen, A Mereacre‏
2009 24th Annual IEEE Symposium on Logic In Computer Science, 309-318, 2009‏
702009
Model checking of continuous-time Markov chains against timed automata specifications‏
T Chen, T Han, JP Katoen, A Mereacre‏
Logical Methods in Computer Science 7, 2011‏
692011
A compositional specification theory for component behaviours‏
T Chen, C Chilton, B Jonsson, M Kwiatkowska‏
Programming Languages and Systems: 21st European Symposium on Programming …, 2012‏
622012
What is decidable about string constraints with the replaceall function‏
T Chen, Y Chen, M Hague, AW Lin, Z Wu‏
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017‏
602017
Learning safe neural network controllers with barrier certificates‏
H Zhao, X Zeng, T Chen, Z Liu, J Woodcock‏
Formal Aspects of Computing 33, 437-455, 2021‏
552021
Equivalence checking for infinite systems using parameterized boolean equation systems‏
T Chen, B Ploeger, J Van De Pol, TAC Willemse‏
International Conference on Concurrency Theory, 120-135, 2007‏
552007
Quantitative verification of implantable cardiac pacemakers over hybrid heart models‏
T Chen, M Diciolla, M Kwiatkowska, A Mereacre‏
Information and Computation 236, 87-101, 2014‏
542014
Adversarial robustness of deep code comment generation‏
Y Zhou, X Zhang, J Shen, T Han, T Chen, H Gall‏
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-30, 2022‏
532022
Automatic detection and repair recommendation of directive defects in Java API documentation‏
Y Zhou, C Wang, X Yan, T Chen, S Panichella, H Gall‏
IEEE Transactions on Software Engineering 46 (9), 1004-1023, 2018‏
532018
Efficient CTMC model checking of linear real-time objectives‏
B Barbot, T Chen, T Han, JP Katoen, A Mereacre‏
International Conference on Tools and Algorithms for the Construction and …, 2011‏
522011
On the total variation distance of labelled Markov chains‏
T Chen, S Kiefer‏
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference …, 2014‏
492014
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20