- Model-Driven Engineering (MDE)
- Meta-modeling & modeling languages
- UML profiles
- Domain-Specific Modeling Languages (DSML)
- Domain-Specific Meta-Modeling languages (DSM2L)
- Model Transformations
- Engineering model transformations (transformation life-cycle)
- Model transformation testing
- Bidirectional transformations (Bx)
- Reactive & incremental transformations
- Model transformation patterns
- Model-driven reverse engineering (MDRE)
- Model Management
- Model versioning, synchronization, and merging
- Inter-model consistency
- Model Execution
- Compaction of model execution traces
- Software design patterns
- Design patterns and anti-patterns
- Pattern Language Verification (PLV)
- Software Testing
- Automatic test case generation
- Model-Based Testing (MBT)
- Problem and solution domains
- Emergency Response Environments (ERE)
- Service-Oriented Architecture (SOA)
- Pervasive context-aware services
- Android applications
- Computer games
- Software security
- Malware detection & repair
- Vulnerability analysis
- Access control policies