SPOTO, Nicola Fausto
SPOTO, Nicola Fausto
DIPARTIMENTO DI INFORMATICA
A Termination Analyzer for Java Bytecode based on Path-Length
2010-01-01 Spoto, Nicola Fausto; F., Mesnard; E., Payet
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.
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
Class Analyses as Abstract Interpretations of Trace Semantics
2003-01-01 Spoto, Nicola Fausto; T., Jensen
Creating, generating and comparing random network models with NetworkRandomizer
2017-01-01 Tosadori, G.; Bestvina, I.; Spoto, F.; Laudanna, C.; Scardoni, G.
Cross-Programming Language Taint Analysis for the IoT Ecosystem
2019-01-01 Ferrara, Pietro; Kr Mandal, Amit; Cortesi, Agostino; Spoto, Nicola Fausto
Deriving Escape Analysis by Abstract Interpretation
2006-01-01 P. M., Hill; Spoto, Nicola Fausto
Field-sensitive unreachability and non-cyclicity analysis
2014-01-01 Scapin, Enrico; 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.
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging
2020-01-01 Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto
Fungible and non-fungible tokens with snapshots in Java
2023-01-01 Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio
Generalising Def and Pos to Type Analysis
2002-01-01 P. M., Hill; Spoto, Nicola Fausto
Inferring Complete Initialization of Arrays
2013-01-01 Nikolic, Durica; Spoto, Nicola Fausto
Logic Programs as Compact Denotations
2003-01-01 P. M., Hill; Spoto, Nicola Fausto
Magic-sets for localised analysis of Java bytecode
2010-01-01 Spoto, Nicola Fausto; Payet, É.
On the use of generic types for smart contracts
2023-01-01 Spoto, Fausto; Migliorini, Sara; Gambini, Mauro; Benini, Andrea
Operational and Goal-Independent Denotational Semantics for Prolog with Cut
2000-01-01 Spoto, Nicola Fausto
Optimality and Condensing of Information Flow through Linear Refinement
2007-01-01 Spoto, Nicola Fausto
Pair-Independence and Freeness Analysis through Linear Refinement
2003-01-01 G., Levi; Spoto, Nicola Fausto
Precise Null-Pointer Analysis
2011-01-01 Spoto, Nicola Fausto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Termination Analyzer for Java Bytecode based on Path-Length | 1-gen-2010 | Spoto, Nicola Fausto; F., Mesnard; E., Payet | |
| 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. | |
| 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 | |
| Class Analyses as Abstract Interpretations of Trace Semantics | 1-gen-2003 | Spoto, Nicola Fausto; T., Jensen | |
| Creating, generating and comparing random network models with NetworkRandomizer | 1-gen-2017 | Tosadori, G.; Bestvina, I.; Spoto, F.; Laudanna, C.; Scardoni, G. | |
| Cross-Programming Language Taint Analysis for the IoT Ecosystem | 1-gen-2019 | Ferrara, Pietro; Kr Mandal, Amit; Cortesi, Agostino; Spoto, Nicola Fausto | |
| Deriving Escape Analysis by Abstract Interpretation | 1-gen-2006 | P. M., Hill; Spoto, Nicola Fausto | |
| Field-sensitive unreachability and non-cyclicity analysis | 1-gen-2014 | Scapin, Enrico; 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. | |
| From CIL to Java bytecode: Semantics-based translation for static analysis leveraging | 1-gen-2020 | Ferrara, Pietro; Cortesi, Agostino; Spoto, Nicola Fausto | |
| Fungible and non-fungible tokens with snapshots in Java | 1-gen-2023 | Crosara, Marco; Olivieri, Luca; Spoto, Fausto; Tagliaferro, Fabio | |
| Generalising Def and Pos to Type Analysis | 1-gen-2002 | P. M., Hill; Spoto, Nicola Fausto | |
| Inferring Complete Initialization of Arrays | 1-gen-2013 | Nikolic, Durica; Spoto, Nicola Fausto | |
| Logic Programs as Compact Denotations | 1-gen-2003 | P. M., Hill; Spoto, Nicola Fausto | |
| Magic-sets for localised analysis of Java bytecode | 1-gen-2010 | Spoto, Nicola Fausto; Payet, É. | |
| On the use of generic types for smart contracts | 1-gen-2023 | Spoto, Fausto; Migliorini, Sara; Gambini, Mauro; Benini, Andrea | |
| Operational and Goal-Independent Denotational Semantics for Prolog with Cut | 1-gen-2000 | Spoto, Nicola Fausto | |
| Optimality and Condensing of Information Flow through Linear Refinement | 1-gen-2007 | Spoto, Nicola Fausto | |
| Pair-Independence and Freeness Analysis through Linear Refinement | 1-gen-2003 | G., Levi; Spoto, Nicola Fausto | |
| Precise Null-Pointer Analysis | 1-gen-2011 | Spoto, Nicola Fausto |