IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 90
Titolo Data di pubblicazione Autore(i) File
Generation of Basic Semi-algebraic Invariants Using Convex Polyhedra 1-gen-2005 Bagnara, Roberto; RODRIGUEZ CARBONELL, E.; Zaffanella, Enea
Widening Operators for Weakly-Relational Numeric Abstractions 1-gen-2005 Bagnara, Roberto; Hill, P. M.; Mazzi, E.; Zaffanella, Enea
Widening Operators for Weakly-Relational Numeric Abstractions 1-gen-2005 Bagnara, Roberto; Hill, P. M.; Mazzi, E.; Zaffanella, Enea
Not Necessarily Closed Convex Polyhedra and the Double Description Method 1-gen-2005 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
A Linear Domain for Analyzing the Distribution of Numerical Values 1-gen-2005 Bagnara, Roberto; Dobson, K.; Hill, P. M.; Mundell, M.; Zaffanella, Enea
Precise Widening Operators for Convex Polyhedra 1-gen-2005 Bagnara, Roberto; Hill, P. M.; Ricci, E.; Zaffanella, Enea
Enhanced Sharing Analysis Techniques: A Comprehensive Evaluation 1-gen-2005 Bagnara, Roberto; Zaffanella, Enea; Hill, P. M.
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 1-gen-2006 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Widening Operators for Powerset Domains 1-gen-2006 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Applications of Polyhedral Computations to the Analysis and Verification of Hardware and Software Systems 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Verification of C Programs Via Natural Semantics and Abstract Interpretation 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Pescetti, Andrea; Zaffanella, Enea
Grids: A Domain for Analyzing the Distribution of Numerical Values 1-gen-2007 Bagnara, Roberto; Dobson, K.; Hill, P. M.; Mundell, M.; Zaffanella, Enea
Erratum: Widening operators for powerset domains (International Journal on Software Tools for Technology Transfer vol. 8 (4/5) (449-466) 10.1007/s10009-005-0215-8) 1-gen-2007 Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea
Grids: A Domain for Analyzing the Distribution of Numerical Values 1-gen-2007 Bagnara, Roberto; Dobson, K.; Hill, P. M.; Mundell, M.; Zaffanella, Enea
A Prolog-Based Environment for Reasoning About Programming Languages 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
On the Design of Generic Static Analyzers for Imperative Languages 1-gen-2008 Bagnara, Roberto; Hill, P. M.; Pescetti, Andrea; Zaffanella, Enea
An Improved Tight Closure Algorithm for Integer Octagonal Constraints 1-gen-2008 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
PURRS 1-gen-2008 Bagnara, Roberto; Andrea, Pescetti; Zaccagnini, Alessandro; Zaffanella, Enea; Tatiana, Zolo
The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems 1-gen-2008 Bagnara, Roberto; Hill, P. M.; Zaffanella, Enea
Mostrati risultati da 41 a 60 di 90
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