Tingting Han

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 27

Top Venues

CoRR

ACM Trans. Softw. Eng. Methodol.

J. Syst. Softw.

QRS

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Shuqi Liu, Yu Zhou, Longbing Ji, Tingting Han, Taolue Chen
Enhancing test reuse with GUI events deduplication and adaptive semantic matching. Sci. Comput. Program. 232 (2024)
Yu Zhou, Weilin Zhan, Zi Li, Tingting Han, Taolue Chen, Harald C. Gall
DRIVE: Dockerfile Rule Mining and Violation Detection. ACM Trans. Softw. Eng. Methodol. 33 (2) (2024)
Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Yiran Xu, Tingting Han, Taolue Chen
A syntax-guided multi-task learning approach for Turducken-style code generation. Empir. Softw. Eng. 28 (6) (2023)
Yu Zhou, Chen Chen, Yongchao Wang, Tingting Han, Taolue Chen
Context-aware API recommendation using tensor factorization. Sci. China Inf. Sci. 66 (2) (2023)
Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Tingting Han, Taolue Chen
ExploitGen: Template-augmented exploit code generation based on CodeBERT. J. Syst. Softw. 197 (2023)
Guang Yang, Yu Zhou, Xiangyu Zhang, Xiang Chen, Tingting Han, Taolue Chen
Assessing and Improving Syntactic Adversarial Robustness of Pre-trained Models for Code Translation. CoRR (2023)
Shuqi Liu, Yu Zhou, Tingting Han, Taolue Chen
Test Reuse Based on Adaptive Semantic Matching across Android Mobile Applications. CoRR (2023)
Guang Yang, Yu Zhou, Xiang Chen, Xiangyu Zhang, Yiran Xu, Tingting Han, Taolue Chen
A Syntax-Guided Multi-Task Learning Approach for Turducken-Style Code Generation. CoRR (2023)
Yu Zhou, Xiaoqing Zhang, Juanjuan Shen, Tingting Han, Taolue Chen, Harald C. Gall
Adversarial Robustness of Deep Code Comment Generation. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Shuqi Liu, Yu Zhou, Tingting Han, Taolue Chen
Test Reuse based on Adaptive Semantic Matching across Android Mobile Applications. QRS (2022)
Yu Zhou, Juanjuan Shen, Xiaoqing Zhang, Wenhua Yang, Tingting Han, Taolue Chen
Automatic source code summarization with graph attention networks. J. Syst. Softw. 188 (2022)
Yu Zhou, Weilin Zhan, Zi Li, Tingting Han, Taolue Chen, Harald C. Gall
DRIVE: Dockerfile Rule Mining and Violation Detection. CoRR (2022)
Raid Rafi Omar Al-Nima, Tingting Han, Saadoon A. M. Al-Sumaidaee, Taolue Chen, Wai Lok Woo
Robustness and performance of Deep Reinforcement Learning. Appl. Soft Comput. 105 (2021)
Juanjuan Shen, Yu Zhou, Yongchao Wang, Xiang Chen, Tingting Han, Taolue Chen
Evaluating Code Summarization with Improved Correlation with Human Assessment. QRS (2021)
Yu Zhou, Xiaoqing Zhang, Juanjuan Shen, Tingting Han, Taolue Chen, Harald C. Gall
Adversarial Robustness of Deep Code Comment Generation. CoRR (2021)
Raid Rafi Omar Al-Nima, Tingting Han, Taolue Chen, Satnam Singh Dlay, Jonathon A. Chambers
Finger Texture Biometric Characteristic: a Survey. CoRR (2020)
Xiaoqing Zhang, Yu Zhou, Tingting Han, Taolue Chen
Training Deep Code Comment Generation Models via Data Augmentation. Internetware (2020)
Yu Zhou, Tingting Han, Taolue Chen, Shiqi Zhou
Probabilistic analysis of QoS-aware service composition with explicit environment models. IET Softw. 14 (1) (2020)
Raid Rafi Omar Al-Nima, Tingting Han, Taolue Chen
Road Tracking Using Deep Reinforcement Learning for Self-driving Car Applications. CORES (2019)
Raid Rafi Omar Al-Nima, Tingting Han, Saadoon A. M. Al-Sumaidaee, Taolue Chen
Deep finger texture learning for verifying people. IET Biom. 8 (1) (2019)
Yu Zhou, Nvqi Zhou, Tingting Han, Jiayi Gu, Weigang Wu
Probabilistic verification of hierarchical leader election protocol in dynamic systems. Frontiers Comput. Sci. 12 (4) (2018)
Taolue Chen, Tingting Han, Yongzhi Cao
Polynomial-time algorithms for computing distances of fuzzy transition systems. Theor. Comput. Sci. 727 (2018)
Hengyang Wu, Taolue Chen, Tingting Han, Yixiang Chen
Bisimulations for fuzzy transition systems revisited. Int. J. Approx. Reason. 99 (2018)
Raid Rafi Omar Al-Nima, Musab T. S. Al-Kaltakchi, Saadoon A. M. Al-Sumaidaee, Satnam Singh Dlay, Wai Lok Woo, Tingting Han, Jonathon A. Chambers
Personal verification based on multi-spectral finger texture lighting images. IET Signal Process. 12 (9) (2018)
Taolue Chen, Tingting Han, Yongzhi Cao
Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems. CoRR (2017)
Taolue Chen, Tingting Han, Florian Kammueller, Ibrahim Nemli, Christian W. Probst
Model based analysis of insider threats. Cyber Security And Protection Of Digital Services (2016)
Taolue Chen, Nengkun Yu, Tingting Han
Continuous-time orbit problems are decidable in polynomial-time. Inf. Process. Lett. 115 (1) (2015)
Taolue Chen, Tingting Han
On the Complexity of Computing Maximum Entropy for Markovian Models. FSTTCS (2014)
Tingting Han, Christian Krause, Marta Z. Kwiatkowska, Holger Giese
Modal Specifications for Probabilistic Timed Systems. QAPL (2013)
Taolue Chen, Tingting Han, Marta Z. Kwiatkowska
On the complexity of model checking interval-valued discrete time Markov chains. Inf. Process. Lett. 113 (7) (2013)
Lucia Gallina, Andrea Marin, Sabina Rossi, Tingting Han, Marta Z. Kwiatkowska
A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks. MSWiM (2013)
Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang
Model Repair for Markov Decision Processes. TASE (2013)
Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer
Quantitative Timed Analysis of Interactive Markov Chains. NASA Formal Methods (2012)
Lucia Gallina, Tingting Han, Marta Z. Kwiatkowska, Andrea Marin, Sabina Rossi, Alvise Spanò
Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks. Wireless Days (2012)
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Observing Continuous-Time MDPs by 1-Clock Timed Automata. RP (2011)
Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker
Learning-Based Compositional Verification for Synchronous Probabilistic Systems. ATVA (2011)
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Reachability probabilities in Markovian Timed Automata. CDC/ECC (2011)
Ernst Moritz Hahn, Tingting Han, Lijun Zhang
Synthesis for PCTL in Parametric Markov Decision Processes. NASA Formal Methods (2011)
Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Efficient CTMC Model Checking of Linear Real-Time Objectives. TACAS (2011)
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications Log. Methods Comput. Sci. 7 (1) (2011)
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. LICS (2009)
Tingting Han, Joost-Pieter Katoen, Berteun Damman
Counterexample Generation in Probabilistic Model Checking. IEEE Trans. Software Eng. 35 (2) (2009)
Taolue Chen, Tingting Han, Jian Lu
On metrics for probabilistic systems: Definitions and algorithms. Comput. Math. Appl. 57 (6) (2009)
Tingting Han
Diagnosis, Synthesis and Analysis of Probabilistic Models. Ausgezeichnete Informatikdissertationen (2009)
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
LTL Model Checking of Time-Inhomogeneous Markov Chains. ATVA (2009)
Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. RTSS (2008)
Berteun Damman, Tingting Han, Joost-Pieter Katoen
Regular Expressions for PCTL Counterexamples. QEST (2008)
Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. HSCC (2008)
Taolue Chen, Tingting Han, Joost-Pieter Katoen
Time-Abstracting Bisimulation for Probabilistic Timed Automata. TASE (2008)
Lucia Cloth, Pepijn Crouzen, Matthias Fruth, Tingting Han, David N. Jansen, Mark Kattenbelt, Gerard J. M. Smit, Lijun Zhang
07101 Working Group Report -- Performance Measures Other Than Time. Quantitative Aspects of Embedded Systems (2007)
Tingting Han, Joost-Pieter Katoen
Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. ATVA (2007)
Tingting Han, Joost-Pieter Katoen
Counterexamples in Probabilistic Model Checking. TACAS (2007)
Taolue Chen, Tingting Han, Jian Lu
On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm. FSKD (2) (2007)
Taolue Chen, Tingting Han, Jian Lu
On the Markovian Randomized Strategy of Controller for Markov Decision Processes. FSKD (2006)
Taolue Chen, Tingting Han, Jian Lu
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence. Acta Cybern. 17 (3) (2006)
Tingting Han, Taolue Chen, Jian Lu
Structure Analysis for Dynamic Software Architecture Based on Spatial Logic. COMPSAC (1) (2005)
Taolue Chen, Tingting Han, Jian Lu
-Calculus. FSTTCS (2005)
Taolue Chen, Tingting Han, Jian Lu
A Modal Logic for pi-Calculus and Model Checking Algorithm. Electron. Notes Theor. Comput. Sci. 123 (2005)
Taolue Chen, Tingting Han, Jian Lu
Analysis of A Leader Election Algorithm in uCRL. CIT (2005)
Tingting Han, Taolue Chen, Jian Lu
Structure Analysis for Dynamic Software Architecture. SNPD (2005)
Taolue Chen, Tingting Han, Jian Lu
Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient. CIT (2004)
Taolue Chen, Tingting Han, Jian Lu
Towards a Model Logic for p-Calculus. COMPSAC (2004)
Taolue Chen, Jingyang Zhou, Tingting Han, Jian Lu
Checking Strong Open Congruence in Chi -Calculus. Electron. Notes Theor. Comput. Sci. 91 (2004)
Taolue Chen, Tingting Han, Jian Lu
Tree logic with recursion and model checking algorithm. IASTED Conf. on Software Engineering and Applications (2004)
Taolue Chen, Tingting Han, Jian Lu
Intensionality of modal logic for Robust Ambient Calculus. Electron. Notes Theor. Comput. Sci. 85 (1) (2003)

Tingting Han.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tingting Han