Selected Scientific Publications

Export 3 results:
Author [ Title(Desc)] Type Year
Filters: Author is Andrea Pescetti  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Bagnara R, Mesnard F, Pescetti A, Zaffanella E.  2012.  The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version. PDF icon BagnaraMPZ12TR.pdf (561.17 KB)
D
Bagnara R, Hill PM, Pescetti A, Zaffanella E.  2008.  On the Design of Generic Static Analyzers for Imperative Languages. PDF icon BagnaraHPZ08.pdf (632.79 KB)
V
Bagnara R, Hill PM, Pescetti A, Zaffanella E.  2007.  Verification of C Programs Via Natural Semantics and Abstract Interpretation. Proceedings of the C/C++ Verification Workshop. :75–80.