Selected Scientific Publications

Export 3 results:
Sort by: Author [ Title (Asc)] Type Year
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. Abstract  Download: BagnaraMPZ12TR.pdf (561.17 KB)
O
Bagnara R, Hill PM, Pescetti A, Zaffanella E.  2008.  On the Design of Generic Static Analyzers for Imperative Languages. Abstract  Download: 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.