Dept. of Mathematics and Computer Science
Technische universiteit Eindhoven PO Box 513 5600 MB Eindhoven The Netherlands Office Metaforum 7.105 Tel. +31 (0)40 2473705 Fax +31 (0)40 2463992 E-mail email@example.com
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
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
Stress@work, 2012 (EIT ICT Labs activity involving TU/e, Philips Research, Aalto University, as well as HumanCapitalCare) - coordinator + task leader
"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