6 citations · 24 across the 16 of their papers we have counts for
17 papers
Coding Guidelines and Undecidability
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
The C and C++ programming languages are widely used for the implementation of software in critical systems. They are complex languages with subtle features and peculiarities that m…
A Rationale-Based Classification of MISRA C Guidelines
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
MISRA C is the most authoritative language subset for the C programming language that is a de facto standard in several industry sectors where safety and security are of paramount…
BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards
Roberto Bagnara, Michael Barr, Patricia M. Hill
The Barr Group's Embedded C Coding Standard (BARR-C:2018, which originates from the 2009 Netrino's Embedded C Coding Standard) is, for coding standards used by the embedded system…
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
The MISRA project started in 1990 with the mission of providing world-leading best practice guidelines for the safe and secure application of both embedded control systems and stan…
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
Roberto Bagnara, Abramo Bagnara, Alessandro Benedetti +1
NPATH is a metric introduced by Brian A. Nejmeh in [13] that is aimed at overcoming some important limitations of McCabe's cyclomatic complexity. Despite the fact that the declared…
Exact Join Detection for Convex Polyhedra and Other Numerical Abstractions
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
Deciding whether the union of two convex polyhedra is itself a convex polyhedron is a basic problem in polyhedral computations; having important applications in the field of constr…