EEMCS

Bakhshi, R. and Cloth, L. and Fokkink, W and Haverkort, B.R.H.M. (2011) Mean-field framework for performance evaluation of push–pull gossip protocols. Performance evaluation, 68 (2). pp. 157-179. ISSN 0166-5316 *** ISI Impact 1,168 ***

Baier, C. and Cloth, L. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2010) Performability assessment by model checking of Markov reward models. Formal methods in system design, 36 (1). pp. 1-36. ISSN 0925-9856 *** ISI Impact 1,132 ***

Bakshi, R. and Cloth, L. and Fokkink, W.J. and Haverkort, B.R.H.M. (2009) Mean-Field Analysis for the Evaluation of Gossip Protocols. In: IEEE Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09), 13-16 Sept 2009, Budapest, Hungary. pp. 247-256. IEEE Computer Society. ISBN 978-0-7695-3808-2

Bakhshi, R. and Cloth, L. and Fokkink, W.J. and Haverkort, B.R.H.M. (2008) Mean-field analysis for the evaluation of gossip protocols. ACM SIGMETRICS performance evaluation review, 36 (3). pp. 32-39. ISSN 0163-5999

Cloth, L. and Haverkort, B.R.H.M. (2008) The performability tool P'ility. In: Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008, 14-17 Sep 2008, St. Malo, France. pp. 117-118. IEEE Computer Society. ISBN 978-0-7695-3360-5

Remke, A.K.I. and Haverkort, B.R.H.M. and Heijenk, G.J. and Cloth, L. (2008) Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. In: Analytical and Stochastic Modeling Techniques and Application, 04-06 Jun 2008, Nicosia, Cyprus. pp. 279-294. Lecture Notes in Computer Science 5055. Springer. ISSN 0302-9743 ISBN 978-3-540-68980-5

Baier, C. and Cloth, L. and Haverkort, B.R.H.M. and Kuntz, G.W.M. and Siegle, M. (2007) Model Checking Markov Chains with Actions and State Labels. IEEE transactions on software engineering, 33 (4). pp. 209-224. ISSN 0098-5589 *** ISI Impact 2,216 ***

Cloth, L. and Haverkort, B.R.H.M. and Jongerden, M.R. (2007) Computing Battery Lifetime Distributions. In: Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2007), 25-28 Jun 2007, Edinburgh, UK. pp. 780-789. IEEE Computer Society. ISBN 978-0-7695-2855-7

Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2007) CSL model checking algorithms for QBDs. Theoretical computer science, 382 (1). pp. 24-41. ISSN 0304-3975 *** ISI Impact 0,838 ***

Cloth, L. (2006) Model Checking Algorithms for Markov Reward Models. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-81 ISBN 90-365-2317-6

Cloth, L. and Haverkort, B.R.H.M. (2006) Five Performability Algorithms. A Comparison. In: MAM 2006: Markov Anniversary Meeting, 12-14 Jun 2006, Charleston, SC, USA. pp. 39-54. Boson Books. ISBN 1 932482 34 2

Cloth, L. and Haverkort, B.R.H.M. and Jongerden, M.R. (2006) Evaluation of Battery Lifetimes using Inhomogeneous Markov Reward Models. Technical Report TR-CTIT-06-58, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. In: Third International Conference on the Quantitative Evaluation of Systems, 11-14 Sept 2006, Riverside, CA. pp. 63-72. IEEE Computer Society. ISBN 0769526659

Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) Uniformization with Representatives - comprehensive transient analysis of infinite-state QBDs. In: First International Conference on Performance Evaluation Methodologies and Tools, 10 Oct 2006, Pisa, Italy. 7. ACM. ISBN 1-59593-506-1

Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2006) Bottlenecks in Two-Hop Ad Hoc Networks - Dividing Radio Capacity in a Smart Way. In: Stochastic Performance Models for Resource Allocation in Communication Systems, 8-10 Nov 2006, Amsterdam, the Netherlands. pp. 23-26. Centrum voor Wiskunde en Informatica. ISBN not assigned

Cloth, L. and Katoen, J.P. and Khattri, M. and Pulungan, R. (2005) Model Checking Markov Reward Models with Impulse Rewards. In: Int. Conf. on Dependable Systems and Networks, 28 June - 01 July, Yokohama, Japan. pp. 722-731. IEEE Computer Society. ISBN 0 7695 2282 3

Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2005) Model checking Infinite-State Markov Chains. In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005), 4-8 Apr 2005, Edinburgh, UK. pp. 237-252. Lecture Notes in Computer Science 3440. Springer. ISBN 9783540253334

Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L. (2004) Model Checking Infinite-State Markov Chains. Technical Report TR-CTIT-04-49, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Haverkort, B.R.H.M. and Cloth, L. and Hermanns, H. and Katoen, J.P. and Baier, C. (2002) Model-checking performability properties. In: International IEEE Conference on Dependable Systems and Networks (DSN), 23-26 June 2002, Bethesda, MD, USA. pp. 103-112. IEEE Computer Society. ISBN 0-7695-1597-5

Cloth, L. and Bohnenkamp, H.C. and Haverkort, B.R.H.M. (2001) Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes. In: Process Algebra and Probabilistic Models, Performance Modeling and Verification, 2001, Aachen, Germany. pp. 152-167. Lecture Notes in Computer Science 2165. ISBN 3-540-42556-X