Back to search results

Person

Prof.dr.ir. J.P. Katoen

Pagina-navigatie:

Update Persondata

Personal homepage	http://www-i2.informatik.rwth-aachen.de/~katoen
Digital Author ID	info:eu-repo/dai/nl/07485299X
Addition	Universiteitshoogleraar Software Modelling and Verification Group, RWTH Aachen University

Active as

Part-time professor
Organisation	Chair Formal Methods and Tools (UT)
Chair (EN)	Formal Methods and Tools
Chair (NL)	Formal Methods and Tools
Phone	+31-53-4893676
Email	katoen -at- cs. rwth-aachen. de

Publications

Is Quantitative Analysis of Stuxnet Possible?
Efficient CTMC Model Checking of Linear Real-Time Objectives
The ins and outs of the probabilistic model checker MRMC
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
Time-bounded reachability in tree-structured QBDs by abstraction

All publications..

Current research

(the most recent research is at the top)
Project leader	SYmbolic RedUction of Probabilistic Models (SYRUP)
Supervisor	Symbolic Translation of Stochastic Processes

Completed research projects

(the most recent research is at the top)
Supervisor	Model-based energy analysis of battery powered systems
Project leader	QUPES - verifying QUantitative Properties of Embedded Software
Project leader	Formal Methods and Tools: Applications
Project leader	Formal Methods and Tools: Tool Development
Project leader	Formal Methods and Tools: Fundamental Research Issues

Classification

D16200	Software, algorithms, control systems
D16300	Theoretical computer science

Go to page top
Go back to contents
Go back to site navigation