Research Output 1992 2018

Filter
PhD Thesis - Research UT, graduation UT
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: ScientificPhD 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: ScientificPhD 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: ScientificPhD 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: ScientificPhD 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: ScientificPhD 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: ScientificPhD 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: ScientificPhD 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: ScientificPhD 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: ScientificPhD 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: ScientificPhD Thesis - Research UT, graduation UT

Model checking
Explosions
2001

Towards Effective Model Checking

Ruys, T. C. 22 Mar 2001 Enschede: Universiteit Twente.

Research output: ScientificPhD Thesis - Research UT, graduation UT

1996

Quantitative and Qualitative Extensions of Event Structures

Katoen, J. P. 1996 Enschede. 303 p.

Research output: ScientificPhD Thesis - Research UT, graduation UT

Formal methods
Specifications