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. 272 p.Research output: Scientific › PhD Thesis - Research UT, graduation UT
Model checking
Costs
Inspection
Repair
Availability
2017
Reliable systems: fault tree analysis via Markov reward automata
Guck, D. 23 Mar 2017 Enschede. 228 p.Research output: Scientific › PhD Thesis - Research UT, graduation UT
Model checking
Preventive maintenance
Maintainability
Hardware
Availability
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: Scientific › PhD Thesis - Research UT, graduation UT
Markov processes
Model checking
Specifications
Explosions
Syntactics
2010
Model-based energy analysis of battery powered systems
Jongerden, M. R. 10 Dec 2010 Enschede. 129 p.Research output: Scientific › PhD Thesis - Research UT, graduation UT
Scheduling
Kinetics
Model checking
Mobile devices
Markov processes
Model-based energy analysis of battery powered systems
Jongerden, M. R. 10 Dec 2010 129 p.Research output: Scientific › PhD Thesis - Research UT, graduation UT
Scheduling
Kinetics
Model checking
Mobile devices
Markov processes
2009
Diagnosis, Synthesis and Analysis of Probabilistic Models
Han, T. 25 Sep 2009 Enschede. 190 p.Research output: Scientific › PhD Thesis - Research UT, graduation UT
Timed automata
Counterexample
Reachability
Model checking
Regular expressions
2008
Model Checking Markov Chains: Techniques and Tools
Zapreev, I. S. 7 Mar 2008 Zutphen: Woehrmann Printing Service. 229 p.Research output: Scientific › PhD Thesis - Research UT, graduation UT
Model checking
Discrete event simulation
Markov processes
2003
Extensions of Statecharts with probability, time, and stochastic timing
Jansen, D. N. 29 Oct 2003 Bern: Inmarks. 159 p.Research output: Scientific › PhD Thesis - Research UT, graduation UT
Model checking
Unified Modeling Language
Formal languages
Automatic teller machines
Computer systems
Extentions of Statecharts with Probability, Time and Stochastic Timing
Jansen, D. N. 29 Oct 2003 Bern, Zwitserland: Inmarks ag. 159 p.Research output: Scientific › PhD Thesis - Research UT, graduation UT
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: Scientific › PhD Thesis - Research UT, graduation UT
Model checking
Explosions
2001
Towards Effective Model Checking
Ruys, T. C. 22 Mar 2001 Enschede: Universiteit Twente.Research output: Scientific › PhD Thesis - Research UT, graduation UT
1996
Quantitative and Qualitative Extensions of Event Structures
Katoen, J. P. 1996 Enschede. 303 p.Research output: Scientific › PhD Thesis - Research UT, graduation UT
Formal methods
Specifications