PESCETTI, ANDREA
PESCETTI, ANDREA
Dipartimento di Ingegneria e Architettura
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.008 secondi).
A New Look at the Automatic Synthesis of Linear Ranking Functions
2012-01-01 Bagnara, Roberto; Mesnard, F.; Pescetti, Andrea; Zaffanella, Enea
On the Design of Generic Static Analyzers for Imperative Languages
2008-01-01 Bagnara, Roberto; Hill, P. M.; Pescetti, Andrea; Zaffanella, Enea
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis
2005-01-01 Bagnara, Roberto; Pescetti, Andrea; Zaccagnini, Alessandro; Zaffanella, Enea
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
2010-01-01 Bagnara, Roberto; Mesnard, F.; Pescetti, Andrea; Zaffanella, Enea
Verification of C Programs Via Natural Semantics and Abstract Interpretation
2007-01-01 Bagnara, Roberto; Hill, P. M.; Pescetti, Andrea; Zaffanella, Enea
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A New Look at the Automatic Synthesis of Linear Ranking Functions | 1-gen-2012 | Bagnara, Roberto; Mesnard, F.; Pescetti, Andrea; Zaffanella, Enea | |
| On the Design of Generic Static Analyzers for Imperative Languages | 1-gen-2008 | Bagnara, Roberto; Hill, P. M.; Pescetti, Andrea; Zaffanella, Enea | |
| PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis | 1-gen-2005 | Bagnara, Roberto; Pescetti, Andrea; Zaccagnini, Alessandro; Zaffanella, Enea | |
| The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version | 1-gen-2010 | Bagnara, Roberto; Mesnard, F.; Pescetti, Andrea; Zaffanella, Enea | |
| Verification of C Programs Via Natural Semantics and Abstract Interpretation | 1-gen-2007 | Bagnara, Roberto; Hill, P. M.; Pescetti, Andrea; Zaffanella, Enea |