Tingting Han - RankMe

70 papers A* 1A 4B 4C 7Misc 2Journal 30Unranked 20

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