A Fast Approximation of the Hyperbolic Tangent When Using Posit Numbers and Its Application to Deep Neural Networks. - Marco Cococcioni; Federico Rossi 003; Emanuele Ruffaldi; Sergio Saponara (ApplePies, 2019)

Novel Arithmetics to Accelerate Machine Learning Classifiers in Autonomous Driving Applications. - Marco Cococcioni; Federico Rossi 003; Emanuele Ruffaldi; Sergio Saponara (ICECS, 2019)

A Novel Posit-based Fast Approximation of ELU Activation Function for Deep Neural Networks. - Marco Cococcioni; Federico Rossi 003; Emanuele Ruffaldi; Sergio Saponara (SMARTCOMP, 2020)

Fast deep neural networks for image processing using posits and ARM scalable vector extension. - Marco Cococcioni; Federico Rossi 003; Emanuele Ruffaldi; Sergio Saponara (J. Real Time Image Process., 2020)

Fast Approximations of Activation Functions in Deep Neural Networks when using Posit Arithmetic. - Marco Cococcioni; Federico Rossi 003; Emanuele Ruffaldi; Sergio Saponara (Sensors, 2020)

Experimental Results of Vectorized Posit-Based DNNs on a Real ARM SVE High Performance Computing Machine. - Marco Cococcioni; Federico Rossi 003; Emanuele Ruffaldi; Sergio Saponara (ApplePies, 2021)

Vectorizing posit operations on RISC-V for faster deep neural networks: experiments and comparison with ARM SVE. - Marco Cococcioni; Federico Rossi 003; Emanuele Ruffaldi; Sergio Saponara (Neural Comput. Appl., 2021)

Novel Arithmetics in Deep Neural Networks Signal Processing for Autonomous Driving: Challenges and Opportunities. - Marco Cococcioni; Federico Rossi 003; Emanuele Ruffaldi; Sergio Saponara; Benoît Dupont de Dinechin (IEEE Signal Process. Mag., 2021)

Design and FPGA Synthesis of BAN Processing Unit for Non-Archimedean Number Crunching. - Federico Rossi 003; Lorenzo Fiaschi; Marco Cococcioni; Sergio Saponara (ApplePies, 2022)

Small Reals Representations for Deep Learning at the Edge: A Comparison. - Marco Cococcioni; Federico Rossi 003; Emanuele Ruffaldi; Sergio Saponara (CoNGA, 2022)

A Lightweight Posit Processing Unit for RISC-V Processors in Deep Neural Network Applications. - Marco Cococcioni; Federico Rossi 003; Emanuele Ruffaldi; Sergio Saponara (IEEE Trans. Emerg. Top. Comput., 2022)

Evaluation of AI and Video Computing Applications on Multiple Heterogeneous Architectures. - Federico Rossi 003; Giacomo Mugnaini; Sergio Saponara; Carlo Cavazzoni; Antonio Sciarappa (ApplePies, 2023)

Speeding Up Non-archimedean Numerical Computations Using AVX-512 SIMD Instructions. - Lorenzo Fiaschi; Federico Rossi 003; Marco Cococcioni; Sergio Saponara (ApplePies, 2023)

Decoding-Free Two-Input Arithmetic for Low-Precision Real Numbers. - John L. Gustafson; Marco Cococcioni; Federico Rossi 003; Emanuele Ruffaldi; Sergio Saponara (CoNGA, 2023)

Dynamic Power Consumption of the Full Posit Processing Unit: Analysis and Experiments. - Michele Piccoli; Davide Zoni; William Fornaciari; Giuseppe Massari; Marco Cococcioni; Federico Rossi 003; Sergio Saponara; Emanuele Ruffaldi (PARMA-DITAM, 2023)

FPPU: Design and Implementation of a Pipelined Full Posit Processing Unit. - Federico Rossi 003; Francesco Urbani; Marco Cococcioni; Emanuele Ruffaldi; Sergio Saponara (CoRR, 2023)

Compressed Real Numbers for AI: a case-study using a RISC-V CPU. - Federico Rossi 003; Marco Cococcioni; Roger Ferrer Ibáñez; Jesús Labarta; Filippo Mantovani; Marc Casas; Emanuele Ruffaldi; Sergio Saponara (CoRR, 2023)

Formal Methods for Attack Detection in Autonomous Driving Systems: The FORESEEN Project. - Cinzia Bernardeschi; Giuseppe Lettieri; Alessio Vivani; Alessio Bechini; Alessio Vecchio; Federico Rossi 003; Christian Quadri; Alessia Galdeman; Adriano Fagiolini; Salvatore Pedone; Antonella Santone; Vittoria Nardone; et al. (ACSOS-C, 2024)

HARDNESS: Hardware-Supported Post Quantum Over-the-Air Software Update and Intrusion Detection System for Next Generation Secure Cars. - Cinzia Bernardeschi; Nicasio Canino; Gianluca Dini; Pierpaolo Dini; Daniele Rossi 001; Federico Rossi 003; Sergio Saponara (ApplePies, 2024)

Statistical Model Checking of Cooperative Autonomous Driving Systems. - Cinzia Bernardeschi; Giuseppe Lettieri; Federico Rossi 003 (ISoLA (2), 2024)

Towards Formal Verification of Neural Networks in Cyber-Physical Systems. - Federico Rossi 003; Cinzia Bernardeschi; Marco Cococcioni; Maurizio Palmieri (NFM, 2024)

Neural networks in closed-loop systems: Verification using interval arithmetic and formal prover. - Federico Rossi 003; Cinzia Bernardeschi; Marco Cococcioni (Eng. Appl. Artif. Intell., 2024)

Verifying Robustness of Neural Networks in Vision-Based End-to-End Autonomous Driving. - Cinzia Bernardeschi; Giuseppe Lami; Francesco Merola; Federico Rossi 003 (IEEE Access, 2025)