Tingting Han

According to our database1, Tingting Han authored at least 45 papers between 2003 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Deep finger texture learning for verifying people.
IET Biometrics, 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. Reasoning, 2018

Personal verification based on multi-spectral finger texture lighting images.
IET Signal Processing, 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
Logical Methods in Computer Science, 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
Counterexample Generation in Probabilistic Model Checking.
IEEE Trans. Software Eng., 2009

On metrics for probabilistic systems: Definitions and algorithms.
Computers & Mathematics with Applications, 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
A Modal Logic for pi-Calculus and Model Checking Algorithm.
Electr. Notes Theor. Comput. Sci., 2005

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

On the Bisimulation Congruence in chi-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.
Electr. Notes Theor. Comput. Sci., 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.
Electr. Notes Theor. Comput. Sci., 2003


  Loading...