Laufende Projekte

NESSoS: Network of Excellence on Engineering Secure Future Internet Software Services and Systems, 2010-2014.
ASCENS: Autonomic Service Component Ensembles, EU-funded Integrated Project, 2010-2014.
MAEWA II: Modellbasiertes Engineering adaptiver Rich-Internet-Applications, DFG-Projekt, 2009-2011.
PUMA: Graduiertenkolleg Programm- und Modellanalyse, DFG-Projekt.
REFLECT: Responsive Flexible Collaborating Ambient, EU-funded Specific Targeted Research Project, 2008-2011.
RAJA: Entwicklung eines echtzeitfähigen und Regelbasierten Autorisierungsframeworks auf Java- Basis. IuK-Projekt
UWE: UML-based Web Engineering (Methode UWE, ArgoUWE Modellierungswerkzeug, OpenUWE Entwicklungsumgebung).
HUGO: Model Checking für UML-Zustandsmaschinen und Kollaborationen.

Forschung