Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Tingting Han
2010 – today
- 2013
[j8]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)- 2012
- [c28]Yong Hao, Tingting Han, Yu Cheng: A cooperative message authentication protocol in VANETs. GLOBECOM 2012: 5562-5566
- [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]Tingting Han, Hongxun Yao, Xiaoshuai Sun, Guoyi Liu: Action Segmentation in Dance Videos. PCM 2012: 832-840
- [c25]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
- [j7]Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. Logical Methods in Computer Science 7(1) (2011)
- [c24]Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker: Learning-Based Compositional Verification for Synchronous Probabilistic Systems. ATVA 2011: 511-521
- [c23]Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Reachability probabilities in Markovian Timed Automata. CDC-ECE 2011: 7075-7080
- [c22]Ernst Moritz Hahn, Tingting Han, Lijun Zhang: Synthesis for PCTL in Parametric Markov Decision Processes. NASA Formal Methods 2011: 146-161
- [c21]Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Observing Continuous-Time MDPs by 1-Clock Timed Automata. RP 2011: 2-25
- [c20]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
- [j6]Taolue Chen, Tingting Han, Jian Lu: On metrics for probabilistic systems: Definitions and algorithms. Computers & Mathematics with Applications 57(6): 991-999 (2009)
- [j5]Tingting Han, Joost-Pieter Katoen, Berteun Damman: Counterexample Generation in Probabilistic Model Checking. IEEE Trans. Software Eng. 35(2): 241-257 (2009)
- [c19]Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: LTL Model Checking of Time-Inhomogeneous Markov Chains. ATVA 2009: 104-119
- [c18]Tingting Han: Diagnosis, Synthesis and Analysis of Probabilistic Models. Ausgezeichnete Informatikdissertationen 2009: 81-90
- [c17]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
- 2008
- [c16]Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. HSCC 2008: 244-258
- [c15]Berteun Damman, Tingting Han, Joost-Pieter Katoen: Regular Expressions for PCTL Counterexamples. QEST 2008: 179-188
- [c14]Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. RTSS 2008: 173-182
- [c13]Taolue Chen, Tingting Han, Joost-Pieter Katoen: Time-Abstracting Bisimulation for Probabilistic Timed Automata. TASE 2008: 177-184
- 2007
- [c12]Tingting Han, Joost-Pieter Katoen: Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. ATVA 2007: 331-346
- [c11]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
- [c10]Taolue Chen, Tingting Han, Jian Lu: On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm. FSKD (2) 2007: 21-25
- [c9]Tingting Han, Joost-Pieter Katoen: Counterexamples in Probabilistic Model Checking. TACAS 2007: 72-86
- 2006
- [j4]Taolue Chen, Tingting Han, Jian Lu: On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence. Acta Cybern. 17(3) (2006)
- [c8]Taolue Chen, Tingting Han, Jian Lu: On the Markovian Randomized Strategy of Controller for Markov Decision Processes. FSKD 2006: 149-158
- 2005
- [j3]Taolue Chen, Tingting Han, Jian Lu: A Modal Logic for pi-Calculus and Model Checking Algorithm. Electr. Notes Theor. Comput. Sci. 123: 19-33 (2005)
- [c7]Taolue Chen, Tingting Han, Jian Lu: Analysis of A Leader Election Algorithm in uCRL. CIT 2005: 841-847
- [c6]Tingting Han, Taolue Chen, Jian Lu: Structure Analysis for Dynamic Software Architecture Based on Spatial Logic. COMPSAC (1) 2005: 71-76
- [c5]Taolue Chen, Tingting Han, Jian Lu: On the Bisimulation Congruence in chi-Calculus. FSTTCS 2005: 128-139
- [c4]Tingting Han, Taolue Chen, Jian Lu: Structure Analysis for Dynamic Software Architecture. SNPD 2005: 338
- 2004
- [j2]Taolue Chen, Jingyang Zhou, Tingting Han, Jian Lu: Checking Strong Open Congruence in Chi -Calculus. Electr. Notes Theor. Comput. Sci. 91: 4-20 (2004)
- [c3]Taolue Chen, Tingting Han, Jian Lu: Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient. CIT 2004: 540-545
- [c2]
- [c1]Taolue Chen, Tingting Han, Jian Lu: Tree logic with recursion and model checking algorithm. IASTED Conf. on Software Engineering and Applications 2004: 588-593
- 2003
- [j1]Taolue Chen, Tingting Han, Jian Lu: Intensionality of modal logic for Robust Ambient Calculus. Electr. Notes Theor. Comput. Sci. 85(1): 25-38 (2003)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-02 19:07 CEST by the dblp team