EN-50128 Certification-Oriented Design of a Safety-Critical Hard Real-Time Kernel. - Ciro Donnarumma; Pietro Fara; Gabriele Serra; Sandro Di Leonardi; Mauro Marinoni (ISSRE Workshops, 2019)

Maximizing the Security Level of Real-Time Software While Preserving Temporal Constraints. - Sandro Di Leonardi; Federico Aromolo; Pietro Fara; Gabriele Serra; Daniel Casini; Alessandro Biondi 001; Giorgio C. Buttazzo (IEEE Access, 2023)