Sfoglia per Autore
A modest security analysis of cyber-physical systems: A case study
2018-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Equational reasonings in wireless network gossip protocols
2018-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
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 process calculus approach to correctness enforcement of PLCs
2020-01-01 Lanotte, R.; Merro, M.; Munteanu, A.
A formal approach to physics-based attacks in cyber-physical systems
2020-01-01 Lanotte, R.; Merro, M.; Munteanu, A.; Vigano, L.
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
2021-01-01 Lanotte, R.; Tini, S.
A Probabilistic Calculus of Cyber-Physical Systems
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
Formal Impact Metrics for Cyber-physical Attacks
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; 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.
Towards Reverse Engineering of Industrial Physical Processes
2023-01-01 Ceccato, M.; Driouich, Y.; Lanotte, R.; Lucchese, M.; Merro, M.
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study
2023-01-01 Lanotte, R.; Merro, M.; Zannone, N.
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.
Robustness for biochemical networks: Step-by-step approach
2024-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Loreti, Michele; Manicardi, Desiree; Tini, Simone
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations
2024-01-01 Castiglioni, V.; Lanotte, R.; Loreti, M.; Tini, S.
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