World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
32
Citations
3471
World Ranking
13285
National Ranking
842

Best Publications

  • Automatic verification of competitive stochastic systems

    Taolue Chen;Vojtech Forejt;Marta Z. Kwiatkowska;David Parker

  • Automatic verification of competitive stochastic systems

    Taolue Chen;Vojtěch Forejt;Marta Kwiatkowska;David Parker

  • PRISM-games: a model checker for stochastic multi-player games

    Taolue Chen;Vojtěch Forejt;Marta Kwiatkowska;David Parker

  • Analyzing APIs documentation and code to detect directive defects

    Yu Zhou;Ruihang Gu;Taolue Chen;Zhiqiu Huang

  • Model Repair for Markov Decision Processes

    Taolue Chen;Ernst Moritz Hahn;Tingting Han;Marta Kwiatkowska

  • Quantitative verification of implantable cardiac pacemakers over hybrid heart models

    Taolue Chen;Marco Diciolla;Marta Kwiatkowska;Alexandru Mereacre

  • ExploitGen: Template-augmented exploit code generation based on CodeBERT

    Unknown

  • Decision procedures for path feasibility of string-manipulating programs with complex operations

    Unknown

  • Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

    Taolue Chen;Tingting Han;Joost-Pieter Katoen;Alexandru Mereacre

  • On Stochastic Games with Multiple Objectives

    Taolue Chen;Vojtech Forejt;Marta Z. Kwiatkowska;Aistis Simaitis

  • Synthesis for multi-objective stochastic games: an application to autonomous urban driving

    Taolue Chen;Marta Kwiatkowska;Aistis Simaitis;Clemens Wiltsche

  • Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm

    Taolue Chen;Jian Lu

  • Adversarial Robustness of Deep Code Comment Generation

    Unknown

  • A compositional specification theory for component behaviours

    Taolue Chen;Chris Chilton;Bengt Jonsson;Marta Kwiatkowska

  • Synthesizing barrier certificates using neural networks

    Unknown

  • Equivalence checking for infinite systems using parameterized Boolean equation systems

    Unknown

  • Learning safe neural network controllers with barrier certificates

    Hengjun Zhao;Xia Zeng;Taolue Chen;Zhiming Liu;Zhiming Liu

  • What is decidable about string constraints with the ReplaceAll function

    Unknown

  • Automatic detection and repair recommendation of directive defects in Java API documentation

    Yu Zhou;Changzhi Wang;Xin Yan;Taolue Chen

  • A simulink hybrid heart model for quantitative verification of cardiac pacemakers

    Taolue Chen;Marco Diciolla;Marta Kwiatkowska;Alexandru Mereacre

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: