Concepedia

Tingting Han

TH

29

Publications

920

Citations

19

H-Index

2008

Active since

Affiliations

Birkbeck, University of London(Current)

University of Twente

Nanjing University of Aeronautics and Astronautics

RWTH Aachen University

Newcastle University

Tingting Han is an author at Birkbeck, University of London specializing in engineering, computer science, and data science.

Top concepts

EngineeringComputer ScienceData ScienceFormal MethodsFormal VerificationVerificationProbabilityImage AnalysisSoftware AnalysisAutomated Reasoning

Publications per year

2008–2024

29

Publications

29

Methane production enhancement by an independent cathode in integrated anaerobic reactor with microbial electrolysis

Weiwei Cai, Tingting Han, Zechong Guo et al. · Bioresource Technology · 2016 · 87 citations

Integrated Anaerobic Reactor, Chemical Engineering, Engineering +9

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

Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability

Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre · 2008 · 70 citations

Engineering, Reachability Problem, Approximate Parameter Synthesis +17

ExploitGen: Template-augmented exploit code generation based on CodeBERT

Guang Yang, Yu Zhou, Xiang Chen et al. · Journal of Systems and Software · 2022 · 47 citations

Software Security, Engineering, Program Analysis +7

Rows per page

1–5 of 29