Patricia M. Hill

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, Bagnara, Roberto, Patricia M. Hill +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. The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software
   2018/09/04 by Roberto Bagnara, Bagnara, Roberto, Abramo Bagnara +3 · 3 citations
   Computer Science · Engineering · #68N15 #D.3.0 #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Safety Systems Engineering in Autonomy #Software Testing and Debugging Techniques