SERAFINI, FEDERICO
SERAFINI, FEDERICO
Dipartimento di Scienze Matematiche, Fisiche e Informatiche
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.006 secondi).
Bringing Existing Code into MISRA Compliance: Challenges and Solutions
2024-01-01 Bagnara, Roberto; Stabellini, Stefano; Vetrini, Nicola; Bagnara, Abramo; Ballarin, Simone; Hill, Patricia M.; Serafini, Federico
C-rusted: A Formally Verifiable Flavor of C for the Development of Safe and Secure Systems
2024-01-01 Bagnara, Roberto; Bagnara, Abramo; Vetrini, Nicola; Serafini, Federico
C-rusted: Safe and Secure Programming in Standard C
2024-01-01 Bagnara, Roberto; Bagnara, Abramo; Serafini, Federico; Vetrini, Nicola
C-rusted: The Advantages of Rust, in C, without the Disadvantages
2023-01-01 Bagnara, Roberto; Bagnara, Abramo; Serafini, Federico
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Bringing Existing Code into MISRA Compliance: Challenges and Solutions | 1-gen-2024 | Bagnara, Roberto; Stabellini, Stefano; Vetrini, Nicola; Bagnara, Abramo; Ballarin, Simone; Hill, Patricia M.; Serafini, Federico | |
C-rusted: A Formally Verifiable Flavor of C for the Development of Safe and Secure Systems | 1-gen-2024 | Bagnara, Roberto; Bagnara, Abramo; Vetrini, Nicola; Serafini, Federico | |
C-rusted: Safe and Secure Programming in Standard C | 1-gen-2024 | Bagnara, Roberto; Bagnara, Abramo; Serafini, Federico; Vetrini, Nicola | |
C-rusted: The Advantages of Rust, in C, without the Disadvantages | 1-gen-2023 | Bagnara, Roberto; Bagnara, Abramo; Serafini, Federico |