Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bagnara, Abramo
14  Ergebnisse:
Personensuche X
?
1

Correct approximation of IEEE 754 floating-point arithmetic..:

Bagnara, Roberto ; Bagnara, Abramo ; Biselli, Fabio..
Constraints.  27 (2022)  1-2 - p. 29-69 , 2022
Link: https://doi.org/10.1007/..
 
?
2

A Practical Approach to Verification of Floating-Point C/C+..:

Bagnara, Roberto ; Chiari, Michele ; Gori, Roberta.
ACM Transactions on Software Engineering and Methodology.  30 (2020)  1 - p. 1-53 , 2020
Link: https://doi.org/10.1145/..
 
?
3

A Practical Approach to Verification of Floating-Point C/C+..:

Bagnara, Roberto ; Chiari, Michele ; Gori, Roberta.
ACM Transactions on Software Engineering and Methodology (TOSEM).  30 (2020)  1 - p. 1-53 , 2020
Link: https://dl.acm.org/doi/1..
 
?
4

The MISRA C Coding Standard and its Role in the Development..:

, In: Static Analysis; Lecture Notes in Computer Science,
Bagnara, Roberto ; Bagnara, Abramo ; Hill, Patricia M. - p. 5-23 , 2018
Link: https://doi.org/10.1007/..
 
?
5

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

Bagnara, Roberto ; Bagnara, Abramo ; Serafini, Federico
http://arxiv.org/abs/2302.05331.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

Coding Guidelines and Undecidability:

Bagnara, Roberto ; Bagnara, Abramo ; Hill, Patricia M
http://arxiv.org/abs/2212.13933.  , 2022
Link: http://arxiv.org/abs/221..
 
?
7

A Rationale-Based Classification of MISRA C Guidelines:

Bagnara, Roberto ; Bagnara, Abramo ; Hill, Patricia M
http://arxiv.org/abs/2112.12823.  , 2021
Link: http://arxiv.org/abs/211..
 
?
8

Correct Approximation of IEEE 754 Floating-Point Arithmetic..:

Bagnara, Roberto ; Bagnara, Abramo ; Biselli, Fabio..
http://arxiv.org/abs/1903.06119.  , 2019
Link: http://arxiv.org/abs/190..
 
?
9

The MISRA C Coding Standard and its Role in the Development..:

Bagnara, Roberto ; Bagnara, Abramo ; Hill, Patricia M
http://arxiv.org/abs/1809.00821.  , 2018
Link: http://arxiv.org/abs/180..
 
?
10

The ACPATH Metric: Precise Estimation of the Number of Acyc..:

Bagnara, Roberto ; Bagnara, Abramo ; Benedetti, Alessandro.
http://arxiv.org/abs/1610.07914.  , 2016
Link: http://arxiv.org/abs/161..
 
?
11

A Practical Approach to Interval Refinement for math.h/cmat..:

Bagnara, Roberto ; Chiari, Michele ; Gori, Roberta.
http://arxiv.org/abs/1610.07390.  , 2016
Link: http://arxiv.org/abs/161..
 
?
12

Correct Approximation of IEEE 754 Floating-Point Arithmetic..:

Roberto Bagnara ; Abramo Bagnara ; Fabio Biselli..
numberofpages:41.  , 2022
Link: http://hdl.handle.net/11..
 
?
13

Correct approximation of IEEE 754 floating-point arithmetic..:

Roberto Bagnara ; Abramo Bagnara ; Fabio Biselli..
volume:27.  , 2022
Link: https://hdl.handle.net/1..
 
?
14

Correct Approximation of IEEE 754 Floating-Point Arithmetic..:

Roberto Bagnara ; Abramo Bagnara ; Fabio Biselli..
numberofpages:80.  , 2019
Link: http://hdl.handle.net/11..
 
1-14