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) |