Tingting Han

2009
20	EE	Tingting Han, Joost-Pieter Katoen, Berteun Damman: Counterexample Generation in Probabilistic Model Checking. IEEE Trans. Software Eng. 35(2): 241-257 (2009)
2008
19	EE	Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre: Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. HSCC 2008: 244-258
18	EE	Berteun Damman, Tingting Han, Joost-Pieter Katoen: Regular Expressions for PCTL Counterexamples. QEST 2008: 179-188
17	EE	Taolue Chen, Tingting Han, Joost-Pieter Katoen: Time-Abstracting Bisimulation for Probabilistic Timed Automata. TASE 2008: 177-184
2007
16	EE	Tingting Han, Joost-Pieter Katoen: Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. ATVA 2007: 331-346
15	EE	Taolue Chen, Tingting Han, Jian Lu: On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm. FSKD (2) 2007: 21-25
14	EE	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	EE	Tingting Han, Joost-Pieter Katoen: Counterexamples in Probabilistic Model Checking. TACAS 2007: 72-86
2006
12	EE	Taolue Chen, Tingting Han, Jian Lu: On the Markovian Randomized Strategy of Controller for Markov Decision Processes. FSKD 2006: 149-158
11	EE	Taolue Chen, Tingting Han, Jian Lu: On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence. Acta Cybern. 17(3): (2006)
2005
10	EE	Taolue Chen, Tingting Han, Jian Lu: Analysis of A Leader Election Algorithm in uCRL. CIT 2005: 841-847
9	EE	Tingting Han, Taolue Chen, Jian Lu: Structure Analysis for Dynamic Software Architecture Based on Spatial Logic. COMPSAC (1) 2005: 71-76
8	EE	Taolue Chen, Tingting Han, Jian Lu: On the Bisimulation Congruence in chi-Calculus. FSTTCS 2005: 128-139
7	EE	Tingting Han, Taolue Chen, Jian Lu: Structure Analysis for Dynamic Software Architecture. SNPD 2005: 338
6	EE	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	EE	Taolue Chen, Tingting Han, Jian Lu: Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient. CIT 2004: 540-545
4	EE	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	EE	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	EE	Taolue Chen, Tingting Han, Jian Lu: Intensionality of modal logic for Robust Ambient Calculus. Electr. Notes Theor. Comput. Sci. 85(1): (2003)

Coauthor Index

1	Taolue Chen	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [15] [17]
2	Lucia Cloth	[14]
3	Pepijn Crouzen	[14]
4	Berteun Damman	[18] [20]
5	Matthias Fruth	[14]
6	David N. Jansen	[14]
7	Joost-Pieter Katoen	[13] [16] [17] [18] [19] [20]
8	Mark Kattenbelt	[14]
9	Jian Lu	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [15]
10	Alexandru Mereacre	[19]
11	Gerard J. M. Smit	[14]
12	Lijun Zhang	[14]
13	Jingyang Zhou	[2]