LOVATO, Alberto
LOVATO, Alberto
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.014 secondi).
A Thread-Safe Library for Binary Decision Diagrams
2014-01-01 Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto
Boolean Formulas for the Static Identification of Injection Attacks in Java
2015-01-01 Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian; Spoto, Nicola Fausto
Concurrency and static analysis
2017-01-01 Lovato, Alberto
Locking Discipline Inference and Checking
2016-01-01 Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier
Static Identification of Injection Attacks in Java
2019-01-01 Spoto, Nicola Fausto; Burato, Elisa; Ernst, Michael D.; Ferrara, Pietro; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Thread-Safe Library for Binary Decision Diagrams | 1-gen-2014 | Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto | |
| Boolean Formulas for the Static Identification of Injection Attacks in Java | 1-gen-2015 | Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian; Spoto, Nicola Fausto | |
| Concurrency and static analysis | 1-gen-2017 | Lovato, Alberto | |
| Locking Discipline Inference and Checking | 1-gen-2016 | Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier | |
| Static Identification of Injection Attacks in Java | 1-gen-2019 | Spoto, Nicola Fausto; Burato, Elisa; Ernst, Michael D.; Ferrara, Pietro; Lovato, Alberto; Macedonio, Damiano; Spiridon, Ciprian |