dblp.uni-trier.dewww.uni-trier.de

Tingting Han Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)