Ruggero Lanotte | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Luca Viganò
14 publications
Simone Tini
6 publications
Massimo Merro
4 publications
Andrei Munteanu
3 publications

research

∙ 05/22/2021

Runtime Enforcement of Programmable Logic Controllers

With the advent of Industry 4.0, industrial facilities and critical infr...

0 Ruggero Lanotte, et al. ∙

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...

0 Ruggero Lanotte, et al. ∙

research

∙ 02/12/2019

A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems (Extended Version)

We apply formal methods to lay and streamline theoretical foundations to...

0 Ruggero Lanotte, et al. ∙

research

∙ 06/27/2018

Towards a formal notion of impact metric for cyber-physical attacks (full version)

Industrial facilities and critical infrastructures are transforming into...

0 Ruggero Lanotte, et al. ∙