Sfoglia per Autore
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
The abstract domain of parallelotopes
2012-01-01 Amato, Gianluca; Scozzari, Francesca
Random: R-based Analyzer for Numerical Domains
2012-01-01 Amato, Gianluca; Scozzari, Francesca
Discovering invariants via simple component analysis
2012-01-01 Amato, Gianluca; Parton, Maurizio; 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
Primitive weird numbers having more than three distinct prime factors
2016-01-01 Amato, Gianluca; Hasler, Maximilian; Melfi, Giuseppe; Parton, Maurizio
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
SAI, a Sensible Artificial Intelligence that plays Go
2018-01-01 Morandin, Francesco; Amato, Gianluca; Gini, Rosa; Metta, Carlo; Parton, Maurizio; Pascutto, Gian-Carlo
A Taxonomy of Program Analyses
2018-01-01 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
Experimental Evaluation of Numerical Domains for Inferring Ranges
2018-01-01 Amato, Gianluca; Rubino, Marco
Descending chains and narrowing on template abstract domains
2018-01-01 Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; Scozzari, Francesca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
The abstract domain of parallelotopes | 2012 | Amato, Gianluca; Scozzari, Francesca | |
Random: R-based Analyzer for Numerical Domains | 2012 | Amato, Gianluca; Scozzari, Francesca | |
Discovering invariants via simple component analysis | 2012 | Amato, Gianluca; Parton, Maurizio; 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 | |
Primitive weird numbers having more than three distinct prime factors | 2016 | Amato, Gianluca; Hasler, Maximilian; Melfi, Giuseppe; Parton, Maurizio | |
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 | |
SAI, a Sensible Artificial Intelligence that plays Go | 2018 | Morandin, Francesco; Amato, Gianluca; Gini, Rosa; Metta, Carlo; Parton, Maurizio; Pascutto, Gian-Carlo | |
A Taxonomy of Program Analyses | 2018 | Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca | |
Experimental Evaluation of Numerical Domains for Inferring Ranges | 2018 | Amato, Gianluca; Rubino, Marco | |
Descending chains and narrowing on template abstract domains | 2018 | Amato, Gianluca; DI NARDO DI MAIO, Simone; Meo, MARIA CHIARA; 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