EEMCS

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

EEMCS EPrints Service


Supervisor: Katoen, J.P.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 6.

2013

Timmer, M. (2013) Efficient Modelling, Generation and Analysis of Markov Automata. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 13-261 ISBN 978-90-365-0592-5

2012

Guck, D. (2012) Quantitative Analysis of Markov Automata. Master's thesis, RWTH Aachen University.

2010

Jongerden, M.R. (2010) Model-based energy analysis of battery powered systems. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 10-183 ISBN 978-90-365-3114-6
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

2009

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

2008

Zapreev, I.S. (2008) Model Checking Markov Chains: Techniques and Tools. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 08-113 ISBN 978-90-8570-298-6

This list was generated on Mon Mar 27 10:01:27 CEST 2017.