|
Dept.
of Mathematics and Computer Science Technische universiteit Eindhoven |
Some old teaching materials are still available here.
Helen
Schonenberg: PhD thesis What’s Next?
Operational Support for Business Process Execution.
Carmen
Bratosin: PhD thesis Grid Architecture for Distributed Process
Mining
Jan Martijn van der Werf: PhD
thesis Compositional Design and
Verification of Component-Based Information Systems
Olivia Oanea:
PhD thesis Verification of Soundness and Other
Properties of Business Processes
Natalia Yustinova: PhD thesis Abstractions and
Static Analysis for Verifying Reactive Systems
"Creation of a Test Bed (Service Space) and applications for Health and Well-being", 2011 (EIT ICT Labs activity with 8 academic and industrial partners) - coordinator + task leader
"Workflow Management for Large Parallel and Distributed Applications", 2006-2010 (NWO-project, 2 PhD students and 1 postdoc) - principal investigator
"Providing Full Life Cycle Support for Adaptive Processes by Advanced Mining Approaches", 2006-2010 (NWO project) 2006- co-promotor of a PhD student
"Route", 2006 (verification of UML activity diagrams for an external party, 3 researchers) - project leader
"Modelling and
Verification of Business Processes", 2003-2007 (NWO-project, 1
PhD student and 1 postdoc) - principal investigator
See Google Scholar, DBLP, TU/e