EEMCS

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

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2010) Performance Evaluation and Model Checking Join Forces. Communications of the ACM, 53 (9). pp. 76-85. ISSN 0001-0782 *** ISI Impact 2,353 ***

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2008) Reachability in continuous-time Markov reward decision processes. In: Logic and Automata: History and Perspectives, 14-15 Dec 2007, Aachen, Germany. pp. 53-71. Texts in Logic and Games 2. Amsterdam University Press. ISBN 978-90-5356-576-6

Baier, C. and Katoen, J.P. (2008) Principles of Model Checking. MIT Press, New York. ISBN 978-0-262-02649-9

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

Baier, C. and Hermanns, H. and Katoen, J.P. and Wolf, V. (2006) Bisimulation and Simulation Relations for Markov Chains. In: Essays on Algebraic Process Calculi, August 2005, Bertinoro, Italy. pp. 73-78. Electronic Notes in Theoretical Computer Science 162. Elsevier. ISSN 1571-0661

Baier, C. and D'Argenio, P.R. and Größer, M. (2005) Partial Order Reduction for Probabilistic Branching Time. In: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), 23 May 2006, Edinburgh, Scotland. pp. 97-116. Electronic Notes in Theoretical Computer Science 153 (2). Elsevier. ISSN 1571-0661

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2005) Model checking meets performance evaluation. ACM SIGMETRICS Performance Evaluation Review, 32 (4). pp. 10-16. ISSN 0163-5999

Baier, C. and Hermanns, H. and Katoen, J.P. and Haverkort, B.R.H.M. (2005) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Theoretical computer science, 345 (1). pp. 2-26. ISSN 0304-3975 *** ISI Impact 0,838 ***

Baier, C. and Katoen, J.P. and Hermanns, H. and Wolf, V. (2005) Comparative branching-time semantics for Markov chains. Information and Computation, 200 (2). pp. 149-214. ISSN 0890-5401 *** ISI Impact 0,825 ***

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2004) Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). pp. 61-76. Lecture Notes in Computer Science 2988. Springer. ISBN 3-540-21299-X

Baier, C. and Hermanns, H. and Katoen, J.P. (2004) Probabilistic weak simulation is polynomially decidable. Information Processing Letters, 89 (3). pp. 123-252. ISSN 0020-0190 *** ISI Impact 0,612 ***

Baier, C. and Katoen, J.P. and Hermanns, H. and Wolf, V. (2004) Comparative Branching-Time Semantics for Markov Chains. Technical Report TR-CTIT-04-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes. Technical Report TR-CTIT-03-50, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2003) Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29 (6). pp. 524-541. ISSN 0098-5589 *** ISI Impact 2,216 ***

Baier, C. and Hermanns, H. and Katoen, J.P. and Wolf, V. (2003) Comparative branching-time semantics for Markov chains. In: Concurrency Theory (CONCUR). pp. 492-507. Lecture Notes in Computer Science 2761. Springer-Verlag. ISBN 978-3-540-40753-9

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2002) Model-Checking Algorithms for Continuous-Time Markov Chains. Technical Report TR-CTIT-02-10, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2002) Automated performance and dependability evaluation using model checking. In: Computer Performance Evaluation. Lecture Notes in Computer Science 2459. Springer Verlag, Berlin, pp. 261-289. ISBN 3-540-44252-9

Baier, C. and Katoen, J.P. and Hermanns, H. and Haverkort, B.R.H.M. (2002) Simulation for continuous-time Markov chains. In: CONCUR 2002 - Concurrency Theory, 13th International Conference, August 20-23, 2002, Brno, Czech Republic. pp. 338-352. Lecture Notes in Computer Science 2421. Springer. ISBN 3-540-44043-7

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

Katoen, J.P. and Baier, C. and Latella, D. (2001) Metric semantics for true concurrent real time. Theoretical computer science, 254 (1/2). pp. 501-542. ISSN 0304-3975 *** ISI Impact 0,838 ***

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) Model checking continuous-time Markov chains by transient analysis. In: Computer Aided Verification, 12th International Conference, CAV 2000, July 15-19, 2000, Chicago, IL, USA. pp. 358-372. Lecture Notes in Computer Science 1855. Springer Verlag. ISBN 3-540-67770-4

Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P. (2000) On the Logical Characterisation of Performability Properties. In: International Conference on Automata, Languages and Programming (ICALP), 10-14 July 2000, Geneva, Switserland. pp. 780-792. Lecture Notes in Computer Science 1853. Springer. ISBN 9783540677154

Baier, C. and Hermanns, H. (1999) Weak Bisimulation for Fully Probabilistic Processes. Technical Report TR-CTIT-99-12, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Baier, C. and Katoen, J.P. and Hermanns, H. (1999) Approximate symbolic model checking of continous-time Markov chains. In: CONCUR '99: Concurrency Theory, 10th International Conference, August 24-27, 1999, Eindhoven, The Netherlands. pp. 146-162. Lecture Notes in Computer Science 1664. Springer-Verlag. ISBN 3-540-66425-4

Baier, C. and Katoen, J.P. and Latella, D. (1998) Metric semantics for true concurrent real time. In: Automata, Languages and Programming, 25th International Colloquium, ICALP'98, July 13-17, 1998, Aalborg, Denmark. pp. 568-580. Lecture Notes in Computer Science 1443. Springer Verlag. ISBN 3-540-64781-3