Recent Work

Integration of Runtime Verification into Metamodelling, oriented towards verification of behavioural Domain Specific Modelling Languages
Resaerch cooperation with the ISP at Universität zu Lübeck during my time as a Ph.D. at the Western Norway University of Applied Sciences.
Read