Prof.dr. K.M. van Hee

Wijzig persoonsdata

• architectuur
• informatiesystemen
• stress

Werkzaam als

Publicaties

(de meest recente is bovenaan geplaatst)

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

Alle publicaties

Afgesloten onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Projectleider	Next-generation Enterprise Information Systems (SRA Enterprise Information Systems)
Projectleider	HEFBOOM-project TUE / FWI
Projectleider	Statistical Testing and Reliability Estimation of Software Systems (STRESS)
Promotor	Modelling and Verification of Business Processes (MoveBP)
Promotor	Belangrijke onderwerpen in de cryptologie

Classificatie

D16400	Informatiesystemen, databases