NICOLETTI, STEFANO MARIA
NICOLETTI, STEFANO MARIA
Dipartimento di Scienze Pure e Applicate (DiSPeA)
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.007 secondi).
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
2024 Quaresma, Pedro; Graziani, Pierluigi; Nicoletti, Stefano M.
How Hard Can It Be? Quantifying MITRE Attack Campaigns with Attack Trees and cATM Logic
2026 Nicoletti, Stefano M.; Lopuhaä-Zwakenberg, Milan; Stoelinga, Mariëlle; Massacci, Fabio; Budde, Carlos E.
Querying Fault and Attack Trees: Property Specification on a Water Network
2024 Nicoletti, Stefano M.; Lopuhaä-Zwakenberg, Milan; Moritz Hahn, E.; Stoelinga, Mariëlle
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry | 1-gen-2024 | Quaresma, Pedro; Graziani, Pierluigi; Nicoletti, Stefano M. | |
| How Hard Can It Be? Quantifying MITRE Attack Campaigns with Attack Trees and cATM Logic | 1-gen-2026 | Nicoletti, Stefano M.; Lopuhaä-Zwakenberg, Milan; Stoelinga, Mariëlle; Massacci, Fabio; Budde, Carlos E. | |
| Querying Fault and Attack Trees: Property Specification on a Water Network | 1-gen-2024 | Nicoletti, Stefano M.; Lopuhaä-Zwakenberg, Milan; Moritz Hahn, E.; Stoelinga, Mariëlle |