Concepedia

Taolue Chen

TC

Statistics

Publications

50

Citations

1.7K

H-Index

26

Active since

2007

Affiliations

Birkbeck, University of London(Current)

Nanjing University of Aeronautics and Astronautics

Nanjing University

University of Oxford

Middlesex University

Taolue Chen is an author at Birkbeck, University of London specializing in computer science, computing, and formal methods.

Publications per year

2007–2024

50

Publications

50

Automatic verification of competitive stochastic systems

Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska et al. · Formal Methods in System Design · 2013 · 135 citations

Engineering, Computer Science, Systems Engineering +11

Analyzing APIs Documentation and Code to Detect Directive Defects

Yu Zhou, Ruihang Gu, Taolue Chen et al. · 2017 · 111 citations · Full text

Computing, Computer Science, Natural Language Processing +12

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

Taolue Chen, Matthew Hague, Anthony W. Lin et al. · Proceedings of the ACM on Programming Languages · 2019 · 79 citations · Full text

Computing, Computer Science, Formal Methods +13

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

Taolue Chen, Tingting Han, Joost-Pieter Katoen et al. · 2009 · 76 citations

Computing, Computer Science, Mathematics +17

Model Repair for Markov Decision Processes

Taolue Chen, Ernst Moritz Hahn, Tingting Han et al. · 2013 · 72 citations

Computing, Computer Science, Distributed Systems +12

1–5 of 50