Projects
Some current projects
- Serious Games for Software Engineering
- Model Management for Software Safety (of automotive systems)
- Modeling and Reasoning about Uncertainty
- MMINT -- Interactive Model Management
- Slicing Software Histories
- Analysis of Feature-Based Systems
- Goal Modeling with Time
- Reasoning about software evolution