EEMCS

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

EEMCS EPrints Service


Author: Neuhausser, M.
Home Policy Brochure Browse Search User Area Contact Help

2012

Guck, D. and Han, Tingting and Katoen, J.P. and Neuhausser, M. (2012) Quantitative timed analysis of interactive Markov chains. In: 4th International Symposium on NASA Formal Methods, NFM 2012, 3-5 Apr 2012, Norfolk, VA, USA. pp. 8-23. Lecture Notes in Computer Science 7226. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-28890-6

2010

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

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

2007

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