EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: QUPES: Verifying Quantitative Properties of Embedded Software
Home Policy Brochure Browse Search User Area Contact Help

2011

Katoen, J.P. and Zapreev, I.S. and Hahn, E.M. and Hermanns, H. and Jansen, D.N. (2011) The ins and outs of the probabilistic model checker MRMC. Performance evaluation, 68 (2). pp. 90-104. ISSN 0166-5316 *** ISI Impact 0,944 ***

2010

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 ***
Katoen, J.P. (2010) Advances in Probabilistic Model Checking. (Invited) In: 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, 17-19 Jan 2010, Madrid, Spain. pp. 25-25. Lecture Notes in Computer Science 5944. Springer Verlag. ISBN 978-3-642-11318-5
Neuhausser, M. (2010) Model Checking Nondeterministic and Randomly Timed Systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-165 ISBN 978-90-365-2975-4
Neuhausser, M. and Zhang, Lijun (2010) Model Checking Interactive Markov Chains. In: 16th International Conferenceon Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2010, 20-28 Mar 2010, Paphos, Cyprus. pp. 53-68. Lecture Notes in Computer Science 6015. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-12001-5

2009

Chen, Taolue and Han, Tingting and Katoen, J.P. and Mereacre, A. (2009) Quantitative model checking of continuous-time Markov chains against timed automata specifications. In: 2009 24th Annual IEEE Symposium on Logic In Computer Science, 11-14 Aug 2009, Los Angeles. pp. 309-318. IEEE Computer Society. ISSN 1043-6871 ISBN 978-0-7695-3746-7
Han, Tingting (2009) Diagnosis, Synthesis and Analysis of Probabilistic Models. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 09-149 ISBN 978-90-365-2858-0
Han, Tingting and Katoen, J.P. and Damman, B. (2009) Counterexample Generation in Probabilistic Model Checking. IEEE Transactions on Software Engineering, 35 (2). pp. 241-257. ISSN 0098-5589 *** ISI Impact 1,516 ***
Katoen, J.P. and Klink, D. and Neuhausser, M. (2009) Compositional Abstraction of Stochastic Systems. In: Formal Modeling and Analysis of Timed Systems. Lecture Notes in Computer Science 5813. Springer Verlag, Berlin, pp. 195-211. ISSN 0302-9743 ISBN 978-3-642-04367-3
Neuhausser, M. and Stoelinga, M.I.A. and Katoen, J.P. (2009) Delayed Nondeterminism in Continuous-Time Markov Decision Processes. In: Foundations of Software Science and Computational Structures. Lecture Notes in Computer Science 5504. Springer Verlag, Berlin, pp. 364-379. ISSN 0302-9743 ISBN 978-3-642-00595-4

2008

Chen, Taolue and Han, Tingting and Katoen, J.P. (2008) Time-Abstracting Bisimulation for Probabilistic Timed Automata. In: Proceedings of the 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE), 17-19 June 2008, Nanjing, China. pp. 177-184. IEEE Computer Society. ISBN 978-0-7695-3249-3
Damman, B. and Han, Tingting and Katoen, J.P. (2008) Regular Expressions for PCTL Counterexamples. In: Proceedings of the 5th International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 14-17 Sept 2008, Saint Malo, France. pp. 179-188. IEEE Computer Society. ISBN 978-0-7695-3360-5
Han, Tingting and Katoen, J.P. and Mereacre, A. (2008) Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. In: Hybrid Systems: Computation and Control (HSCC), St. Louis, U.S.. pp. 244-258. Lecture Notes in Computer Science 4981. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-78928-4
Han, Tingting and Katoen, J.P. and Mereacre, A. (2008) Approximate parameter synthesis for probabilistic time-bounded reachability. In: Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2008), 1-3 Dec 2008, Barcelona, Spain. pp. 173-182. IEEE Computer Society. ISBN 978-0-7695-3477-0
Katoen, J.P. (2008) Perspectives in probabilistic verification. (Invited) In: Proceedings 2nd IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, Nanjing, China. pp. 3-10. IEEE Computer Society. ISBN 978-0-7695-3249-3

2007

Han, Tingting and Katoen, J.P. (2007) Counterexamples in probabilistic model checking. In: Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, 24 Mar - 01 Apr 2007, Braga, Portugal. pp. 72-86. Lecture Notes in Computer Science 4424. Springer Verlag. ISBN 978-3-540-71208-4
Han, Tingting and Katoen, J.P. (2007) Providing evidence of likely being on time - Counterexample generation for CTMC model checking. In: Providing evidence of likely being on time: Counterexample generation for CTMC model checking, 22-25 Oct 2007, Tokyo, Japan. pp. 331-346. Lecture Notes in Computer Science 4762. Springer. ISBN 978-3-540-75595-1
Neuhausser, M. and Katoen, J.P. (2007) Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. In: 18th International Conference on Concurrency Theory (CONCUR), 03-08 Sep 2007, Lisbon, Portugal. pp. 412-427. Lecture Notes in Computer Science 4703. Springer Verlag. ISBN 978-3-540-74406-1

2006

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
Bohnenkamp, H.C. and D'Argenio, P.R. and Hermanns, H. and Katoen, J.P. (2006) MoDeST: A compositional modeling formalism for real-time and stochastic systems. IEEE Transactions on Software Engineering, 32 (10). pp. 812-830. ISSN 0098-5589 *** ISI Impact 1,516 ***
Bravetti, M. and Hermanns, H. and Katoen, J.P. (2006) YMCA: Why Markov Chain Algebra? In: Essays on Algebraic Process Calculi, August 2005, Bertinoro, Italy. pp. 107-112. Electronic Notes in Theoretical Computer Science 162. Elsevier. ISSN 1571-0661
De Nicola, R. and Katoen, J.P. and Latella, D. and Massink, M. (2006) Towards a logic for performance and mobility. In: 3rd Workshop on Quantitative Aspects of Programming Languages, 2-3 Apr 2005, Edinburgh, Scotland. pp. 161-175. Electronic Notes in Theoretical Computer Science 153 (2). Elsevier. ISSN 1571-0661

2005

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