Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 118
Titolo Data di pubblicazione Autore(i) File
Formal Verification of Software Architectural Constraints 1-gen-2023 Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.
C-rusted: The Advantages of Rust, in C, without the Disadvantages 1-gen-2023 Bagnara, Roberto; Bagnara, Abramo; Serafini, Federico
Coding Guidelines and Undecidability 1-gen-2023 Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.
Coding Guidelines and Undecidability 1-gen-2022 Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.
A Rationale-Based Classification of MISRA C Guidelines 1-gen-2022 Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 1-gen-2022 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 1-gen-2021 Bagnara, Roberto; Barr, Michael; Hill, Patricia M.
A Rationale-Based Classification of MISRA C Guidelines 1-gen-2021 Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.
BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards 1-gen-2020 Bagnara, Roberto; Barr, Michael; Hill, Patricia M.
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 1-gen-2020 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 1-gen-2019 Bagnara, Roberto; Bagnara, Abramo; Hill, Patricia M.
Correct Approximation of IEEE 754 Floating-Point Arithmetic for Program Verification 1-gen-2019 Bagnara, Roberto; Bagnara, Abramo; Biselli, Fabio; Chiari, Michele; Gori, Roberta
That's C, baby. C! 1-gen-2019 Bagnara, Roberto
The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software 1-gen-2018 Bagnara, R.; Bagnara, A.; Hill, P. M.
MISRA C, for Security's Sake! 1-gen-2017 Bagnara, Roberto
A Practical Approach to Interval Refinement for math.h/cmath Functions 1-gen-2016 Bagnara, Roberto; Michele, Chiari; Roberta, Gori; Abramo, Bagnara
The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages 1-gen-2016 Bagnara, Roberto; Abramo, Bagnara; Benedetti, Alessandro; Patricia, M. Hill
Exploiting binary floating-point representations for constraint propagation 1-gen-2016 Bagnara, Roberto; Carlier, Matthieu; Gori, Roberta; Gotlieb, Arnaud
Exploiting Binary Floating-Point Representations for Constraint Propagation: The Complete Unabridged Version 1-gen-2015 Bagnara, Roberto; Matthieu, Carlier; Roberta, Gori; Arnaud, Gotlieb
Parma Polyhedra Library, v 1.1 1-gen-2013 Bagnara, Roberto; Patricia M., Hill; Zaffanella, Enea; Abramo, Bagnara
Mostrati risultati da 1 a 20 di 118
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