Abramo Bagnara

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 10

Top Topics

Floating Point Arithmetic

Embedded Software

Instruction Set

Correct Classification

Top Venues

ACM Trans. Softw. Eng. Methodol.

Constraints An Int. J.

Publications

Roberto Bagnara, Abramo Bagnara, Federico Serafini
C-rusted: The Advantages of Rust, in C, without the Disadvantages. CoRR (2023)
Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori
Correct approximation of IEEE 754 floating-point arithmetic for program verification. Constraints An Int. J. 27 (1-2) (2022)
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
Coding Guidelines and Undecidability. CoRR (2022)
Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions. ACM Trans. Softw. Eng. Methodol. 30 (1) (2021)
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
A Rationale-Based Classification of MISRA C Guidelines. CoRR (2021)
Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification. CoRR (2019)
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software. SAS (2018)
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software. CoRR (2018)
Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara
A Practical Approach to Interval Refinement for math.h/cmath Functions. CoRR (2016)
Roberto Bagnara, Abramo Bagnara, Alessandro Benedetti, Patricia M. Hill
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages. CoRR (2016)