My research focuses on developing methodologies and tools based on model-driven engineering principles for software quality assurance and software adaptation.
A domain-specific modeling language to specify and execute feedback loops in self-adaptive software.
Runtime models for self-adaptive software.
An exemplar for self-adaptation covering self-healing and self-optimization capabilities.
Quality assurance of behavioral software requirements.