Taolue Chen

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