Prof.dr. K.M. van Hee

Update Persondata

• architecture
• information
• stress
• systems

Active as

Publications

(the most recent at the top)

Refinement of synchronizable places with multi-workflow nets

Discrete timed Petri nets

Generating benchmarks by random stepwise refinement of Petri nets

Designing weakly terminating ROS systems

When can we trust a third party? : a soundness perspective

All publications..

Completed research projects

(the most recent research is at the top)
Project leader	Next-generation Enterprise Information Systems (SRA Enterprise Information Systems)
Project leader	Leverage project TUE / FWI
Project leader	Statistical Testing and Reliability Estimation of Software Systems (STRESS)
Supervisor	Modelling and Verification of Business Processes (MoveBP)
Supervisor	Key Issues in Cryptology

Classification

D16400	Information systems, databases