Andrea Pescetti

1. PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis
   2005/12/14 by Roberto Bagnara, Bagnara, Roberto, Andrea Pescetti +5 · 1 citation
   Computer Science · #Computational Complexity (cs.CC) #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Mathematical Software (cs.MS) #Real-Time Systems Scheduling #cs.CC #cs.MS
2. The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
   2010/04/06 by Roberto Bagnara, Fred Mesnard, Bagnara, Roberto +5 · 1 citation
   Computer Science · #D.2.4 #Data Management and Algorithms #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL) #cs.LO #cs.PL