- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c10 |      | Giulia Costantini, Pietro Ferrara, Agostino Cortesi: Linear Approximation of Continuous Systems with Trapezoid Step Functions. APLAS 2012: 98-114 |
| c9 | | Matteo Zanioli, Pietro Ferrara, Agostino Cortesi: SAILS: static analysis of information leakage with sample. SAC 2012: 1308-1313 |
| c8 | | Pietro Ferrara, Raphael Fuchs, Uri Juhasz: TVAL+ : TVLA and Value Analyses Together. SEFM 2012: 63-77 |
| c7 | | |
| 2011 | ||
| c6 | | Giulia Costantini, Pietro Ferrara, Agostino Cortesi: Static Analysis of String Values. ICFEM 2011: 505-521 |
| 2010 | ||
| c5 | | Pietro Ferrara: Static Type Analysis of Pattern Matching by Abstract Interpretation. FMOODS/FORTE 2010: 186-200 |
| 2009 | ||
| c4 | | Pietro Ferrara: Checkmate: A Generic Static Analyzer of Java Multithreaded Programs. SEFM 2009: 169-178 |
| 2008 | ||
| c3 | | Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich: Safer unsafe code for .NET. OOPSLA 2008: 329-346 |
| c2 | | |
| c1 | | Pietro Ferrara: Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. TAP 2008: 116-133 |
| 1 | Agostino Cortesi | |
| 2 | Giulia Costantini | |
| 3 | Raphael Fuchs | |
| 4 | Manuel Fähndrich | |
| 5 | Uri Juhasz | |
| 6 | Francesco Logozzo | |
| 7 | Peter Müller | |
| 8 | Matteo Zanioli |
Colors in the list of coauthors
Last update Sun May 19 09:35:16 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page