Tingting Han

Orcid: 0000-0001-5648-9624

Affiliations:
  • Birkbeck University of London, Department of Computer Science and Information Systems, Birkbeck, UK
  • University of Oxford, Department of Computer Science, Oxford, UK (2011 - 2013)
  • RWTH Aachen University, Computer Science Department, Aachen, Germany (PhD 2009)
  • University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science, Twente, Netherlands (PhD 2009)
  • Nanjing University, State Key Laboratory of Novel Software Technology, Nanjing, China (until 2006)


According to our database1, Tingting Han authored at least 63 papers between 2003 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
DRIVE: Dockerfile Rule Mining and Violation Detection.
ACM Trans. Softw. Eng. Methodol., February, 2024

Enhancing test reuse with GUI events deduplication and adaptive semantic matching.
Sci. Comput. Program., January, 2024

Context-aware code generation with synchronous bidirectional decoder.
J. Syst. Softw., 2024

2023
A syntax-guided multi-task learning approach for Turducken-style code generation.
Empir. Softw. Eng., November, 2023

Context-aware API recommendation using tensor factorization.
Sci. China Inf. Sci., February, 2023

ExploitGen: Template-augmented exploit code generation based on CodeBERT.
J. Syst. Softw., 2023

Assessing and Improving Syntactic Adversarial Robustness of Pre-trained Models for Code Translation.
CoRR, 2023

A Syntax-Guided Multi-Task Learning Approach for Turducken-Style Code Generation.
CoRR, 2023

2022
Adversarial Robustness of Deep Code Comment Generation.
ACM Trans. Softw. Eng. Methodol., 2022

Automatic source code summarization with graph attention networks.
J. Syst. Softw., 2022

Test Reuse based on Adaptive Semantic Matching across Android Mobile Applications.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021
Robustness and performance of Deep Reinforcement Learning.
Appl. Soft Comput., 2021

Evaluating Code Summarization with Improved Correlation with Human Assessment.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020
Probabilistic analysis of QoS-aware service composition with explicit environment models.
IET Softw., 2020

Finger Texture Biometric Characteristic: a Survey.
CoRR, 2020

Training Deep Code Comment Generation Models via Data Augmentation.
Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020

2019
Deep finger texture learning for verifying people.
IET Biom., 2019

Road Tracking Using Deep Reinforcement Learning for Self-driving Car Applications.
Proceedings of the Progress in Computer Recognition Systems, 2019

2018
Polynomial-time algorithms for computing distances of fuzzy transition systems.
Theor. Comput. Sci., 2018

Bisimulations for fuzzy transition systems revisited.
Int. J. Approx. Reason., 2018

Personal verification based on multi-spectral finger texture lighting images.
IET Signal Process., 2018

Probabilistic verification of hierarchical leader election protocol in dynamic systems.
Frontiers Comput. Sci., 2018

2016
Model based analysis of insider threats.
Proceedings of the 2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security), 2016

2015
Continuous-time orbit problems are decidable in polynomial-time.
Inf. Process. Lett., 2015

2014
On the Complexity of Computing Maximum Entropy for Markovian Models.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013
On the complexity of model checking interval-valued discrete time Markov chains.
Inf. Process. Lett., 2013

Modal Specifications for Probabilistic Timed Systems.
Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

Model Repair for Markov Decision Processes.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks.
Proceedings of the 16th ACM International Conference on Modeling, 2013

2012
Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks.
Proceedings of the IFIP Wireless Days Conference 2012, Ireland, November 21-23, 2012, 2012

Quantitative Timed Analysis of Interactive Markov Chains.
Proceedings of the NASA Formal Methods, 2012

2011
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Log. Methods Comput. Sci., 2011

Efficient CTMC Model Checking of Linear Real-Time Objectives.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Observing Continuous-Time MDPs by 1-Clock Timed Automata.
Proceedings of the Reachability Problems - 5th International Workshop, 2011

Synthesis for PCTL in Parametric Markov Decision Processes.
Proceedings of the NASA Formal Methods, 2011

Reachability probabilities in Markovian Timed Automata.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Learning-Based Compositional Verification for Synchronous Probabilistic Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2009
Diagnosis, synthesis and analysis of probabilistic models.
PhD thesis, 2009

Counterexample Generation in Probabilistic Model Checking.
IEEE Trans. Software Eng., 2009

On metrics for probabilistic systems: Definitions and algorithms.
Comput. Math. Appl., 2009

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications.
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

Diagnosis, Synthesis and Analysis of Probabilistic Models.
Proceedings of the Ausgezeichnete Informatikdissertationen 2009, 2009

LTL Model Checking of Time-Inhomogeneous Markov Chains.
Proceedings of the Automated Technology for Verification and Analysis, 2009

2008
Time-Abstracting Bisimulation for Probabilistic Timed Automata.
Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Regular Expressions for PCTL Counterexamples.
Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007
Counterexamples in Probabilistic Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm.
Proceedings of the Fourth International Conference on Fuzzy Systems and Knowledge Discovery, 2007

07101 Working Group Report -- Performance Measures Other Than Time.
Proceedings of the Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007

Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking.
Proceedings of the Automated Technology for Verification and Analysis, 2007

2006
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence.
Acta Cybern., 2006

On the Markovian Randomized Strategy of Controller for Markov Decision Processes.
Proceedings of the Fuzzy Systems and Knowledge Discovery, Third International Conference, 2006

2005
Structure Analysis for Dynamic Software Architecture.
Proceedings of the 6th ACIS International Conference on Software Engineering, 2005

On the Bisimulation Congruence in <i>chi</i>-Calculus.
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Structure Analysis for Dynamic Software Architecture Based on Spatial Logic.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Analysis of A Leader Election Algorithm in uCRL.
Proceedings of the Fifth International Conference on Computer and Information Technology (CIT 2005), 2005

2004
Checking Strong Open Congruence in Chi -Calculus.
Proceedings of Computing: The Australasian Theory Symposium, 2004

A Modal Logic for pi-Calculus and Model Checking Algorithm.
Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004

Tree logic with recursion and model checking algorithm.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Towards a Model Logic for p-Calculus.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient.
Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004

2003
Intensionality of modal logic for Robust Ambient Calculus.
Proceedings of the 2nd EATCS Workshop on Foundations of Global Computing, 2003


  Loading...