Tingting Han

	2012
33		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
	2011
32		Lu Feng, Tingting Han, Marta Z. Kwiatkowska, David Parker: Learning-Based Compositional Verification for Synchronous Probabilistic Systems. ATVA 2011: 511-521
31		Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Reachability probabilities in Markovian Timed Automata. CDC-ECE 2011: 7075-7080
30		Ernst Moritz Hahn, Tingting Han, Lijun Zhang: Synthesis for PCTL in Parametric Markov Decision Processes. NASA Formal Methods 2011: 146-161
29		Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Observing Continuous-Time MDPs by 1-Clock Timed Automata. RP 2011: 2-25
28		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
27		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)
	2009
26		Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: LTL Model Checking of Time-Inhomogeneous Markov Chains. ATVA 2009: 104-119
25		Tingting Han: Diagnosis, Synthesis and Analysis of Probabilistic Models. Ausgezeichnete Informatikdissertationen 2009: 81-90
24		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
23		Taolue Chen, Tingting Han, Jian Lu: On metrics for probabilistic systems: Definitions and algorithms. Computers & Mathematics with Applications 57(6): 991-999 (2009)
22		Tingting Han, Joost-Pieter Katoen, Berteun Damman: Counterexample Generation in Probabilistic Model Checking. IEEE Trans. Software Eng. 35(2): 241-257 (2009)
21		Tingting Han: Diagnosis, synthesis and analysis of probabilistic models. RWTH Aachen University 2009: 1-191
	2008
20		Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. HSCC 2008: 244-258
19		Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. IEEE Real-Time Systems Symposium 2008: 173-182
18		Berteun Damman, Tingting Han, Joost-Pieter Katoen: Regular Expressions for PCTL Counterexamples. QEST 2008: 179-188
17		Taolue Chen, Tingting Han, Joost-Pieter Katoen: Time-Abstracting Bisimulation for Probabilistic Timed Automata. TASE 2008: 177-184
	2007
16		Tingting Han, Joost-Pieter Katoen: Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. ATVA 2007: 331-346
15		Taolue Chen, Tingting Han, Jian Lu: On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm. FSKD (2) 2007: 21-25
14		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
13		Tingting Han, Joost-Pieter Katoen: Counterexamples in Probabilistic Model Checking. TACAS 2007: 72-86
	2006
12		Taolue Chen, Tingting Han, Jian Lu: On the Markovian Randomized Strategy of Controller for Markov Decision Processes. FSKD 2006: 149-158
11		Taolue Chen, Tingting Han, Jian Lu: On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence. Acta Cybern. 17(3): (2006)
	2005
10		Taolue Chen, Tingting Han, Jian Lu: Analysis of A Leader Election Algorithm in uCRL. CIT 2005: 841-847
9		Tingting Han, Taolue Chen, Jian Lu: Structure Analysis for Dynamic Software Architecture Based on Spatial Logic. COMPSAC (1) 2005: 71-76
8		Taolue Chen, Tingting Han, Jian Lu: On the Bisimulation Congruence in chi-Calculus. FSTTCS 2005: 128-139
7		Tingting Han, Taolue Chen, Jian Lu: Structure Analysis for Dynamic Software Architecture. SNPD 2005: 338
6		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)
	2004
5		Taolue Chen, Tingting Han, Jian Lu: Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient. CIT 2004: 540-545
4		Taolue Chen, Tingting Han, Jian Lu: Towards a Model Logic for p-Calculus. COMPSAC 2004: 330-335
3		Taolue Chen, Tingting Han, Jian Lu: Tree logic with recursion and model checking algorithm. IASTED Conf. on Software Engineering and Applications 2004: 588-593
2		Taolue Chen, Jingyang Zhou, Tingting Han, Jian Lu: Checking Strong Open Congruence in Chi -Calculus. Electr. Notes Theor. Comput. Sci. 91: 4-20 (2004)
	2003
1		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

1	Benoît Barbot	[28]
2	Taolue Chen	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [15] [17] [23] [24] [26] [27] [28] [29] [31]
3	Lucia Cloth	[14]
4	Pepijn Crouzen	[14]
5	Berteun Damman	[18] [22]
6	Lu Feng	[32]
7	Matthias Fruth	[14]
8	Dennis Guck	[33]
9	Ernst Moritz Hahn	[30]
10	David N. Jansen	[14]
11	Joost-Pieter Katoen	[13] [16] [17] [18] [19] [20] [22] [24] [26] [27] [28] [29] [31] [33]
12	Mark Kattenbelt	[14]
13	Marta Z. Kwiatkowska	[32]
14	Jian Lu (Jian Lü)	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [15] [23]
15	Alexandru Mereacre	[19] [20] [24] [26] [27] [28] [29] [31]
16	Martin R. Neuhäußer	[33]
17	David Parker	[32]
18	Gerard J. M. Smit	[14]
19	Lijun Zhang	[14] [30]
20	Jingyang Zhou	[2]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page