Enea Zaffanella

1. The Parma Polyhedra Library: Toward a Complete Set of Numerical Abstractions for the Analysis and Verification of Hardware and Software Systems
   2006/12/18 by Roberto Bagnara, Patricia M. Hill, Bagnara, Roberto +3 · 3 citations
   Computer Science · #D.2.4 #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #G.4 #Logic, programming, and type systems #Mathematical Software (cs.MS) #Programming Languages (cs.PL)
2. The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
   2008/06/01 by Roberto Bagnara, Patricia M. Hill, Enea Zaffanella · 3 citations
3. PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis
   2005/12/14 by Roberto Bagnara, Andrea Pescetti, Bagnara, Roberto +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
4. The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version
   2010/04/06 by Roberto Bagnara, Bagnara, Roberto, Fred Mesnard +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)