Abramo Bagnara

12 papers B 1C 1Journal 9Unranked 1

Year	Rank	Type	Title / 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

Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz