Research Interests
 | Monitoring, Testing, and Evolution of Cyber-Physical Systems CPS embed cyber capabilities in the physical world affecting humans, and their interactions. While runtime monitoring has been an active research area, particularly CPS pose new challenges. [more] |
|  | Self-Adaptation and Human-Machine Teaming HMT emphasizes interactions, partnership, and teamwork between humans and machines. This requires transparency, augmented cognition, and (self-)adaptation capabilities. [more] |
|
 | Safety Assurance for small Uncrewed Aerial Systems Safety-critical software must deliver its required functionality while ensuring that the system is safe for its intended use, using rigorous safety assurance practices. [more] |
|  | Assurance of Learning and Competency-Based Education Assessment of students' performance and analyzing learning outcomes have become widely adopted practices, requiring a set of well-established learning objectives. [more] |
|
 | Variability Modelling and Product Lines The complexity of product line variability models makes it hard to maintain their consistency over time regardless of the modeling approach used. [more] |
|