Sfoglia per Autore
A semantic theory of the Internet of Things
2018-01-01 Lanotte, Ruggero; Merro, Massimo
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics
2019-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Computing Bisimilarity Metrics for Probabilistic Timed Automata
2019-01-01 Lanotte, Ruggero; Tini, Simone
On the decidability of linear bounded periodic cyber-physical systems
2019-01-01 Lanotte, Ruggero; Merro, Massimo; Mogavero, Fabio
Runtime Enforcement for Control System Security
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Andrei Munteau, And
A formal approach to physics-based attacks in cyber-physical systems
2020-01-01 Lanotte, R.; Merro, M.; Munteanu, A.; Vigano, L.
A process calculus approach to correctness enforcement of PLCs
2020-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
A process calculus approach to detection and mitigation of PLC malware
2021-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
A Probabilistic Calculus of Cyber-Physical Systems
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
2021-01-01 Lanotte, R.; Tini, S.
Formal Impact Metrics for Cyber-physical Attacks
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Tini, Simone
Industrial Control Systems Security via Runtime Enforcement
2022-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile