LANOTTE, RUGGERO

LANOTTE, RUGGERO  

DIPARTIMENTO DI SCIENZE UMANE E DELL’INNOVAZIONE PER IL TERRITORIO  

Mostra records
Risultati 1 - 20 di 72 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) File
A calculus of cyber-physical systems 1-gen-2017 Lanotte, Ruggero; Merro, Massimo
A Classification of Time and/or Probability Dependent Security Properties 1-gen-2006 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
A Decidable Probability Logic for Timed Probabilistic Systems 1-gen-2009 Lanotte, Ruggero; Beauquier, D.
A Formal Approach to Cyber-Physical Attacks 1-gen-2017 Lanotte, Ruggero; Merro, Massimo; Muradore, Riccardo; Viganò, Luca
A formal approach to physics-based attacks in cyber-physical systems 1-gen-2020 Lanotte, R.; Merro, M.; Munteanu, A.; Vigano, L.
A function elimination method for checking satisfiability of arithmetical logics 1-gen-2014 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics 1-gen-2016 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A modest security analysis of cyber-physical systems: A case study 1-gen-2018 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
A Probabilistic Calculus of Cyber-Physical Systems 1-gen-2021 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
A process calculus approach to correctness enforcement of PLCs 1-gen-2020 Lanotte, R.; Merro, M.; Munteanu, A.
A process calculus approach to detection and mitigation of PLC malware 1-gen-2021 Lanotte, R.; Merro, M.; Munteanu, A.
A Rule Format for Rooted Branching Bisimulation 1-gen-2013 V., Castiglioni; Lanotte, Ruggero; Tini, Simone
A semantic theory of the Internet of Things 1-gen-2018 Lanotte, Ruggero; Merro, Massimo
A semantic theory of the internet of things (Extended abstract) 1-gen-2016 Lanotte, Ruggero; Merro, Massimo
A specification format for rooted branching bisimulation 1-gen-2014 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces 1-gen-2021 Lanotte, R.; Tini, S.
Automated Analysis of Timed Security: A Case Study on Web Privacy 1-gen-2004 Gorrieri, R.; Lanotte, Ruggero; Martinelli, F.; MAGGIOLO SCHETTINI, A.; Tini, Simone; Tronci, E.
Automatic Analysis of a Non-Repudiation Protocol 1-gen-2005 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Automatic Analysis of the NRL Pump 1-gen-2004 Lanotte, Ruggero; Maggiolo Schettini, A.; Tini, Simone; Troina, A.; Tronci, E.
Automatic Covert Channel Analysis of a Multilevel Secure Component 1-gen-2004 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone; Troina, A.; Tronci, E.