SERAFINI, FEDERICO
SERAFINI, FEDERICO
Dipartimento di Scienze Matematiche, Fisiche e Informatiche
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.011 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, Rust, C-rusted and MISRA for Safe and Secure Embedded Software
2025-01-01 Bagnara, Roberto; Vetrini, Nicola; Ciucci, Luca; Bagnara, Abramo; 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, Rust, C-rusted and MISRA for Safe and Secure Embedded Software | 1-gen-2025 | Bagnara, Roberto; Vetrini, Nicola; Ciucci, Luca; Bagnara, Abramo; 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 |