Search the dblp DataBase

Publications of Author

1. Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
   Model Checking Action- and State-Labelled Markov Chains. [Citation Graph (0, 0)][DBLP]
   DSN, 2004, pp:701-710 [Conf]
   
2. Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri, Reza Pulungan
   Model Checking Markov Reward Models with Impulse Rewards. [Citation Graph (0, 0)][DBLP]
   DSN, 2005, pp:722-731 [Conf]
   
3. Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, Christel Baier
   Model Checking Performability Properties. [Citation Graph (0, 0)][DBLP]
   DSN, 2002, pp:103-112 [Conf]
   
4. Lucia Cloth, Henrik C. Bohnenkamp, Boudewijn R. Haverkort
   Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. [Citation Graph (0, 0)][DBLP]
   PAPM-PROBMIV, 2001, pp:152-167 [Conf]
   
5. Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
   A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. [Citation Graph (0, 0)][DBLP]
   QEST, 2006, pp:63-72 [Conf]
   
6. Lucia Cloth, Boudewijn R. Haverkort
   Model Checking for Survivability. [Citation Graph (0, 0)][DBLP]
   QEST, 2005, pp:145-154 [Conf]
   
7. Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
   Model Checking Infinite-State Markov Chains. [Citation Graph (0, 0)][DBLP]
   TACAS, 2005, pp:237-252 [Conf]
   
8. Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
   Model Checking Markov Chains with Actions and State Labels. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2007, v:33, n:4, pp:209-224 [Journal]
   
9. Lucia Cloth, Marijn R. Jongerden, Boudewijn R. Haverkort
   Computing Battery Lifetime Distributions. [Citation Graph (0, 0)][DBLP]
   DSN, 2007, pp:780-789 [Conf]
   
10. Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
    CSL model checking algorithms for QBDs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:382, n:1, pp:24-41 [Journal]
    
11. 
    07101 Working Group Report -- Performance Measures Other Than Time. [Citation Graph (, )][DBLP]
    
    
12. 
    Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices. [Citation Graph (, )][DBLP]
    
    
13. 
    The Performability Tool P'ility. [Citation Graph (, )][DBLP]
    
    
14. 
    Mean-Field Analysis for the Evaluation of Gossip Protocols. [Citation Graph (, )][DBLP]
    
    
15. 
    Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. [Citation Graph (, )][DBLP]