LANOTTE, RUGGERO
LANOTTE, RUGGERO
DIPARTIMENTO DI SCIENZE UMANE E DELL’INNOVAZIONE PER IL TERRITORIO
A calculus of cyber-physical systems
2017-01-01 Lanotte, Ruggero; Merro, Massimo
A Classification of Time and/or Probability Dependent Security Properties
2006-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
A Decidable Probability Logic for Timed Probabilistic Systems
2009-01-01 Lanotte, Ruggero; Beauquier, D.
A Formal Approach to Cyber-Physical Attacks
2017-01-01 Lanotte, Ruggero; Merro, Massimo; Muradore, Riccardo; Viganò, Luca
A formal approach to physics-based attacks in cyber-physical systems
2020-01-01 Lanotte, R.; Merro, M.; Munteanu, A.; Vigano, L.
A Function Elimination Method for Checking Satisfiability of Arithmetical Logics
2016-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A function elimination method for checking satisfiability of arithmetical logics
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A modest security analysis of cyber-physical systems: A case study
2018-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
A Probabilistic Calculus of Cyber-Physical Systems
2021-01-01 Lanotte, Ruggero; Merro, Massimo; Tini, Simone
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 Rule Format for Rooted Branching Bisimulation
2013-01-01 V., Castiglioni; Lanotte, Ruggero; Tini, Simone
A semantic theory of the Internet of Things
2018-01-01 Lanotte, Ruggero; Merro, Massimo
A semantic theory of the internet of things (Extended abstract)
2016-01-01 Lanotte, Ruggero; Merro, Massimo
A specification format for rooted branching bisimulation
2014-01-01 Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone
A study on shuffle, stopwatches and independently evolving clocks
2012-01-01 Dima, C.; Lanotte, R.
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
2021-01-01 Lanotte, R.; Tini, S.
Automated Analysis of Timed Security: A Case Study on Web Privacy
2004-01-01 Gorrieri, R.; Lanotte, Ruggero; Martinelli, F.; MAGGIOLO SCHETTINI, A.; Tini, Simone; Tronci, E.
Automatic Analysis of a Non-Repudiation Protocol
2005-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Troina, A.
Automatic Analysis of the NRL Pump
2004-01-01 Lanotte, Ruggero; Maggiolo Schettini, A.; Tini, Simone; Troina, A.; Tronci, E.
| 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-2016 | Castiglioni, Valentina; Lanotte, Ruggero; Tini, Simone | |
| A function elimination method for checking satisfiability of arithmetical logics | 1-gen-2014 | 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 study on shuffle, stopwatches and independently evolving clocks | 1-gen-2012 | Dima, C.; Lanotte, R. | |
| 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. |