No photo of Joost P. Katoen

View Scopus Profile

Joost P. Katoen

prof.dr.ir.

1992 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1992 2018

Filter
PhD Thesis - Research UT, graduation UT
2018
125 Downloads (Pure)

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
123 Downloads (Pure)

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
205 Downloads (Pure)

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
73 Downloads (Pure)

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
187 Downloads (Pure)

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
88 Downloads (Pure)

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
98 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

107 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
30 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

Open Access
File
method
analysis