Sfoglia per Autore
Formal Verification of Software Architectural Constraints
2023-01-01 Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.
C-rusted: The Advantages of Rust, in C, without the Disadvantages
2023-01-01 Bagnara, Roberto; Bagnara, Abramo; Serafini, Federico
Coding Guidelines and Undecidability
2023-01-01 Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.
A Rationale-Based Classification of MISRA C Guidelines
2022-01-01 Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.
Coding Guidelines and Undecidability
2022-01-01 Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification
2022-01-01 Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta
BARR-C:2018 and MISRA C:2012 (with Amendment 2): Synergy Between the Two Most Widely Used C Coding Standards
2021-01-01 Bagnara, Roberto; Barr, Michael; Hill, Patricia M.
A Rationale-Based Classification of MISRA C Guidelines
2021-01-01 Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.
BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards
2020-01-01 Bagnara, Roberto; Barr, Michael; Hill, Patricia M.
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions
2020-01-01 Bagnara, Roberto; Chiari, Michele; Gori, Roberta; Bagnara, Abramo
The MISRA C Coding Standard: A Key Enabler for the Development of Safety- and Security-Critical Embedded Software
2019-01-01 Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification
2019-01-01 Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta
That's C, baby. C!
2019-01-01 Bagnara, Roberto
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software
2018-01-01 Bagnara, R.; Bagnara, A.; Hill, P. M.
MISRA C, for Security's Sake!
2017-01-01 Bagnara, Roberto
A Practical Approach to Interval Refinement for math.h/cmath Functions
2016-01-01 Bagnara, Roberto; Michele, Chiari; Roberta, Gori; Abramo, Bagnara
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
2016-01-01 Bagnara, Roberto; Abramo, Bagnara; Benedetti, Alessandro; Patricia, M. Hill
Exploiting binary floating-point representations for constraint propagation
2016-01-01 Bagnara, Roberto; Carlier, Matthieu; Gori, Roberta; Gotlieb, Arnaud
Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version
2015-01-01 Bagnara, Roberto; Matthieu, Carlier; Roberta, Gori; Arnaud, Gotlieb
Parma Polyhedra Library, v 1.1
2013-01-01 Bagnara, Roberto; Patricia M., Hill; Zaffanella, Enea; Abramo, Bagnara
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile