Abramo Bagnara

According to our database, Abramo Bagnara authored at least 10 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

C-Rusted: Safe and Secure Programming in Standard C.

Roberto Bagnara, Abramo Bagnara, Federico Serafini, Nicola Vetrini

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

The ACPATH Structural Complexity Metric.

Roberto Bagnara, Abramo Bagnara, Alessandro Benedetti, Patricia M. Hill

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

2023

C-rusted: The Advantages of Rust, in C, without the Disadvantages.

Roberto Bagnara, Abramo Bagnara, Federico Serafini

CoRR, 2023

2022

Coding Guidelines and Undecidability.

Roberto Bagnara, Abramo Bagnara, Patricia M. Hill

CoRR, 2022

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

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

A Rationale-Based Classification of MISRA C Guidelines.

Roberto Bagnara, Abramo Bagnara, Patricia M. Hill

CoRR, 2021

2018

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

Proceedings of the Static Analysis - 25th International Symposium, 2018

2016

A Practical Approach to Interval Refinement for math.h/cmath Functions.

Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara

CoRR, 2016

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