Tingting Han

2007
15	EE	Tingting Han, Joost-Pieter Katoen: Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. ATVA 2007: 331-346
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]
2	Lucia Cloth	[14]
3	Pepijn Crouzen	[14]
4	Matthias Fruth	[14]
5	David N. Jansen	[14]
6	Joost-Pieter Katoen	[13] [15]
7	Mark Kattenbelt	[14]
8	Jian Lu	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12]
9	Gerard J. M. Smit	[14]
10	Lijun Zhang	[14]
11	Jingyang Zhou	[2]

Colors in the list of coauthors