Taolue Chen
Taolue Chen
Department of Computer Science and Information Systems, Birkbeck, University of London
Verified email at dcs.bbk.ac.uk - Homepage
TitleCited byYear
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
1212012
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
1092013
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
592013
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
562009
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
512011
A compositional specification theory for component behaviours
T Chen, C Chilton, B Jonsson, M Kwiatkowska
European Symposium on Programming, 148-168, 2012
492012
A compositional specification theory for component behaviours
T Chen, C Chilton, B Jonsson, M Kwiatkowska
Programming Languages and Systems, 148-168, 2012
492012
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
462007
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
432014
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
432013
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
432011
On stochastic games with multiple objectives
T Chen, V Forejt, M Kwiatkowska, A Simaitis, C Wiltsche
MFCS, 2013
392013
Probabilistic alternating-time temporal logic and model checking algorithm
T Chen, J Lu
Fourth International Conference on Fuzzy Systems and Knowledge Discovery …, 2007
362007
Time-bounded verification of CTMCs against real-time specifications
T Chen, M Diciolla, M Kwiatkowska, A Mereacre
International Conference on Formal Modeling and Analysis of Timed Systems, 26-42, 2011
312011
On the complexity of model checking interval-valued discrete time Markov chains
T Chen, T Han, M Kwiatkowska
Information Processing Letters 113 (7), 210-216, 2013
302013
Analyzing APIs documentation and code to detect directive defects
Y Zhou, R Gu, T Chen, Z Huang, S Panichella, H Gall
Proceedings of the 39th International Conference on Software Engineering, 27-37, 2017
292017
Quantitative verification of implantable cardiac pacemakers
T Chen, M Diciolla, M Kwiatkowska, A Mereacre
2012 IEEE 33rd Real-Time Systems Symposium, 263-272, 2012
262012
Undecidability of cost-bounded reachability in priced probabilistic timed automata
J Berendsen, T Chen, DN Jansen
International Conference on Theory and Applications of Models of Computation …, 2009
222009
A Simulink hybrid heart model for quantitative verification of cardiac pacemakers
T Chen, M Diciolla, M Kwiatkowska, A Mereacre
Proceedings of the 16th international conference on Hybrid systems …, 2013
202013
The packing chromatic number of the infinite square lattice is between 13 and 15
B Martin, F Raimondi, T Chen, J Martin
Discrete Applied Mathematics 225, 136-142, 2017
192017
The system can't perform the operation now. Try again later.
Articles 1–20