Search the dblp DataBase

Publications of Author

1. Taolue Chen, Tingting Han, Jian Lu
   Framework of Performance Evaluation for Mobile Process Based on Mobile Ambient. [Citation Graph (0, 0)][DBLP]
   CIT, 2004, pp:540-545 [Conf]
   
2. Taolue Chen, Tingting Han, Jian Lu
   Analysis of A Leader Election Algorithm in uCRL. [Citation Graph (0, 0)][DBLP]
   CIT, 2005, pp:841-847 [Conf]
   
3. Taolue Chen, Tingting Han, Jian Lu
   Towards a Model Logic for p-Calculus. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 2004, pp:330-335 [Conf]
   
4. Tingting Han, Taolue Chen, Jian Lu
   Structure Analysis for Dynamic Software Architecture Based on Spatial Logic. [Citation Graph (0, 0)][DBLP]
   COMPSAC (1), 2005, pp:71-76 [Conf]
   
5. Taolue Chen, Tingting Han, Jian Lu
   On the Markovian Randomized Strategy of Controller for Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
   FSKD, 2006, pp:149-158 [Conf]
   
6. Taolue Chen, Tingting Han, Jian Lu
   On the Bisimulation Congruence in chi-Calculus. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2005, pp:128-139 [Conf]
   
7. Tingting Han, Taolue Chen, Jian Lu
   Structure Analysis for Dynamic Software Architecture. [Citation Graph (0, 0)][DBLP]
   SNPD, 2005, pp:338- [Conf]
   
8. Taolue Chen, Tingting Han, Jian Lu
   On the Complete Axiomatization for Prefix Iteration modulo Observation Congruence. [Citation Graph (0, 0)][DBLP]
   Acta Cybern., 2006, v:17, n:3, pp:- [Journal]
   
9. Taolue Chen, Tingting Han, Jian Lu
   Intensionality of modal logic for Robust Ambient Calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:85, n:1, pp:- [Journal]
   
10. Taolue Chen, Tingting Han, Jian Lu
    A Modal Logic for pi-Calculus and Model Checking Algorithm. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:123, n:, pp:19-33 [Journal]
    
11. Taolue Chen, Jingyang Zhou, Tingting Han, Jian Lu
    Checking Strong Open Congruence in Chi -Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:4-20 [Journal]
    
12. Tingting Han, Joost-Pieter Katoen
    Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:331-346 [Conf]
    
13. Tingting Han, Joost-Pieter Katoen
    Counterexamples in Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:72-86 [Conf]
    
14. Taolue Chen, Tingting Han, Jian Lu
    Tree logic with recursion and model checking algorithm. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering and Applications, 2004, pp:588-593 [Conf]
    
15. 
    LTL Model Checking of Time-Inhomogeneous Markov Chains. [Citation Graph (, )][DBLP]
    
    
16. 
    07101 Working Group Report -- Performance Measures Other Than Time. [Citation Graph (, )][DBLP]
    
    
17. 
    On Behavioral Metric for Probabilistic Systems: Definition and Approximation Algorithm. [Citation Graph (, )][DBLP]
    
    
18. 
    Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. [Citation Graph (, )][DBLP]
    
    
19. 
    Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. [Citation Graph (, )][DBLP]
    
    
20. 
    Regular Expressions for PCTL Counterexamples. [Citation Graph (, )][DBLP]
    
    
21. 
    Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. [Citation Graph (, )][DBLP]
    
    
22. 
    Time-Abstracting Bisimulation for Probabilistic Timed Automata. [Citation Graph (, )][DBLP]