The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages. - Roberto Bagnara; Abramo Bagnara; Alessandro Benedetti; Patricia M. Hill (CoRR, 2016)

A Practical Approach to Interval Refinement for math.h/cmath Functions. - Roberto Bagnara; Michele Chiari; Roberta Gori; Abramo Bagnara (CoRR, 2016)

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 (SAS, 2018)

A Rationale-Based Classification of MISRA C Guidelines. - Roberto Bagnara; Abramo Bagnara; Patricia M. Hill (CoRR, 2021)

A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions. - Roberto Bagnara; Michele Chiari; Roberta Gori; Abramo Bagnara (ACM Trans. Softw. Eng. Methodol., 2021)

Correct approximation of IEEE 754 floating-point arithmetic for program verification. - Roberto Bagnara; Abramo Bagnara; Fabio Biselli; Michele Chiari; Roberta Gori (Constraints An Int. J., 2022)

Coding Guidelines and Undecidability. - Roberto Bagnara; Abramo Bagnara; Patricia M. Hill (CoRR, 2022)

C-rusted: The Advantages of Rust, in C, without the Disadvantages. - Roberto Bagnara; Abramo Bagnara; Federico Serafini (CoRR, 2023)

The ACPATH Structural Complexity Metric. - Roberto Bagnara; Abramo Bagnara; Alessandro Benedetti; Patricia M. Hill (QRS, 2024)

C-Rusted: Safe and Secure Programming in Standard C. - Roberto Bagnara; Abramo Bagnara; Federico Serafini; Nicola Vetrini (QRS Companion, 2024)