A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems. - Laura Carnevali; Giuseppe Lipari; Alessandro Pinzuti; Enrico Vicario (Ada-Europe, 2011)

Compositional verification for hierarchical scheduling of real-time systems. - Alessandro Pinzuti (2012)

An On-line system for automated recognition of human activities. - Alessandro Fantechi; Chris D. Nugent; Alessandro Pinzuti; Enrico Vicario; Tommaso Magherini (Eur. J. Law Technol., 2013)

Compositional Verification for Hierarchical Scheduling of Real-Time Systems. - Laura Carnevali; Alessandro Pinzuti; Enrico Vicario (IEEE Trans. Software Eng., 2013)

Europcar Integrates Forecasting, Simulation, and Optimization Techniques in a Capacity and Revenue Management System. - Julien Guillen; Pierre Ruiz; Umberto Dellepiane; Ludovica Maccarrone; Raffaele Maccioni; Alessandro Pinzuti; Enrico Procacci (INFORMS J. Appl. Anal., 2019)