Federico Rossi
Orcid: 0000-0002-4906-6997Affiliations:
- University of Pisa, Department of Information Engineering, Italy
According to our database1,
Federico Rossi
authored at least 21 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover.
Eng. Appl. Artif. Intell., 2024
Proceedings of the NASA Formal Methods - 16th International Symposium, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024
Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2024
2023
CoRR, 2023
Dynamic Power Consumption of the Full Posit Processing Unit: Analysis and Experiments.
Proceedings of the 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, 2023
Proceedings of the Next Generation Arithmetic - 4th International Conference, 2023
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2023
Evaluation of AI and Video Computing Applications on Multiple Heterogeneous Architectures.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2023
2022
A Lightweight Posit Processing Unit for RISC-V Processors in Deep Neural Network Applications.
IEEE Trans. Emerg. Top. Comput., 2022
Proceedings of the Next Generation Arithmetic - Third International Conference, 2022
Design and FPGA Synthesis of BAN Processing Unit for Non-Archimedean Number Crunching.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2022
2021
Novel Arithmetics in Deep Neural Networks Signal Processing for Autonomous Driving: Challenges and Opportunities.
IEEE Signal Process. Mag., 2021
Vectorizing posit operations on RISC-V for faster deep neural networks: experiments and comparison with ARM SVE.
Neural Comput. Appl., 2021
Experimental Results of Vectorized Posit-Based DNNs on a Real ARM SVE High Performance Computing Machine.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2021
2020
Fast Approximations of Activation Functions in Deep Neural Networks when using Posit Arithmetic.
Sensors, 2020
Fast deep neural networks for image processing using posits and ARM scalable vector extension.
J. Real Time Image Process., 2020
A Novel Posit-based Fast Approximation of ELU Activation Function for Deep Neural Networks.
Proceedings of the IEEE International Conference on Smart Computing, 2020
2019
Novel Arithmetics to Accelerate Machine Learning Classifiers in Autonomous Driving Applications.
Proceedings of the 26th IEEE International Conference on Electronics, Circuits and Systems, 2019
A Fast Approximation of the Hyperbolic Tangent When Using Posit Numbers and Its Application to Deep Neural Networks.
Proceedings of the Applications in Electronics Pervading Industry, Environment and Society, 2019