Rocco Salvia

According to our database, Rocco Salvia authored at least 7 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Formal Analysis of Floating-Point Programs in Uncertain Environments.

Rocco Salvia

PhD thesis, 2021

Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations.

George A. Constantinides, Fredrik Dahlqvist, Zvonimir Rakamaric, Rocco Salvia

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Intents Analysis of Android Apps for Confidentiality Leakage Detection.

Rocco Salvia, Agostino Cortesi, Pietro Ferrara, Fausto Spoto

Proceedings of the Advanced Computing and Systems for Security, 2020

2019

Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control.

Mahmoud Salamati, Rocco Salvia, Eva Darulova, Sadegh Soudjani, Rupak Majumdar

ACM Trans. Embed. Comput. Syst., 2019

A Mixed Real and Floating-Point Solver.

Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

A Probabilistic Approach to Floating-Point Arithmetic.

Fredrik Dahlqvist, Rocco Salvia, George A. Constantinides

Proceedings of the 53rd Asilomar Conference on Signals, Systems, and Computers, 2019

2018

SDLI: Static Detection of Leaks Across Intents.

Rocco Salvia, Pietro Ferrara, Fausto Spoto, Agostino Cortesi

Proceedings of the 17th IEEE International Conference On Trust, 2018