Concepedia

Taolue Chen

TC

47

Publications

1.6K

Citations

26

H-Index

2007

Active since

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 engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationAutomated ReasoningProgram AnalysisSoftware AnalysisSystems EngineeringMachine Learning

Publications per year

2007–2024

47

Publications

47

Automatic verification of competitive stochastic systems

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

Stochastic Hybrid System, Engineering, Stochastic System +7

Analyzing APIs Documentation and Code to Detect Directive Defects

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

Software Maintenance, Engineering, Inspection +18

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 · 77 citations · Full text

Program Checking, Engineering, Verification +21

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

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

Engineering, Reachability Problem, Verification +21

Model Repair for Markov Decision Processes

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

Model Repair, Reliability Engineering, Engineering +15

Rows per page

1–5 of 47