IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 65
Titolo Data di pubblicazione Autore(i) File
Analysis and verification of navigation strategies by abstract interpretation of cellular automata 2012 Amato, Gianluca; Scozzari, Francesca
Random: R-based Analyzer for Numerical DOMains 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
Optimal multibinding unification for sharing and linearity analysis 2014 Amato, Gianluca; Scozzari, Francesca
Efficient Constraint/Generator Removal from Double Description of Polyhedra 2014 Amato, Gianluca; Scozzari, Francesca; Zaffanella, Enea
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
Efficiently intertwining widening and narrowing 2016 Amato, Gianluca; Scozzari, Francesca; Seidl, Helmut; Apinis, Kalmer; Vojdani, Vesal
Exploiting Linearity in Sharing Analysis of Object-oriented Programs 2016 Amato, Gianluca; Meo, MARIA CHIARA; Scozzari, Francesca
Primitive weird numbers having more than three distinct prime factors 2016 Amato, Gianluca; Hasler, Maximilian; Melfi, Giuseppe; Parton, Maurizio
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
Mostrati risultati da 21 a 40 di 65
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