PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis - Roberto Bagnara; Andrea Pescetti; Alessandro Zaccagnini; Enea Zaffanella (CoRR, 2005)

On the Design of Generic Static Analyzers for Modern Imperative Languages - Roberto Bagnara; Patricia M. Hill; Andrea Pescetti; Enea Zaffanella (CoRR, 2007)

The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version - Roberto Bagnara; Fred Mesnard; Andrea Pescetti; Enea Zaffanella (CoRR, 2010)

A new look at the automatic synthesis of linear ranking functions. - Roberto Bagnara; Fred Mesnard; Andrea Pescetti; Enea Zaffanella (Inf. Comput., 2012)