| Surname | Name | Thesis Title | PhD Defence | Supervisor | Manuscript |
|---|---|---|---|---|---|
| Brau | Fabio | Methods for Certifiable Robustness of Deep Neural Networks | 15 March 2024 | Giorgio Buttazzo | |
| Rossolini | Giulio | Towards Trustworthy AI: Understanding the Impact of AI Threats and Countermeasures | 15 March 2024 | Giorgio Buttazzo | |
| Serra | Gabriele | Mechanisms for Safe and Secure Mixed-Criticality Real-Time Embedded Systems | 18 October 2023 | Giorgio Buttazzo | |
| Fara | Pietro | Improving Safety and Security on Real-Time Safety-Critical Systems | 18 October 2023 | Giorgio Buttazzo | |
| Di Leonardi | Sandro | Addressing Security and Real-Time Constraints in Embedded Software | 25 July 2023 | Giorgio Buttazzo | |
| Ara | Gabriele | OS Mechanisms for Energy-Efficient Real-Time and High-Performance Networking Applications | 16 June 2023 | Tommaso Cucinotta | |
| Donnarumma | Ciro | Safety-critical systems for railway applications: a real-time systems perspective | 11 July 2022 | Giorgio Buttazzo | |
| Mascitti | Agostino | Energy-aware Scheduling of Real-Time Tasks on ARM big.LITTLE Architectures | 16 December 2021 | Tommaso Cucinotta | |
| Seyoum | Biruk | Design Methods for Partially Reconfigurable FPGA-based SoCs and their Applications for Accelerating Deep Neural Networks | 19 July 2021 | Giorgio Buttazzo | |
| Restuccia | Francesco | Predictability, Safety, and Security for FPGA System-on-Chip platforms | 19 July 2021 | Giorgio Buttazzo | |
| Pagani | Marco | Enabling Predictable Hardware Acceleration in Heterogeneous SoC-FPGA Computing Platforms | 20 July 2020 | Giorgio Buttazzo | |
| Casini | Daniel | Advancements in Modeling and Analysis of Multi-Processor Real-Time Systems | 2 July 2020 | Giorgio Buttazzo | |
| Pazzaglia | Paolo | Performance-Driven Design for Control and Scheduling in Real-Time Systems | 2 July 2020 | Marco Di Natale | |
| Bristot De Olivera | Daniel | Automata-based Formal Analysis and Verification of the Real-Time Linux Kernel | 29 June 2020 | Tommaso Cucinotta | |
| Brandberg | Caroline | Model-Based Design, Analysis, and Synthesis for Embedded System Deployment on Multicore Architectures | 9 November 2019 | Marco Di Natale | |
| Pannocchi | Luigi | Handling the Design Complexity of Cyber-Physical Systems | 30 November 2018 | Giorgio Buttazzo | |
| Balsini | Alessio | Towards real-time operating systems for multicore heterogeneous architectures | 30 November 2018 | Tommaso Cucinotta | |
| Parri | Andrea | Resource Reservation and Memory Ordering in the Linux Kernel | 16 March 2018 | Mauro Marinoni | |
| Rossi | Enrico | Towards the heterogeneous, real-time reconfigurable embedded system | 15 March 2018 | Giorgio Buttazzo | |
| Calvaresi | Davide | Real-Time Multi-Agent Systems: challenges, model, and performance analysis | 15 March 2018 | Giorgio Buttazzo | |
| Perillo | David | Modelling and Simulation of Embedded Systems with Formal Languages and Virtual Platforms | 12 July 2017 | Marco Di Natale | |
| Maggiani | Luca | Progettazione di un nodo di calcolo embedded per reti di "smart cameras" | 12 July 2017 | Marco Di Natale | |
| Melani | Alessandra | Supporting Parallelism in Multicore Real-Time Computing Systems | 8 March 2017 | Giorgio Buttazzo | |
| Di Franco | Carmelo | Localization and Energy-aware path planning of mobile autonomous robots | 8 March 2017 | Giorgio Buttazzo | |
| Biondi | Alessandro | Analysis and Design Optimization of Real-Time Engine Control Software | 8 March 2017 | Giorgio Buttazzo | |
| Madeo | Simone | Visual Analysis and Search for Embedded Systems | 13 December 2016 | Marco Di Natale | |
| Cremona | Fabio | Integration of Heterogeneous Models for the Simulation and Optimization of Real-Time Cyber-Physical Systems | 19 July 2016 | Marco Di Natale | |
| Buonocunto | Pasquale | Body sensor networks for real-time limb motion tracking in tele-rehabilitation and tele-monitoring systems | 11 March 2016 | Giorgio Buttazzo | |
| Sun | Youcheng | Real-Time Schedulability Analysis with Formal Techniques. | 14 December 2015 | Giuseppe Lipari | |
| Morelli | Matteo | A system level frame work for the design of complex Cyber-Physical Systems from Synchronous-Reactive Model. | 19 November 2015 | Marco Di Natale | |
| Pelliccia | Riccardo | Embedded Hardware and Software Solutions to enable Effective smart-environments. | 19 November 2015 | Marco Di Natale | |
| Azzarà | Andrea | Programming Abstractions for the Internet of Things: from Macroprogramming to Virtual Resources | 19 November 2015 | Marco Di Natale | |
| Lelli | Juri | Multiprocessor Real-Time Scheduling on General Purpose OS. | 26 November 2014 | Tommaso Cucinotta | |
| Bambagini | Mario | Energy Saving in Real-Time Embedded Systems. | 26 November 2014 | Giorgio Buttazzo | |
| Bocchino | Stefano | Towards the future Internet: a step forward the successfully evolution of WSNs into the IoT | 16 October 2014 | Giuseppe Lipari | |
| Ghibaudi | Marco | Design of constrained Digital Signal Processing Systems. | 16 October 2014 | Giuseppe Lipari | |
| Salvadori | Claudio | Smart Camera Networks: advanced applications for next Generation Sensor Networks | 29 October 2013 | Marco Di Natale | |
| Mancuso | Giulio | Design of Real-Time Control Systems: an Optimal Approach | 29 October 2013 | Enrico Bini | |
| Alessandrelli | Daniele | Wireless sensor network abstractions: from the middleware approach to the layered architecture of the Internet of Things | 29 October 2013 | Paolo Ancilotti | |
| Prosperi | Francesco | Energy Management in Embedded Systems Under Timing and Resource Contrainsts | 26 October 2012 | Giorgio Buttazzo | |
| Nastasi | Christian | Channel Access Protocols for Real-Time Communication in Wireless Networks | 26 October 2012 | Paolo Ancilotti | |
| Kuch | Benjamin | Assessment of physical and physiological parameters in an hyperbaric environment | 26 October 2012 | Giorgio Buttazzo | |
| Cecchetti | Gabriele | QoS support for Wireless Networks | 15 November 2012 | Giuseppe Lipari | |
| Anastasi | Gaetano Francesco | Quality of Service Management in Service Oriented Architectures. | 18 November 2011 | Giuseppe Lipari | |
| Romano | Antonio | A software architecture for data collection and localization in Wireless Sensor Networks. | 24 May 2011 | Giuseppe Lipari | |
| Ruscelli | Anna Lina | Quality of Service support over heterogeneous networks. | 24 Januaury 2011 | Giuseppe Lipari | |
| Mignogna | Alessandro | Models and Techniques for Simulation of Real-Time Distributed Embedded Systems. | 19 Januaury 2011 | Giuseppe Lipari | |
| Faggioli | Dario | Soft Real-Time Scheduling and Synchronization in General Purpose Operating Systems. | 19 Januaury 2011 | Giuseppe Lipari | |
| Esposito | Francesco | Power management of real-time systems under communication constraints. | 19 Januaury 2011 | Giorgio Buttazzo | |
| Chitnis | Mangesh | A framework to support wireless multimedia sensor networks. | 12 Januaury 2011 | Giuseppe Lipari | |
| Santinelli | Luca | Adaptive Resource Reservation. | 17 December 2010 | Giorgio Buttazzo | |
| Yao | Gang | Limited Preemptive Scheduling with Non-Preemptive Regions. | 10 December 2010 | Giorgio Buttazzo | |
| Wu | Yifan | Real-time Control Design with Resource Constraints. | 22 Januruary 2010 | Giorgio Buttazzo | |
| Serreli | Nicola | Component-based analysis and synchronization of distributed transactions scheduled by EDF. | 22 Januruary 2010 | Giuseppe Lipari | |
| Checconi | Fabio | Proportional Share Scheduling in General Purpose Operating Systems: Theory and Practice. | 22 Januruary 2010 | Giuseppe Lipari | |
| Mancina | Antonio | Operating Systems and Resource Reservations. | 3 April 2009 | Giuseppe Lipari | |
| Bertogna | Marko | Real-Time Scheduling Analysis for Multiprocessor Platforms. | 19 May 2008 | Giuseppe Lipari | |
| Bartolini | Cesari | Metodology and analysis throughout the platform-based design pattern. | 14 December 2007 | Giuseppe Lipari | |
| Scordino | Claudio | Dynamic Voltage Scaling for Energy-Constrained Real-Time Systems. | 11 December 2007 | Giuseppe Lipari | |
| Cirinei | Michele | Exploiting the power of multiprocessor for real-time systems. | 2 July 2007 | Giuseppe Lipari | |
| Marzario | Luca | An Architecture for Quality of Service Management and Control in Soft Real-Time Systems. | 13 Dicember 2006 | Giuseppe Lipari | |
| Cantini | Davide | Exploiting the power of multiprocessor for real-time systems. | 12 July 2006 | Giuseppe Lipari | |
| Polini | Andrea | Testing component-based software system. | 22 November 2004 | Giuseppe Lipari | |
| Gai | Paolo | Real-Time Operating System design for Multiprocessor system-on-a-chip. | 1 October 2004 | Giorgio Buttazzo | |
| Bini | Enrico | The Design Domain of Real-Time System. | 1 October 2004 | Giorgio Buttazzo | |
| Cucinotta | Tommaso | Issues in authentication by means of smart card devices. | 21 July 2004 | Paolo Ancilotti | |
| Abeni | Luca | Supporting Time Sensitive Activities in a Desktop Environment. | 19 December 2002 | Giorgio Buttazzo | |
| Palopoli | Luigi | Design of embedded control systems under real-time scheduling constraints. | 16 July 2002 | Giorgio Buttazzo | |
| Caccamo | Marco | Handling Overloads in Real-Time Systems. | 24 Januruary 2002 | Giorgio Buttazzo | |
| Casile | Antonino | Eye movements and the refinement of cortical neural responses: a computational approach. | 11 October 2001 | Giorgio Buttazzo | |
| Lipari | Giuseppe | Resource Reservation in Real-Time Systems. | 16 December 2000 | Giorgio Buttazzo | |
| Lamastra | Gerardo | The design of operating systems supporting temporal isolation. | 16 December 2000 | Giorgio Buttazzo | |
| Conticelli | Fabio | Non-linear control in camera object relative positioning. | 14 April 2000 | Giorgio Buttazzo | |
| De Santi | Claudio | Multihoming con Ipv6. | 12 Januruary 2000 | Giorgio Buttazzo | |
| Mule' | Cosimo | Studio e progettazione di un sistema robotico mobile per lassistenza ai disabili. | 16 March 1998 | Paolo Ancilotti | |
| Prina | Gianpaolo | Descrizione e valutazione di una soluzione al problema della coerenza delle copie multiple in cache in sistemi multiprocessore. | 28 February 1996 | Paolo Ancilotti | |
| Genovese | Vincenzo | Integrazione e realizzazione di ausili tecnologici per pazienti disabili e/o anziani con handicap di tipo motorio. | 5 June 1995 | Angelo Maria Sabatini | |
| Dini | Gianluca | Metodi e strumenti di supporto alla programmazione di architetture distribuite. | 5 June 1995 | Giorgio Buttazzo | |
| Spuri | Marco | Earliest Deadline Scheduling in Real-Time Systems. | 6 February 1995 | Giorgio Buttazzo | |
| Di Natale | Marco | Static and Dynamic Scheduling in Real-Time Systems. | 6 February 1995 | Giorgio Buttazzo | |
| Rucci | Michele | Processi di apprendimento e di adattamento nello sviluppo di capacità percettive e motorie di sistemi robotici autonomi. | 16 Januruary 1995 | Giorgio Buttazzo | |
| Rizzo | Luigi | Tecniche e strumenti di valutazione e sviluppo software su sistemi distribuiti. | 8 November 1993 | Paolo Ancilotti | |
| De Michelis | Mattia | Realizzazione di un sistema di visione binoculare attivo con caratteristiche antropomorfe per robot. | 7 November 1993 | Giorgio Buttazzo | |
| Bosio | Luca | Studio e realizzazione di un dispositivo esoscheletrico per un braccio umano da usarsi in tele-operazione. | 6 November 1993 | Massimo Bergamasco | |
| Sabatini | Angelo | Metodi e tecniche per la realizzazione di dispositivi estrocettivi. | 28 March 1992 | Paolo Dario | |
| Allotta | Benedetto | Controllo di robot basato su sensori esterocettivi. | 28 March 1992 | Paolo Dario | |
| Buttazzo | Giorgio Carlo | Un'architettura distribuita per il controllo di un sistema robotico multisensoriale. | 18 December 1990 | Paolo Dario |