...
Modeling Pragmatics
Advisors: Ulf Rüegg, Christoph Daniel Schulze, Reinhard von Hanxleden
...
- SCCharts Verification (Master/Bachelor)
Add the possibility to perfom model checking on SCCharts - Raceyard evaluation (Master)
Evaluate the possibility for the use of SCCharts in the Raceyard context and pave the way for future experiments - Causality Visualization
Visualizing causality and scheduling problems in the diagram to guide the modeller
SCCharts Code Generation & Optimizations
...