Taolue Chen

Taolue Chen publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Taolue Chen sits on this spectrum.

Taolue Chen D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Taolue Chen sits on this spectrum.

Best Publications

• Automatic verification of competitive stochastic systems

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

  367
  Citations

• Automatic verification of competitive stochastic systems

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

  176
  Citations

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

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

  173
  Citations

• Analyzing APIs documentation and code to detect directive defects

  Yu Zhou;Ruihang Gu;Taolue Chen;Zhiqiu Huang

  114
  Citations

• Model Repair for Markov Decision Processes

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

  94
  Citations

• Quantitative verification of implantable cardiac pacemakers over hybrid heart models

  Taolue Chen;Marco Diciolla;Marta Kwiatkowska;Alexandru Mereacre

  84
  Citations

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

  Unknown

  84
  Citations

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

  Unknown

  80
  Citations

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

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

  75
  Citations

• On Stochastic Games with Multiple Objectives

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

  73
  Citations

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

  Taolue Chen;Marta Kwiatkowska;Aistis Simaitis;Clemens Wiltsche

  70
  Citations

• Probabilistic Alternating-time Temporal Logic and Model Checking Algorithm

  Taolue Chen;Jian Lu

  70
  Citations

• Adversarial Robustness of Deep Code Comment Generation

  Unknown

  67
  Citations

• A compositional specification theory for component behaviours

  Taolue Chen;Chris Chilton;Bengt Jonsson;Marta Kwiatkowska

  62
  Citations

• Synthesizing barrier certificates using neural networks

  Unknown

  60
  Citations

• Equivalence checking for infinite systems using parameterized Boolean equation systems

  Unknown

  56
  Citations

• Learning safe neural network controllers with barrier certificates

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

  50
  Citations

• What is decidable about string constraints with the ReplaceAll function

  Unknown

  49
  Citations

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

  Yu Zhou;Changzhi Wang;Xin Yan;Taolue Chen

  43
  Citations

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

  Taolue Chen;Marco Diciolla;Marta Kwiatkowska;Alexandru Mereacre

  42
  Citations