Dario Pagani

According to our database, Dario Pagani authored at least 6 papers between 2006 and 2026.

Collaborative distances:

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

2026

Statistical model checking of a dynamic vehicle platoon.

Cinzia Bernardeschi, Adriano Fagiolini, Giuseppe Lettieri, Dario Pagani, Federico Rossi

Int. J. Softw. Tools Technol. Transf., April, 2026

Validation of Neural Network-Based Controllers in Closed Loop Systems with UPPAAL SMC.

Cinzia Bernardeschi, Marco Cococcioni, Dario Pagani

Proceedings of the 12th International Conference on Automation, Robotics and Applications, 2026

2025

Microscaling Floating Point Formats for Large Language Models.

Marco Cococcioni, Dario Pagani, Federico Rossi

CoRR, October, 2025

Longitudinal traces of platoon simulation with and without cyber-attacks and network latency.

Dario Pagani, Cinzia Bernardeschi, Giuseppe Lettieri, Christian Quadri, Adriano Fagiolini, Antonella Santone, Vittoria Nardone, Alessio Vivani

Dataset, July, 2025

Statistical Model Checking for the Analysis of Attacks in Connected Autonomous Vehicles.

Cinzia Bernardeschi, Adriano Fagiolini, Dario Pagani, Christian Quadri

Proceedings of the IEEE Conference on Communications and Network Security, 2025

2006

A Membrane Algorithm for the Min Storage Problem.

Alberto Leporati, Dario Pagani

Proceedings of the Membrane Computing, 7th International Workshop, 2006