Surname | Name | Thesis Title | PhD Defence | Supervisor | Manuscript |
---|---|---|---|---|---|
Galli | Filippo | - | 15 October 2024 | Tommaso Cucinotta | |
Zini | Matteo | Analysis and Mitigation of Memory Contention in Real-Time Embedded Systems | 22 July 2024 | Alessandro Biondi | |
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 |