Sfoglia per Autore
Automaton-Based Array Initialization Analysis
2012-01-01 Nikolic, Durica; Spoto, Nicola Fausto
Definite Expression Aliasing Analysis for Java Bytecode
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
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.
Locking Discipline Inference and Checking
2016-01-01 Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier
Semantics for Locking Specifications
2016-01-01 Michael, Ernst; Macedonio, Damiano; Merro, Massimo; Spoto, Nicola Fausto
The Julia Static Analyzer for Java
2016-01-01 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.
Security Analysis of the OWASP Benchmark with Julia
2017-01-01 Ferrara, Pietro; Burato, Elisa; Spoto, Nicola Fausto
Tailoring Taint Analysis to GDPR
2018-01-01 Ferrara, Pietro; Olivieri, Luca; Spoto, Nicola Fausto
Static Analysis of Android Apps Interaction with Automotive CAN
2018-01-01 Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Kr Mandal, Amit; Spoto, Nicola Fausto
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions
2018-01-01 Payet, Étienne; Spoto, Nicola Fausto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automaton-Based Array Initialization Analysis | 1-gen-2012 | Nikolic, Durica; Spoto, Nicola Fausto | |
Definite Expression Aliasing Analysis for Java Bytecode | 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 | |
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. | |
Locking Discipline Inference and Checking | 1-gen-2016 | Ernst, Michael D.; Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto; Thaine, Javier | |
Semantics for Locking Specifications | 1-gen-2016 | Michael, Ernst; Macedonio, Damiano; Merro, Massimo; Spoto, Nicola Fausto | |
The Julia Static Analyzer for Java | 1-gen-2016 | 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. | |
Security Analysis of the OWASP Benchmark with Julia | 1-gen-2017 | Ferrara, Pietro; Burato, Elisa; Spoto, Nicola Fausto | |
Tailoring Taint Analysis to GDPR | 1-gen-2018 | Ferrara, Pietro; Olivieri, Luca; Spoto, Nicola Fausto | |
Static Analysis of Android Apps Interaction with Automotive CAN | 1-gen-2018 | Panarotto, Federica; Cortesi, Agostino; Ferrara, Pietro; Kr Mandal, Amit; Spoto, Nicola Fausto | |
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions | 1-gen-2018 | Payet, Étienne; 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