research
∙
05/22/2021
Runtime Enforcement of Programmable Logic Controllers
With the advent of Industry 4.0, industrial facilities and critical infr...
research
∙
07/18/2020
A process calculus approach to correctness enforcement of PLCs (full version)
We define a simple process calculus, based on Hennessy and Regan's Timed...
research
∙
02/12/2019