Laufende Projekte

MAEWA II: Modellbasiertes Engineering adaptiver Rich-Internet-Applications, DFG-Projekt.
PUMA: Graduiertenkolleg Programm- und Modellanalyse, DFG-Projekt.
SENSORIA: Software Engineering for Service-Oriented Overlay Computers, EU-funded Integrated Project.
INTERLINK: International Cooperation Activities in Future and Emerging ICTs, EU-funded Coordinated Action.
REFLECT: Responsive Flexible Collaborating Ambient, EU-funded Specific Targeted Research Project.
GLOWA-Danube: Integrative Techniques, Scenarios and Strategies for the Future of Water in the upper Danube Basin: Development of a Distributed Modeling and Decision Support System, BMBF-Projekt.
RAJA: Entwicklung eines echtzeitfähigen und Regelbasierten Autorisierungsframeworks auf Java- Basis. IuK-Projekt
gCM: Grenzenloses Credential-Management, IUK-Projekt.
UWE: UML-based Web Engineering (Methode UWE, ArgoUWE Modellierungswerkzeug, OpenUWE Entwicklungsumgebung).
HUGO: Model Checking für UML-Zustandsmaschinen und Kollaborationen.
Java/A: Eine architektur-orientierte Programmiersprache auf Java basierend.
Hyena: a connected information manager based on RDF, Ajax, and Eclipse.
CoCoME:Common Component Modelling Example (englisch).
LWAA Spin: Erweiterung des SPIN-Model checkers um lineare, schwache, alternierende Automaten.
OCLexec: Code generation from OCL operation contracts.

Forschung