| Formal Runtime Monitoring Approaches for Autonomous Vehicles. | 0 | 0.34 | 2020 |
| Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems | 2 | 0.36 | 2020 |
| Securing implantable medical devices with runtime enforcement hardware | 1 | 0.35 | 2019 |
| Formal Modeling and Verification of NAND Flash Memory Supporting Advanced Operations | 0 | 0.34 | 2019 |
| Security of Pacemakers using Runtime Verification. | 4 | 0.47 | 2018 |
| Runtime verification of hyperproperties for deterministic programs. | 2 | 0.37 | 2018 |
| Monitoring Data Minimisation. | 0 | 0.34 | 2018 |
| Predictive runtime enforcement. | 2 | 0.37 | 2017 |
| Runtime Enforcement of Cyber-Physical Systems. | 4 | 0.43 | 2017 |
| Predictive runtime verification of timed properties. | 5 | 0.48 | 2017 |
| Runtime enforcement of reactive systems using synchronous enforcers. | 0 | 0.34 | 2017 |
| Runtime enforcement of reactive systems using synchronous enforcers. | 4 | 0.42 | 2017 |
| Compositional Runtime Enforcement. | 3 | 0.40 | 2016 |
| Runtime enforcement of regular timed properties by suppressing and delaying events. | 5 | 0.43 | 2016 |
| Tipex: A Tool Chain For Timed Property Enforcement During Execution | 3 | 0.44 | 2015 |
| Enforcement of (Timed) Properties with Uncontrollable Events | 8 | 0.48 | 2015 |
| Runtime enforcement of regular timed properties | 4 | 0.41 | 2014 |
| Runtime enforcement of timed properties revisited | 14 | 0.69 | 2014 |
| Runtime Enforcement of Parametric Timed Properties with Practical Applications. | 6 | 0.44 | 2014 |
| Runtime Enforcement of Timed Properties. | 10 | 0.55 | 2012 |
