Abramo Bagnara

12 papers B 1C 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2024 — conf
C-Rusted: Safe and Secure Programming in Standard C.
QRS Companion
Roberto Bagnara, Abramo Bagnara, Federico Serafini, Nicola Vetrini
2024 C conf
The ACPATH Structural Complexity Metric.
QRS
Roberto Bagnara, Abramo Bagnara, Alessandro Benedetti, Patricia M. Hill
2023 J jnl
C-rusted: The Advantages of Rust, in C, without the Disadvantages.
CoRR
Roberto Bagnara, Abramo Bagnara, Federico Serafini
2022 J jnl
Coding Guidelines and Undecidability.
CoRR
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
2022 J jnl
Correct approximation of IEEE 754 floating-point arithmetic for program verification.
Constraints An Int. J.
Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori
2021 J jnl
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions.
ACM Trans. Softw. Eng. Methodol.
Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara
2021 J jnl
A Rationale-Based Classification of MISRA C Guidelines.
CoRR
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
2019 J jnl
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification.
CoRR
Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori
2018 B conf
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software.
SAS
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
2018 J jnl
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software.
CoRR
Roberto Bagnara, Abramo Bagnara, Patricia M. Hill
2016 J jnl
A Practical Approach to Interval Refinement for math.h/cmath Functions.
CoRR
Roberto Bagnara, Michele Chiari, Roberta Gori, Abramo Bagnara
2016 J jnl
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages.
CoRR
Roberto Bagnara, Abramo Bagnara, Alessandro Benedetti, Patricia M. Hill