Sfoglia per Autore
Observational Completeness on Abstract Interpretation
2009-01-01 Amato, Gianluca; Scozzari, Francesca
Deriving numerical abstract domains via Principal Component Analysis
2010-01-01 Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
On the interaction between sharing and linearity
2010-01-01 Amato, Gianluca; Scozzari, Francesca
A tool which mines partial execution traces to improve static analysis
2010-01-01 Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
Observational Completeness on Abstract Interpretation
2011-01-01 Amato, Gianluca; Scozzari, Francesca
Random: R-based Analyzer for Numerical DOMains
2012-01-01 Amato, Gianluca; Scozzari, Francesca
Analysis and verification of navigation strategies by abstract interpretation of cellular automata
2012-01-01 Amato, Gianluca; Scozzari, Francesca
Discovering invariants via simple component analysis
2012-01-01 Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca
Random: R-based Analyzer for Numerical Domains
2012-01-01 Amato, Gianluca; Scozzari, Francesca
The abstract domain of parallelotopes
2012-01-01 Amato, Gianluca; Scozzari, Francesca
Jandom: JVM based Analyzer for Numerical DOMains
2013-01-01 Amato, Gianluca; Scozzari, Francesca
Numerical static analysis with Soot
2013-01-01 Amato, Gianluca; DI NARDO DI MAIO, Simone; Scozzari, Francesca
Localizing Widening and Narrowing
2013-01-01 Amato, Gianluca; Scozzari, Francesca
Efficient Constraint/Generator Removal from Double Description of Polyhedra
2014-01-01 Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea
Optimal multibinding unification for sharing and linearity analysis
2014-01-01 Amato, Gianluca; Scozzari, Francesca
Narrowing Operators on Template Abstract Domains
2015-01-01 Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca
Sum of Abstract Domains
2015-01-01 Amato, Gianluca; DI NARDO DI MAIO, Simone; Scozzari, Francesca
Exploiting Linearity in Sharing Analysis of Object-oriented Programs
2016-01-01 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
Efficiently intertwining widening and narrowing
2016-01-01 Amato, Gianluca; Scozzari, Francesca; Seidl, Helmut; Apinis, Kalmer; Vojdani, Vesal
Inferring linear invariants with parallelotopes
2017-01-01 Amato, Gianluca; Rubino, Marco; Scozzari, Francesca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Observational Completeness on Abstract Interpretation | 2009 | Amato, Gianluca; Scozzari, Francesca | |
Deriving numerical abstract domains via Principal Component Analysis | 2010 | Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca | |
On the interaction between sharing and linearity | 2010 | Amato, Gianluca; Scozzari, Francesca | |
A tool which mines partial execution traces to improve static analysis | 2010 | Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca | |
Observational Completeness on Abstract Interpretation | 2011 | Amato, Gianluca; Scozzari, Francesca | |
Random: R-based Analyzer for Numerical DOMains | 2012 | Amato, Gianluca; Scozzari, Francesca | |
Analysis and verification of navigation strategies by abstract interpretation of cellular automata | 2012 | Amato, Gianluca; Scozzari, Francesca | |
Discovering invariants via simple component analysis | 2012 | Amato, Gianluca; Parton, Maurizio; Scozzari, Francesca | |
Random: R-based Analyzer for Numerical Domains | 2012 | Amato, Gianluca; Scozzari, Francesca | |
The abstract domain of parallelotopes | 2012 | Amato, Gianluca; Scozzari, Francesca | |
Jandom: JVM based Analyzer for Numerical DOMains | 2013 | Amato, Gianluca; Scozzari, Francesca | |
Numerical static analysis with Soot | 2013 | Amato, Gianluca; DI NARDO DI MAIO, Simone; Scozzari, Francesca | |
Localizing Widening and Narrowing | 2013 | Amato, Gianluca; Scozzari, Francesca | |
Efficient Constraint/Generator Removal from Double Description of Polyhedra | 2014 | Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea | |
Optimal multibinding unification for sharing and linearity analysis | 2014 | Amato, Gianluca; Scozzari, Francesca | |
Narrowing Operators on Template Abstract Domains | 2015 | Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca | |
Sum of Abstract Domains | 2015 | Amato, Gianluca; DI NARDO DI MAIO, Simone; Scozzari, Francesca | |
Exploiting Linearity in Sharing Analysis of Object-oriented Programs | 2016 | Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca | |
Efficiently intertwining widening and narrowing | 2016 | Amato, Gianluca; Scozzari, Francesca; Seidl, Helmut; Apinis, Kalmer; Vojdani, Vesal | |
Inferring linear invariants with parallelotopes | 2017 | Amato, Gianluca; Rubino, Marco; Scozzari, Francesca |
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