Taolue Chen

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