Sfoglia per Autore
Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces
2018-01-01 Lanotte, Ruggero; Tini, Simone
A semantic theory of the Internet of Things
2018-01-01 Lanotte, Ruggero; Merro, Massimo
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
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics
2019-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A formal approach to physics-based attacks in cyber-physical systems
2020-01-01 Lanotte, R.; Merro, M.; Munteanu, A.; Vigano, L.
Runtime Enforcement for Control System Security
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Andrei Munteau, And
A process calculus approach to correctness enforcement of PLCs
2020-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
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
A Probabilistic Calculus of Cyber-Physical Systems
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
A process calculus approach to detection and mitigation of PLC malware
2021-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
Industrial Control Systems Security via Runtime Enforcement
2022-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
Step-by-step Robustness for Biochemical Networks
2023-01-01 Lanotte, R.; Manicardi, D.; Tini, S.
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems
2023-01-01 Chong, S.; Lanotte, R.; Merro, M.; Tini, S.; Xiang, J.
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study
2023-01-01 Lanotte, R.; Merro, M.; Zannone, N.
Towards Reverse Engineering of Industrial Physical Processes
2023-01-01 Ceccato, M.; Driouich, Y.; Lanotte, R.; Lucchese, M.; Merro, M.
Back to the format: A survey on SOS for probabilistic processes
2024-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
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