关注
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
2012012
PRISM-games: A model checker for stochastic multi-player games
T Chen, V Forejt, M Kwiatkowska, D Parker, A Simaitis
International Conference on Tools and Algorithms for the Construction and …, 2013
1802013
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
1352017
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
912013
On stochastic games with multiple objectives
T Chen, V Forejt, M Kwiatkowska, A Simaitis, C Wiltsche
MFCS, 2013
812013
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), 49, 2019
752019
Probabilistic alternating-time temporal logic and model checking algorithm
T Chen, J Lu
Fourth International Conference on Fuzzy Systems and Knowledge Discovery …, 2007
712007
Model checking of continuous-time Markov chains against timed automata specifications
T Chen, T Han, JP Katoen, A Mereacre
Arxiv preprint arXiv:1101.3694, 2011
682011
Synthesis for multi-objective stochastic games: An application to autonomous urban driving
T Chen, M Kwiatkowska, A Simaitis, C Wiltsche
International Conference on Quantitative Evaluation of Systems, 322-337, 2013
672013
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
662009
Synthesizing barrier certificates using neural networks
H Zhao, X Zeng, T Chen, Z Liu
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
632020
A compositional specification theory for component behaviours
T Chen, C Chilton, B Jonsson, M Kwiatkowska
European Symposium on Programming, 148-168, 2012
612012
A compositional specification theory for component behaviours
T Chen, C Chilton, B Jonsson, M Kwiatkowska
Programming Languages and Systems, 148-168, 2012
612012
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
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), 3, 2017
542017
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
Automatic Detection and Repair Recommendation of Directive Defects in Java API Documentation
Y Zhou, C Wang, X Yan, T Chen, S Panichella, HC Gall
IEEE Transactions on Software Engineering, 2018
512018
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
512011
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
462014
Learning Safe Neural Network Controllers with Barrier Certificates
H Zhao, X Zeng, T Chen, Z Liu, J Woodcock
International Symposium on Dependable Software Engineering: Theories, Tools …, 2020
442020
系统目前无法执行此操作，请稍后再试。
文章 1–20
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交