SPOTO, Nicola Fausto
SPOTO, Nicola Fausto
DIPARTIMENTO DI INFORMATICA
A Foundation of Escape Analysis
2002-01-01 P. M., Hill; Spoto, Nicola Fausto
A Java Framework for Smart Contracts
2020-01-01 Spoto, Nicola Fausto
A Refinement of the Escape Property
2002-01-01 P. M., Hill; Spoto, Nicola Fausto
A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements
2024-01-01 Saif, Muhammad Bin; Migliorini, Sara; Spoto, Fausto
A Termination Analyzer for Java Bytecode based on Path-Length
2010-01-01 Spoto, Nicola Fausto; F., Mesnard; E., Payet
A Thread-Safe Library for Binary Decision Diagrams
2014-01-01 Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto
Abstract Compilation for Sharing Analysis
2001-01-01 Gianluca, Amato; Spoto, Nicola Fausto
Abstract Interpretation of Prolog Programs
1999-01-01 Spoto, Nicola Fausto; G., Levi
Algebraic Methods in Language Processing, AMiLP 2003
2003-01-01 Spoto, Nicola Fausto; Scollo, Giuseppe; A., Nijholt
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs
1998-01-01 G., Levi; Spoto, Nicola Fausto
An Operational Semantics for Android Activities
2014-01-01 E., Payet; Spoto, Nicola Fausto
Analysing omics data sets with weighted nodes networks (WNNets)
2021-01-01 Tosadori, G.; Di Silvestre, D.; Spoto, F.; Mauri, P.; Laudanna, C.; Scardoni, G.
Analysis of Downward Closed Properties of Logic Programs
2000-01-01 P. M., Hill; Spoto, Nicola Fausto
Automaton-Based Array Initialization Analysis
2012-01-01 Nikolic, Durica; Spoto, Nicola Fausto
BackFlow: Backward Context-Sensitive Flow Reconstruction of Taint Analysis Results
2020-01-01 Ferrara, Pietro; Olivieri, Luca; Spoto, 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
Checking Array Bounds by Abstract Interpretation and Symbolic Expressions
2018-01-01 Payet, Étienne; Spoto, Nicola Fausto
CIL to Java-bytecode translation for static analysis leveraging
2018-01-01 Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto
Class Analyses as Abstract Interpretations of Trace Semantics
2003-01-01 Spoto, Nicola Fausto; T., Jensen
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Foundation of Escape Analysis | 1-gen-2002 | P. M., Hill; Spoto, Nicola Fausto | |
| A Java Framework for Smart Contracts | 1-gen-2020 | Spoto, Nicola Fausto | |
| A Refinement of the Escape Property | 1-gen-2002 | P. M., Hill; Spoto, Nicola Fausto | |
| A Survey on Data Availability in Layer 2 Blockchain Rollups: Open Challenges and Future Improvements | 1-gen-2024 | Saif, Muhammad Bin; Migliorini, Sara; Spoto, Fausto | |
| A Termination Analyzer for Java Bytecode based on Path-Length | 1-gen-2010 | Spoto, Nicola Fausto; F., Mesnard; E., Payet | |
| A Thread-Safe Library for Binary Decision Diagrams | 1-gen-2014 | Lovato, Alberto; Macedonio, Damiano; Spoto, Nicola Fausto | |
| 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 | |
| An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs | 1-gen-1998 | G., Levi; Spoto, Nicola Fausto | |
| An Operational Semantics for Android Activities | 1-gen-2014 | E., Payet; Spoto, Nicola Fausto | |
| Analysing omics data sets with weighted nodes networks (WNNets) | 1-gen-2021 | Tosadori, G.; Di Silvestre, D.; Spoto, F.; Mauri, P.; Laudanna, C.; Scardoni, G. | |
| 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 |