Abramo Bagnara
According to our database1,
Abramo Bagnara
authored at least 8 papers
between 2016 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
2022
Correct approximation of IEEE 754 floating-point arithmetic for program verification.
Constraints An Int. J., 2022
2021
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions.
ACM Trans. Softw. Eng. Methodol., 2021
2018
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software.
Proceedings of the Static Analysis - 25th International Symposium, 2018
2016
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages.
CoRR, 2016