Current Projects

NESSoS: Network of Excellence on Engineering Secure Future Internet Software Services and Systems, EU-Funded Proejct, 2010-2014.
ASCENS: Autonomic Service Component Ensembles, EU-funded Integrated Project, 2010-2014.
MAEWA II: Model Driven Engineering of adaptive Rich Internet Applications, funded by DFG, 2009-2011.
PUMA: Doctorate Program Program- and Model Analysis, funded by DFG.
REFLECT: Responsive Flexible Collaborating Ambient, EU-funded Specific Targeted Research Project, 2008-2011.
RAJA: Development of a real-time und Rule-based Authorization framework on Java. IuK-Projekt
UWE: UML-based Web Engineering (UWE Method, CASE tool ArgoUWE, OpenUWE Tool Suite).
HUGO: Model checking of UML state machines and collaborations

Forschung