Current Projects
- DresdenOCL: Parsing and Interpreting OCL Constraints on Various Models and Instances
Past Projects
- Zessy: QualiTune (Part of the ResUbic Lab Dresden)
- MDPE: Model-Driven Performance Engineering
- CoolSoftware: Getting Software Components Energy Aware
- Treaty: A Framework for Contracts in Dynamic Component-Based Systems
- jAlgo: The Algorithm Visualisation Tool