SPOTO, Nicola Fausto

SPOTO, Nicola Fausto  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 81 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autore(i) File
Abstract Compilation for Sharing Analysis 1-gen-2001 Gianluca, Amato; Spoto, Nicola Fausto
Abstract Interpretation of Prolog Programs 1-gen-1999 Spoto, Nicola Fausto; G., Levi
Algebraic Methods in Language Processing, AMiLP 2003 1-gen-2003 Spoto, Nicola Fausto; Scollo, Giuseppe; A., Nijholt
Analysis of Downward Closed Properties of Logic Programs 1-gen-2000 P. M., Hill; Spoto, Nicola Fausto
Automaton-Based Array Initialization Analysis 1-gen-2012 Nikolic, Durica; Spoto, Nicola Fausto
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results 1-gen-2020 Ferrara, Pietro; Olivieri, Luca; Spoto, 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
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions 1-gen-2018 Payet, Étienne; Spoto, Nicola Fausto
CIL to Java-bytecode translation for static analysis leveraging 1-gen-2018 Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto
Class Analyses as Abstract Interpretations of Trace Semantics 1-gen-2003 Spoto, Nicola Fausto; T., Jensen
Class Analysis of Object-Oriented Programs through Abstract Interpretation 1-gen-2001 Thomas, Jensen; Spoto, Nicola Fausto
Constancy Analysis 1-gen-2008 G., Samir; 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.
Cross-Program Taint Analysis for IoT Systems 1-gen-2020 Mandal, A; Ferrara, P; Khlyebnikov, Y; Cortesi, A; Spoto, F
Cross-Programming Language Taint Analysis for the IoT Ecosystem 1-gen-2019 Ferrara, Pietro; Kr Mandal, Amit; Cortesi, Agostino; Spoto, Nicola Fausto
Cybersecurity Impacts of the Covid-19 Pandemic in Italy 1-gen-2021 Bozzetti, Marco; Olivieri, Luca; Spoto, Nicola Fausto
Definite Expression Aliasing Analysis for Java Bytecode 1-gen-2012 Nikolic, Durica; Spoto, Nicola Fausto
Deriving Escape Analysis by Abstract Interpretation 1-gen-2006 P. M., Hill; Spoto, Nicola Fausto
Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions 1-gen-2006 Stefano, Rossignoli; Spoto, Nicola Fausto