Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 78 di 78
Titolo Data di pubblicazione Autore(i) File
A semantic theory of the Internet of Things 1-gen-2018 Lanotte, Ruggero; Merro, Massimo
Towards a formal notion of impact metric for cyber-physical attacks 1-gen-2018 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics 1-gen-2019 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Computing Bisimilarity Metrics for Probabilistic Timed Automata 1-gen-2019 Lanotte, Ruggero; Tini, Simone
On the decidability of linear bounded periodic cyber-physical systems 1-gen-2019 Lanotte, Ruggero; Merro, Massimo; Mogavero, Fabio
Runtime Enforcement for Control System Security 1-gen-2020 Lanotte, Ruggero; Merro, Massimo; Andrei Munteau, And
A process calculus approach to correctness enforcement of PLCs 1-gen-2020 Lanotte, R.; Merro, M.; Munteanu, A.
A formal approach to physics-based attacks in cyber-physical systems 1-gen-2020 Lanotte, R.; Merro, M.; Munteanu, A.; Vigano, L.
A process calculus approach to detection and mitigation of PLC malware 1-gen-2021 Lanotte, R.; Merro, M.; Munteanu, A.
A Probabilistic Calculus of Cyber-Physical Systems 1-gen-2021 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
Formal Impact Metrics for Cyber-physical Attacks 1-gen-2021 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei; Tini, Simone
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces 1-gen-2021 Lanotte, R.; Tini, S.
Industrial Control Systems Security via Runtime Enforcement 1-gen-2022 Lanotte, R.; Merro, M.; Munteanu, A.
Quantitative Robustness Analysis of Sensor Attacks on Cyber-Physical Systems 1-gen-2023 Chong, S.; Lanotte, R.; Merro, M.; Tini, S.; Xiang, J.
Towards Reverse Engineering of Industrial Physical Processes 1-gen-2023 Ceccato, M.; Driouich, Y.; Lanotte, R.; Lucchese, M.; Merro, M.
Step-by-step Robustness for Biochemical Networks 1-gen-2023 Lanotte, R.; Manicardi, D.; Tini, S.
Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study 1-gen-2023 Lanotte, R.; Merro, M.; Zannone, N.
Back to the format: A survey on SOS for probabilistic processes 1-gen-2024 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
Mostrati risultati da 61 a 78 di 78
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