Publications


M.Salamati*, R.Salvia*, E.Darulova, S.Soudjani and R. Majumdar "Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control", International Conference on Embedded Software (EMSOFT'19) [pdf]
(* these authors contributed equally to this work)

R.Salvia, L.Titolo, M.A.Feliu, M.Moscato, C.Munoz and Z.Rakamaric"A Mixed Real and Floating-Point Solver", NASA Formal Methods Symposium (NFM 2019)[pdf]

R.Salvia, Z. Rakamaric: "Exploring Floating-Point Trade-Offs in ML", Workshop on Approximate Computing Across the Stack (WAX 2018)[pdf]

R.Salvia, P.Ferrara, F.Spoto and A.Cortesi"Static Detection of Leaks across Intents", IEEE International Conference On Trust, Security And Privacy In Computing And Communications (IEEE TrustCom-18)[pdf]