Research Output per year
Research Output 1992 2018
2018
Zen and the Art of Railway Maintenance: Analysis and Optimization of Maintenance via Fault Trees and Statistical Model Checking
Ruijters, E. J. J., May 2018, Enschede: University of Twente. 272 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic
Open Access
File
Model checking
Statistical Models
Costs
Inspection
Repair
2017
Reliable systems: fault tree analysis via Markov reward automata
Guck, D., 23 Mar 2017, Enschede: University of Twente. 228 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic
Open Access
File
Fault tree analysis
Model checking
Preventive maintenance
Maintainability
Hardware
2013
Efficient Modelling, Generation and Analysis of Markov Automata
Timmer, M., 13 Sep 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 340 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic
File
2010
Model-based energy analysis of battery powered systems
Jongerden, M. R., 10 Dec 2010, Enschede: University of Twente. 129 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic
Open Access
File
2009
Diagnosis, Synthesis and Analysis of Probabilistic Models
Han, T., 25 Sep 2009, Enschede: University of Twente. 190 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic
File
2008
Model Checking Markov Chains: Techniques and Tools
Zapreev, I. S., 7 Mar 2008, Zutphen: Woehrmann Printing Service. 229 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic
Open Access
File
2003
59
Downloads
(Pure)
Extensions of Statecharts with probability, time, and stochastic timing
Jansen, D. N., 29 Oct 2003, Bern: Inmarks. 159 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic
Open Access
File
Extentions of Statecharts with Probability, Time and Stochastic Timing
Jansen, D. N., 29 Oct 2003, Bern, Zwitserland: Inmarks ag. 159 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic
75
Downloads
(Pure)
On Model Checking the Dynamics of Object-Based Software: A Foundational Approach
Distefano, D. S., 2003, Enschede: Twente University Press (TUP). 313 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic
File
1996
36
Downloads
(Pure)
Quantitative and Qualitative Extensions of Event Structures
Katoen, J. P., 1996, Enschede: University of Twente. 303 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT › Academic
File