Ada Ravenscar Profile and C language: Rules Porting and Compatibility Checks Automation. - Luigi Pomante; Fabio Romano; Paolo Serri (MECO, 2020)

CSAT is not in P. - Fabio Romano (CoRR, 2021)

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)

A square root algorithm faster than Newton's method for multiprecision numbers, using floating-point arithmetic. - Fabio Romano (CoRR, 2024)