Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTingting Han 0001
Person information
- unicode name: 韩婷婷
- affiliation: Birkbeck University of London, Department of Computer Science and Information Systems, Birkbeck, UK
- affiliation (2011 - 2013): University of Oxford, Department of Computer Science, Oxford, UK
- affiliation (PhD 2009): RWTH Aachen University, Computer Science Department, Aachen, Germany
- affiliation (PhD 2009): University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science, Twente, Netherlands
- affiliation (until 2006): Nanjing University, State Key Laboratory of Novel Software Technology, Nanjing, China
Other persons with the same name
- Tingting Han — disambiguation page
- Tingting Han 0002
![[0000-0002-8326-3839]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-8326-3839")
— Tianjin Normal University, College of Electronic and Communication Engineering, China (and 1 more) - Tingting Han 0003 — Harbin Institute of Technology, School of Computer Science and Technology, Harbin, China
- Tingting Han 0004 — Southeast University, Institute of RF- & OE-ICs, Nanjing, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j17]Yu Zhou, Chen Chen, Yongchao Wang, Tingting Han, Taolue Chen:
Context-aware API recommendation using tensor factorization. Sci. China Inf. Sci. 66(2) (2023)- [j16]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: 111577 (2023) - [i7]Shuqi Liu, Yu Zhou, Tingting Han, Taolue Chen:
Test Reuse Based on Adaptive Semantic Matching across Android Mobile Applications. CoRR abs/2301.00530 (2023) - [i6]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 abs/2303.05061 (2023) - 2022
- [j15]Yu Zhou, Juanjuan Shen, Xiaoqing Zhang, Wenhua Yang, Tingting Han, Taolue Chen:
Automatic source code summarization with graph attention networks. J. Syst. Softw. 188: 111257 (2022) - [j14]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): 60:1-60:30 (2022) - [c36]Shuqi Liu, Yu Zhou, Tingting Han, Taolue Chen:
Test Reuse based on Adaptive Semantic Matching across Android Mobile Applications. QRS 2022: 703-709 - [i5]Yu Zhou, Weilin Zhan, Zi Li, Tingting Han, Taolue Chen, Harald C. Gall:
DRIVE: Dockerfile Rule Mining and Violation Detection. CoRR abs/2212.05648 (2022) - 2021
- [j13]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: 107295 (2021) - [c35]Juanjuan Shen, Yu Zhou, Yongchao Wang, Xiang Chen, Tingting Han, Taolue Chen:
Evaluating Code Summarization with Improved Correlation with Human Assessment. QRS 2021: 990-1001 - [i4]Yu Zhou, Xiaoqing Zhang, Juanjuan Shen, Tingting Han, Taolue Chen, Harald C. Gall:
Adversarial Robustness of Deep Code Comment Generation. CoRR abs/2108.00213 (2021) - 2020
- [j12]Yu Zhou, Tingting Han, Taolue Chen, Shiqi Zhou:
Probabilistic analysis of QoS-aware service composition with explicit environment models. IET Softw. 14(1): 59-71 (2020) - [c34]Xiaoqing Zhang, Yu Zhou, Tingting Han, Taolue Chen:
Training Deep Code Comment Generation Models via Data Augmentation. Internetware 2020: 185-188 - [i3]Raid Rafi Omar Al-Nima, Tingting Han, Taolue Chen, Satnam Singh Dlay, Jonathon A. Chambers:
Finger Texture Biometric Characteristic: a Survey. CoRR abs/2006.04193 (2020)
2010 – 2019
- 2019
- [j11]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): 40-48 (2019) - [c33]Raid Rafi Omar Al-Nima, Tingting Han, Taolue Chen:
Road Tracking Using Deep Reinforcement Learning for Self-driving Car Applications. CORES 2019: 106-116 - 2018
- [j10]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): 763-776 (2018) - [j9]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): 1154-1164 (2018) - [j8]Hengyang Wu, Taolue Chen, Tingting Han, Yixiang Chen:
Bisimulations for fuzzy transition systems revisited. Int. J. Approx. Reason. 99: 1-11 (2018) - [j7]Taolue Chen, Tingting Han, Yongzhi Cao:
Polynomial-time algorithms for computing distances of fuzzy transition systems. Theor. Comput. Sci. 727: 24-36 (2018) - 2017
- [i2]Taolue Chen, Tingting Han, Yongzhi Cao:
Polynomial-time Algorithms for Computing Distances of Fuzzy Transition Systems. CoRR abs/1701.06644 (2017) - 2016
- [c32]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: 1-3 - 2015
- [j6]Taolue Chen, Nengkun Yu, Tingting Han:
Continuous-time orbit problems are decidable in polynomial-time. Inf. Process. Lett. 115(1): 11-14 (2015) - 2014
- [c31]Taolue Chen, Tingting Han:
On the Complexity of Computing Maximum Entropy for Markovian Models. FSTTCS 2014: 571-583 - 2013
- [j5]Taolue Chen, Tingting Han, Marta Z. Kwiatkowska:
On the complexity of model checking interval-valued discrete time Markov chains. Inf. Process. Lett. 113(7): 210-216 (2013) - [c30]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: 255-262 - [c29]Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang:
Model Repair for Markov Decision Processes. TASE 2013: 85-92 - [c28]Tingting Han, Christian Krause, Marta Z. Kwiatkowska, Holger Giese:
Modal Specifications for Probabilistic Timed Systems. QAPL 2013: 66-80 - 2012
- [c27]Dennis Guck, Tingting Han, Joost-Pieter Katoen, Martin R. Neuhäußer:
Quantitative Timed Analysis of Interactive Markov Chains. NASA Formal Methods 2012: 8-23 - [c26]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: 1-6 - 2011
- [j4]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) - [c25]Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker:
Learning-Based Compositional Verification for Synchronous Probabilistic Systems. ATVA 2011: 511-521 - [c24]Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Reachability probabilities in Markovian Timed Automata. CDC/ECC 2011: 7075-7080 - [c23]Ernst Moritz Hahn, Tingting Han, Lijun Zhang:
Synthesis for PCTL in Parametric Markov Decision Processes. NASA Formal Methods 2011: 146-161 - [c22]Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Observing Continuous-Time MDPs by 1-Clock Timed Automata. RP 2011: 2-25 - [c21]Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Efficient CTMC Model Checking of Linear Real-Time Objectives. TACAS 2011: 128-142
2000 – 2009
- 2009
- [b1]Tingting Han:
Diagnosis, synthesis and analysis of probabilistic models. RWTH Aachen University, 2009, ISBN 978-90-365-2858-0, pp. 1-191 - [j3]Taolue Chen, Tingting Han, Jian Lu:
On metrics for probabilistic systems: Definitions and algorithms. Comput. Math. Appl. 57(6): 991-999 (2009) - [j2]Tingting Han, Joost-Pieter Katoen, Berteun Damman:
Counterexample Generation in Probabilistic Model Checking. IEEE Trans. Software Eng. 35(2): 241-257 (2009) - [c20]Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
LTL Model Checking of Time-Inhomogeneous Markov Chains. ATVA 2009: 104-119 - [c19]Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. LICS 2009: 309-318 - [p1]Tingting Han:
Diagnosis, Synthesis and Analysis of Probabilistic Models. Ausgezeichnete Informatikdissertationen 2009: 81-90 - 2008
- [c18]Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. HSCC 2008: 244-258 - [c17]Berteun Damman, Tingting Han, Joost-Pieter Katoen:
Regular Expressions for PCTL Counterexamples. QEST 2008: 179-188 - [c16]Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre:
Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. RTSS 2008: 173-182 - [c15]Taolue Chen, Tingting Han, Joost-Pieter Katoen:
Time-Abstracting Bisimulation for Probabilistic Timed Automata. TASE 2008: 177-184 - 2007
- [c14]Tingting Han, Joost-Pieter Katoen:
Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. ATVA 2007: 331-346 - [c13]Taolue Chen, Tingting Han, Jian Lu:
On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm. FSKD (2) 2007: 21-25 - [c12]Tingting Han, Joost-Pieter Katoen:
Counterexamples in Probabilistic Model Checking. TACAS 2007: 72-86 - [i1]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 - 2006
- [j1]Taolue Chen, Tingting Han, Jian Lu:
On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence. Acta Cybern. 17(3): 471-483 (2006) - [c11]Taolue Chen, Tingting Han, Jian Lu:
On the Markovian Randomized Strategy of Controller for Markov Decision Processes. FSKD 2006: 149-158 - 2005
- [c10]Taolue Chen, Tingting Han, Jian Lu:
Analysis of A Leader Election Algorithm in uCRL. CIT 2005: 841-847 - [c9]Tingting Han, Taolue Chen, Jian Lu:
Structure Analysis for Dynamic Software Architecture Based on Spatial Logic. COMPSAC (1) 2005: 71-76 - [c8]Taolue Chen, Tingting Han, Jian Lu:
On the Bisimulation Congruence in chi-Calculus. FSTTCS 2005: 128-139 - [c7]Tingting Han, Taolue Chen, Jian Lu:
Structure Analysis for Dynamic Software Architecture. SNPD 2005: 338 - 2004
- [c6]Taolue Chen, Tingting Han, Jian Lu:
Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient. CIT 2004: 540-545 - [c5]Taolue Chen, Tingting Han, Jian Lu:
Towards a Model Logic for p-Calculus. COMPSAC 2004: 330-335 - [c4]Taolue Chen, Tingting Han, Jian Lu:
Tree logic with recursion and model checking algorithm. IASTED Conf. on Software Engineering and Applications 2004: 588-593 - [c3]Taolue Chen, Jingyang Zhou, Tingting Han, Jian Lu:
Checking Strong Open Congruence in Chi -Calculus. CATS 2004: 4-20 - [c2]Taolue Chen, Tingting Han, Jian Lu:
A Modal Logic for pi-Calculus and Model Checking Algorithm. WoLLIC 2004: 19-33 - 2003
- [c1]Taolue Chen, Tingting Han, Jian Lu:
Intensionality of modal logic for Robust Ambient Calculus. FGC 2003: 25-38
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-06-05 01:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
