Natalia Sidorova
|
|
Dept. of Mathematics and Computer Science Technische universiteit Eindhoven |
Lectures Metamodeling and Interoperability (2II65) - register for the course via OASE
Some
old teaching materials are available here.
PhD Students:
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
Main projects
"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
Publications
See also publications listed by Google Scholar, DBLP, TU/e