Alessandro Pinzuti

According to our database, Alessandro Pinzuti authored at least 5 papers between 2011 and 2019.

Collaborative distances:

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

2019

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

2013

Compositional Verification for Hierarchical Scheduling of Real-Time Systems.

Laura Carnevali, Alessandro Pinzuti, Enrico Vicario

IEEE Trans. Software Eng., 2013

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

2012

Compositional verification for hierarchical scheduling of real-time systems.

Alessandro Pinzuti

PhD thesis, 2012

2011

A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems.

Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011