Sfoglia per Autore
Automaton-Based Array Initialization Analysis
2012-01-01 Nikolic, Durica; Spoto, Nicola Fausto
Reachability Analysis of Program Variables
2012-01-01 Nikolic, Durica; Spoto, Nicola Fausto
Static Analysis of Android Programs
2012-01-01 E., Payet; Spoto, Nicola Fausto
Definite Expression Aliasing Analysis for Java Bytecode
2012-01-01 Nikolic, Durica; Spoto, Nicola Fausto
Inferring Complete Initialization of Arrays
2013-01-01 Nikolic, Durica; Spoto, Nicola Fausto
Reachability Analysis of Program Variables
2013-01-01 Nikolic, Durica; Spoto, Nicola Fausto
An Operational Semantics for Android Activities
2014-01-01 E., Payet; Spoto, Nicola Fausto
A Thread-Safe Library for Binary Decision Diagrams
2014-01-01 Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto
Field-sensitive unreachability and non-cyclicity analysis
2014-01-01 Scapin, Enrico; Spoto, Nicola Fausto
Biological network analysis with CentiScaPe: centralities and experimental dataset integration
2015-01-01 Scardoni, Giovanni; Tosadori, Gabriele; Faizan, Mohammed; Spoto, Nicola Fausto; Fabbri, Franco; Laudanna, Carlo
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
Finding the shortest path with PesCa: A tool for network reconstruction
2016-01-01 Scardoni, G.; Tosadori, G.; Pratap, S.; Spoto, F.; Laudanna, C.
Semantics for Locking Specifications
2016-01-01 Michael, Ernst; Macedonio, Damiano; Merro, Massimo; Spoto, Nicola Fausto
Locking Discipline Inference and Checking
2016-01-01 Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier
The Julia Static Analyzer for Java
2016-01-01 Spoto, Nicola Fausto
Security Analysis of the OWASP Benchmark with Julia
2017-01-01 Ferrara, Pietro; Burato, Elisa; Spoto, Nicola Fausto
Creating, generating and comparing random network models with NetworkRandomizer
2017-01-01 Tosadori, G.; Bestvina, I.; Spoto, F.; Laudanna, C.; Scardoni, G.
CIL to Java-bytecode translation for static analysis leveraging
2018-01-01 Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions
2018-01-01 Payet, Étienne; Spoto, Nicola Fausto
Vulnerability analysis of Android auto infotainment apps
2018-01-01 Kr Mandal, Amit; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; Spoto, Nicola Fausto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automaton-Based Array Initialization Analysis | 1-gen-2012 | Nikolic, Durica; Spoto, Nicola Fausto | |
| Reachability Analysis of Program Variables | 1-gen-2012 | Nikolic, Durica; Spoto, Nicola Fausto | |
| Static Analysis of Android Programs | 1-gen-2012 | E., Payet; Spoto, Nicola Fausto | |
| Definite Expression Aliasing Analysis for Java Bytecode | 1-gen-2012 | Nikolic, Durica; Spoto, Nicola Fausto | |
| Inferring Complete Initialization of Arrays | 1-gen-2013 | Nikolic, Durica; Spoto, Nicola Fausto | |
| Reachability Analysis of Program Variables | 1-gen-2013 | Nikolic, Durica; Spoto, Nicola Fausto | |
| An Operational Semantics for Android Activities | 1-gen-2014 | E., Payet; Spoto, Nicola Fausto | |
| A Thread-Safe Library for Binary Decision Diagrams | 1-gen-2014 | Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto | |
| Field-sensitive unreachability and non-cyclicity analysis | 1-gen-2014 | Scapin, Enrico; Spoto, Nicola Fausto | |
| Biological network analysis with CentiScaPe: centralities and experimental dataset integration | 1-gen-2015 | Scardoni, Giovanni; Tosadori, Gabriele; Faizan, Mohammed; Spoto, Nicola Fausto; Fabbri, Franco; Laudanna, Carlo | |
| 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 | |
| Finding the shortest path with PesCa: A tool for network reconstruction | 1-gen-2016 | Scardoni, G.; Tosadori, G.; Pratap, S.; Spoto, F.; Laudanna, C. | |
| Semantics for Locking Specifications | 1-gen-2016 | Michael, Ernst; Macedonio, Damiano; Merro, Massimo; Spoto, Nicola Fausto | |
| Locking Discipline Inference and Checking | 1-gen-2016 | Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier | |
| The Julia Static Analyzer for Java | 1-gen-2016 | Spoto, Nicola Fausto | |
| Security Analysis of the OWASP Benchmark with Julia | 1-gen-2017 | Ferrara, Pietro; Burato, Elisa; Spoto, Nicola Fausto | |
| Creating, generating and comparing random network models with NetworkRandomizer | 1-gen-2017 | Tosadori, G.; Bestvina, I.; Spoto, F.; Laudanna, C.; Scardoni, G. | |
| CIL to Java-bytecode translation for static analysis leveraging | 1-gen-2018 | Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto | |
| Checking Array Bounds by Abstract Interpretation and Symbolic Expressions | 1-gen-2018 | Payet, Étienne; Spoto, Nicola Fausto | |
| Vulnerability analysis of Android auto infotainment apps | 1-gen-2018 | Kr Mandal, Amit; Cortesi, Agostino; Ferrara, Pietro; Panarotto, Federica; Spoto, Nicola Fausto |
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