Benchmarking Analysis and Characterization of Hypervisors for Space Multicore Systems. - Vittoriano Muttillo; Luca Tiberi; Luigi Pomante; Paolo Serri (J. Aerosp. Inf. Syst., 2019)

A practical approach for the porting of the Ravenscar profile from ADA to C: method, rules adaptation and supporting tools. - Claudia Rinaldi; Fabio Romano; Paolo Serri; Luca Tiberi (Int. J. Comput. Appl. Technol., 2022)