My main research interests are in:
- Software quality requirements modeling, analysis and verification
- Formal methods for (self-)adaptive dependable IT systems
- Model-driven software engineering
and the application of the theories, approaches and techniques specific to
the above research areas to
service-oriented and
component-based
systems,
adaptive systems,
mobile
systems, and
cloud computing.