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: 7.

2017

Guck, D. (2017) Reliable systems - Fault tree analysis via Markov reward automata. PhD thesis, Univeristy of Twente. CTIT Ph.D. Thesis Series No. 16-419 ISBN 978-90-365-4291-3

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 May 22 07:26:38 CEST 2017.