Tutorial @ RV 2019, Porto

Today, I have presented a tutorial on Runtime Enforcement of Timed Properties at RV 2019. This tutorial summarizes a line of work on the topic with colleagues and also introduces a taxonomy for runtime enforcement.

The tutorial material (including slides, papers, and a virtual machine with TiPeX pre-installed) can be obtained here.