Federico Rossi

24 papers B 1Journal 10Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
Microscaling Floating Point Formats for Large Language Models.
CoRR
Marco Cococcioni, Dario Pagani, Federico Rossi
2025 J jnl
Verifying Robustness of Neural Networks in Vision-Based End-to-End Autonomous Driving.
IEEE Access
Cinzia Bernardeschi, Giuseppe Lami, Francesco Merola, Federico Rossi
2024 — conf
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project.
ACSOS-C
Cinzia Bernardeschi, Giuseppe Lettieri, Alessio Vivani, Alessio Bechini, Alessio Vecchio, Federico Rossi, Christian Quadri, Alessia Galdeman, Adriano Fagiolini, Salvatore Pedone, Antonella Santone, Vittoria Nardone, Francesco Mercaldo, Simona Correra, Giulia Varriano
2024 — conf
HARDNESS: Hardware-Supported Post Quantum Over-the-Air Software Update and Intrusion Detection System for Next Generation Secure Cars.
ApplePies
Cinzia Bernardeschi, Nicasio Canino, Gianluca Dini, Pierpaolo Dini, Daniele Rossi, Federico Rossi, Sergio Saponara
2024 J jnl
Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover.
Eng. Appl. Artif. Intell.
Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni
2024 — conf
Statistical Model Checking of Cooperative Autonomous Driving Systems.
ISoLA (2)
Cinzia Bernardeschi, Giuseppe Lettieri, Federico Rossi
2024 — conf
Towards Formal Verification of Neural Networks in Cyber-Physical Systems.
NFM
Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni, Maurizio Palmieri
2023 J jnl
Compressed Real Numbers for AI: a case-study using a RISC-V CPU.
CoRR
Federico Rossi, Marco Cococcioni, Roger Ferrer Ibáñez, Jesús Labarta, Filippo Mantovani, Marc Casas, Emanuele Ruffaldi, Sergio Saponara
2023 — conf
Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers.
CoNGA
John L. Gustafson, Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2023 — conf
Dynamic Power Consumption of the Full Posit Processing Unit: Analysis and Experiments.
PARMA-DITAM
Michele Piccoli, Davide Zoni, William Fornaciari, Giuseppe Massari, Marco Cococcioni, Federico Rossi, Sergio Saponara, Emanuele Ruffaldi
2023 — conf
Evaluation of AI and Video Computing Applications on Multiple Heterogeneous Architectures.
ApplePies
Federico Rossi, Giacomo Mugnaini, Sergio Saponara, Carlo Cavazzoni, Antonio Sciarappa
2023 J jnl
FPPU: Design and Implementation of a Pipelined Full Posit Processing Unit.
CoRR
Federico Rossi, Francesco Urbani, Marco Cococcioni, Emanuele Ruffaldi, Sergio Saponara
2023 — conf
Speeding Up Non-archimedean Numerical Computations Using AVX-512 SIMD Instructions.
ApplePies
Lorenzo Fiaschi, Federico Rossi, Marco Cococcioni, Sergio Saponara
2022 J jnl
A Lightweight Posit Processing Unit for RISC-V Processors in Deep Neural Network Applications.
IEEE Trans. Emerg. Top. Comput.
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2022 — conf
Design and FPGA Synthesis of BAN Processing Unit for Non-Archimedean Number Crunching.
ApplePies
Federico Rossi, Lorenzo Fiaschi, Marco Cococcioni, Sergio Saponara
2022 — conf
Small Reals Representations for Deep Learning at the Edge: A Comparison.
CoNGA
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2021 — conf
Experimental Results of Vectorized Posit-Based DNNs on a Real ARM SVE High Performance Computing Machine.
ApplePies
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2021 J jnl
Novel Arithmetics in Deep Neural Networks Signal Processing for Autonomous Driving: Challenges and Opportunities.
IEEE Signal Process. Mag.
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara, Benoît Dupont de Dinechin
2021 J jnl
Vectorizing posit operations on RISC-V for faster deep neural networks: experiments and comparison with ARM SVE.
Neural Comput. Appl.
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2020 B conf
A Novel Posit-based Fast Approximation of ELU Activation Function for Deep Neural Networks.
SMARTCOMP
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2020 J jnl
Fast Approximations of Activation Functions in Deep Neural Networks when using Posit Arithmetic.
Sensors
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2020 J jnl
Fast deep neural networks for image processing using posits and ARM scalable vector extension.
J. Real Time Image Process.
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2019 — conf
A Fast Approximation of the Hyperbolic Tangent When Using Posit Numbers and Its Application to Deep Neural Networks.
ApplePies
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara
2019 — conf
Novel Arithmetics to Accelerate Machine Learning Classifiers in Autonomous Driving Applications.
ICECS
Marco Cococcioni, Federico Rossi, Emanuele Ruffaldi, Sergio Saponara