According to our database1, Tingting Han authored at least 45 papers between 2003 and 2019.
Legend:Book In proceedings Article PhD thesis Other
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
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
Model based analysis of insider threats.
Proceedings of the 2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security), 2016
Continuous-time orbit problems are decidable in polynomial-time.
Inf. Process. Lett., 2015
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
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
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
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
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
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
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
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
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
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
Intensionality of modal logic for Robust Ambient Calculus.
Electr. Notes Theor. Comput. Sci., 2003