For currently available thesis topics see this page
| Advisors | Author | Course | Title | URL | |
|---|---|---|---|---|---|
| supervisor : Ancilotti, Paolo - supervisor : Buttazzo, Giorgio C. - supervisor : Di Natale, Marco | CIRINEI, MICHELE | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-04072004-195549/unrestricted/tesi.pdf | Progetto e realizzazione di un sistema di comunicazione wireless tra sistemi Real-Time | http://etd.adm.unipi.it/theses/available/etd-04072004-195549/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Di Natale, Marco - supervisor : Prof. Ancilotti, Paolo | MANCINA, ANTONIO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-05142004-112630/unrestricted/sommario.pdf | Progetto e implementazione di un protocollo wireless per la comunicazione tra unità robotiche mobili | http://etd.adm.unipi.it/theses/available/etd-05142004-112630/ |
| supervisor : Buttazzo, Giorgio C. - supervisor : Ancilotti, Paolo - supervisor : Prof. Prete, Cosimo Antonio | SOLANO, ANTONIO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.itmailto:a.solano@tin.it | Interazione Gestuale Real-Time con Ambienti Virtuali | http://etd.adm.unipi.it/theses/available/etd-06252004-140947/ |
| Relatore : Prof. Prete, Cosimo Antonio - Relatore : Prof. Buttazzo, Giorgio C. | PROSPERI, FRANCESCO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-05152008-104110 | Sviluppo di un sistema embedded per il controllo di un piano basculante in tempo reale | http://etd.adm.unipi.it/theses/available/etd-05152008-104110/ |
| Relatore : Prof. Ancilotti, Paolo - Relatore : Prof. Prete, Cosimo Antonio - Relatore : Prof. Buttazzo, Giorgio C. | NASTASI, CHRISTIAN | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-05152008-104052 | Sviluppo di un sistema embedded per il controllo visivo in tempo reale | http://etd.adm.unipi.it/theses/available/etd-05152008-104052/ |
| Relatore : Prof. Innocenti, Mario - Relatore : Prof. Buttazzo, Giorgio C. - Relatore : Prof. Pollini, Lorenzo | DI STEFANO, DARIO | INGEGNERIA DELLA AUTOMAZIONE | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-11272008-113139 | Sviluppo di un sistema di guida e controllo per un velivolo autonomo non propulso | http://etd.adm.unipi.it/theses/available/etd-11272008-113139/ |
| Relatore : Prof. Buttazzo, Giorgio C. - Relatore : Prof. Cisternino, Antonio | VOLPE, MARCO | INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-01262009-122440 | PROGETTAZIONE E SVILUPPO DI UNA PIATTAFORMA INERZIALE PER IL CONTROLLO IN TEMPO REALE | http://etd.adm.unipi.it/theses/available/etd-01262009-122440/ |
| supervisor : Lenzini, Luciano - supervisor : Buttazzo, Giorgio C. | BIASCI, ALESSANDRO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-09092009-115519 | Sviluppo di un protocollo di comunicazione real-time per reti di sensori wireless | http://etd.adm.unipi.it/theses/available/etd-09092009-115519/ |
| supervisor : Lenzini, Luciano - supervisor : Buttazzo, Giorgio C. | TINGHI, ELISABETTA | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-09092009-115219 | Sviluppo di un protocollo di comunicazione real-time per reti di sensori wireless | http://etd.adm.unipi.it/theses/available/etd-09092009-115219/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Ing. Bertogna, Marko - supervisor : Prof. Prete, Cosimo Antonio | XHANI, ORGES | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-11172009-163222/unrestricted/abstract.pdf | Effects of real-time scheduling on cache performance and worst case execution times | http://etd.adm.unipi.it/theses/available/etd-11172009-163222/ |
| supervisor : Prof. Buttazzo, Giuseppe - examiner : Prof. Buttazzo, Giorgio C. | BINI, ENRICO | MATEMATICA | https://etd.adm.unipi.it/theses/available/etd-01132010-122342/unrestricted/thesis.pdf | Design of Optimal Control Systems | http://etd.adm.unipi.it/theses/available/etd-01132010-122342/ |
| supervisor : Prof. Foglia, Pierfrancesco - supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Prete, Cosimo Antonio | BAMBAGINI, MARIO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-04132010-111902 | Power Management in Real-Time Embedded Systems | http://etd.adm.unipi.it/theses/available/etd-04132010-111902/ |
| supervisor : Buttazzo, Giorgio C. - supervisor : Prof. Prete, Cosimo Antonio | AZZARA', ANDREA | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-04142010-131402 | Sviluppo di un'architettura per la programmazione remota di sistemi wireless distribuiti | http://etd.adm.unipi.it/theses/available/etd-04142010-131402/ |
| supervisor : Buttazzo, Giorgio C. - supervisor : Prof. Prete, Cosimo Antonio | PARDI, MATTEO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06212010-111936 | Sviluppo di un'architettura per la simulazione ed il controllo in tempo reale di robot mobili | http://etd.adm.unipi.it/theses/available/etd-06212010-111936/ |
| supervisor : Ancilotti, Paolo - tutor : Prof. Buttazzo, Giorgio C. | MADEO, SIMONE | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-12012011-103925 | Progettazione ed implementazione del protocollo Implicit-EDF su reti di sensori wireless | http://etd.adm.unipi.it/theses/available/etd-12012011-103925/ |
| supervisor : Prof. Anastasi, Giuseppe - supervisor : Prof. Buttazzo, Giorgio C. | BUONOCUNTO, PASQUALE | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-08302012-113837 | Progetto e realizzazione di dispositivi meccatronici per misure biometriche finalizzate alla teleriabilitazione | http://etd.adm.unipi.it/theses/available/etd-08302012-113837/ |
| supervisor : Prof. Lipari, Giuseppe - cosupervisor : Prof. Buttazzo, Giorgio C. | ITALIANO, ANGELA | INFORMATICA E NETWORKING | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-11142012-100101 | Analysis and design of an algorithm for allocating real-time task pipelines on multi-core systems. | http://etd.adm.unipi.it/theses/available/etd-11142012-100101/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Dott. Franchino, Gianluca | LA ROSA, DAVIDE | INFORMATICA E NETWORKING | https://etd.adm.unipi.it/theses/available/etd-11132012-094921/unrestricted/Thesis.pdf | Design and implementation of an energy-aware protocol for multi-hop real-time communications in wireless networks | http://etd.adm.unipi.it/theses/available/etd-11132012-094921/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Avvenuti, Marco | BIONDI, ALESSANDRO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-01292013-154954 | Resource Reservation for hierarchical real-time systems | http://etd.adm.unipi.it/theses/available/etd-01292013-154954/ |
| supervisor : Buttazzo, Giorgio C. - supervisor : Lettieri, Giuseppe | MANNUCCI, FEDERICO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-03052013-105732 | Un sistema per il controllo della temperatura di un edificio finalizzato alla riduzione del picco di potenza elettrica | http://etd.adm.unipi.it/theses/available/etd-03052013-105732/ |
| supervisor : Lipari, Giuseppe - supervisor : Prof. Avvenuti, Marco - supervisor : Prof. Buttazzo, Giorgio C. | BENEDETTO, SALVATORE | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-04282013-105122 | A framework for developing hard real-time embedded applications in C++ | http://etd.adm.unipi.it/theses/available/etd-04282013-105122/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Prof. Anastasi, Giuseppe | POLIZZANO, AGOSTINO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.itmailto:agostino@polizzano.it | Strategie e algoritmi di localizzazione per WSN in ambiente indoor basati su misurazioni RSSI | http://etd.adm.unipi.it/theses/available/etd-06122013-121921/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Vaglini, Gigliola | DI FRANCO, CARMELO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-09072013-102128/unrestricted/Thesis.pdf | Wireless communication services to support teams of cooperating autonomous robots | http://etd.adm.unipi.it/theses/available/etd-09072013-102128/ |
| supervisor : Buttazzo, Giorgio C. - cosupervisor : Prof. Ruffaldi, Emanuele | BRIZZI, FILIPPO | INFORMATICA E NETWORKING | https://etd.adm.unipi.it/theses/available/etd-02032014-155915/unrestricted/Tesi_master.pdf | A framework for static allocation of parallel OpenMP code on multi-core platforms | http://etd.adm.unipi.it/theses/available/etd-02032014-155915/ |
| supervisor : Buttazzo, Giorgio C. - cosupervisor : Prof. Ruffaldi, Emanuele | DABISIAS, GIACOMO | INFORMATICA E NETWORKING | https://etd.adm.unipi.it/theses/available/etd-02032014-155916/unrestricted/Tesi_master.pdf | A framework for static allocation of parallel OpenMP code on multi-core platforms | http://etd.adm.unipi.it/theses/available/etd-02032014-155916/ |
| supervisor : Dott. Marinoni, Mauro - supervisor : Prof. Buttazzo, Giorgio C. | MUSKA, INDRI | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-04182014-005828/unrestricted/Tesi.pdf | Sviluppo e simulazione di algoritmi di coordinamento per velivoli autonomi | http://etd.adm.unipi.it/theses/available/etd-04182014-005828/ |
| cosupervisor : Marinoni, Mauro - cosupervisor : Franchino, Gianluca - supervisor : Prof. Buttazzo, Giorgio C. | TAMBURINI, MATTEO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-05132014-162232/unrestricted/Tesi_Matteo_Tamburini___Framework_per_lo_sviluppo_e_la_simulazione_di_algoritmi_di_controllo_per_velivoli_autonomi.pdf | Framework per lo sviluppo e la simulazione di algoritmi di controllo per velivoli autonomi | http://etd.adm.unipi.it/theses/available/etd-05132014-162232/ |
| cosupervisor : Prof. Marinoni, Mauro - supervisor : Prof. Buttazzo, Giorgio C. | FARA, PIETRO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-02032015-083301/unrestricted/TesiCompleta.pdf | Riconoscimento automatico di accordi e note eseguiti da strumenti musicali | http://etd.adm.unipi.it/theses/available/etd-02032015-083301/ |
| supervisor : Buttazzo, Giorgio C. - cosupervisor : Di Natale, Marco | SIMONCELLI, STEFANO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-01282015-120502/unrestricted/Tesi.pdf | A real-time scheduling simulator for engine control application | http://etd.adm.unipi.it/theses/available/etd-01282015-120502/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Ing. Cesarini, Daniel - supervisor : Prof. Avvenuti, Marco | BIANCHI, SILVIO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-04172015-202401/unrestricted/_Tesi_SB.pdf | MoViDA (Motion Video Data Analysis)): Sviluppo di un'applicazione per il supporto dell'analisi di attivita motorie umane tramite video e dati | http://etd.adm.unipi.it/theses/available/etd-04172015-202401/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Marinoni, Mauro | BALSINI, ALESSIO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-04152015-185048/unrestricted/tesi_Alessio_Balsini_final.pdf | Novel Resource Management Mechanisms for Real-Time Scheduling in the Linux Kernel | http://etd.adm.unipi.it/theses/available/etd-04152015-185048/ |
| supervisor : Prof. Buttazzo, Giorgio C. | PANNOCCHI, LUIGI | INGEGNERIA ROBOTICA E DELL'AUTOMAZIONE | https://etd.adm.unipi.it/theses/available/etd-09072015-130438/unrestricted/PANN_MS_thesis.pdf | Real-Time Support Framework for the Development of Unmanned Aerial Vehicles Software | http://etd.adm.unipi.it/theses/available/etd-09072015-130438/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Ing. Marinoni, Mauro | APUZZO, VINCENZO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-11042015-113639/unrestricted/main.pdf | Real-time Kernel Support for Engine Control Applications | http://etd.adm.unipi.it/theses/available/etd-11042015-113639/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Marinoni, Mauro | PAGANI, MARCO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-04142016-194148/unrestricted/tesi_dpr.pdf | Software support for dynamic partial reconfigurable FPGAs on heterogeneous platforms | http://etd.adm.unipi.it/theses/available/etd-04142016-194148/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Prof. Di Natale, Marco - cosupervisor : Biondi, Alessandro | PAZZAGLIA, PAOLO | INGEGNERIA ROBOTICA E DELL'AUTOMAZIONE | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06302016-105218 | Analysis of the Impact of Real-Time Scheduling on Engine Control Performance | http://etd.adm.unipi.it/theses/available/etd-06302016-105218/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Di Natale, Marco - supervisor : Dott. Biondi, Alessandro | CASINI, DANIEL | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06302016-110318 | Support for hierarchical scheduling in the VxWorks real-time operating systems | http://etd.adm.unipi.it/theses/available/etd-06302016-110318/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Prof. Danelutto, Marco - examiner : Prof. Cisternino, Antonio | JOAO, VALDO ANTONIO | INFORMATICA E NETWORKING | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-09152016-085435 | Parallelizing Image Processing Algorithms For Face Recognition on Multicore Platforms | http://etd.adm.unipi.it/theses/available/etd-09152016-085435/ |
| supervisor : Buttazzo, Giorgio C. | AHMED, MD SABBIR | INFORMATICA E NETWORKING | https://etd.adm.unipi.it/theses/available/etd-02142017-195152/unrestricted/Sabbir_thesis.pdf | Automatic Phoneme Recognition using Mel-Frequency Cepstral Coefficient and Dynamic Time Warping | http://etd.adm.unipi.it/theses/available/etd-02142017-195152/ |
| supervisor : Prof. Di Natale, Marco - cosupervisor : Prof. Buttazzo, Giorgio C. | ANTONANTE, PASQUALE | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-03272017-104753/unrestricted/emc2_thesis.pdf | Multi-core Code generation for mixed-criticality embedded systems | http://etd.adm.unipi.it/theses/available/etd-03272017-104753/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Di Natale, Marco - supervisor : Ing. Pazzaglia, Paolo - supervisor : Prof. Saponara, Sergio | SECCHIARI, MATTEO | INGEGNERIA ROBOTICA E DELL'AUTOMAZIONE | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06012017-143457 | Modeling Diesel engine parts for simulation, Real-Time control and performance analysis | http://etd.adm.unipi.it/theses/available/etd-06012017-143457/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Pollini, Lorenzo | BENEDETTO, MASSIMILIANO | INGEGNERIA ROBOTICA E DELL'AUTOMAZIONE | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06092017-110138 | Mobile Device Integration Framework for Model Based Design Development: A use case on Inertial Measurement Unit Management for Vehicle Dynamics Applications | http://etd.adm.unipi.it/theses/available/etd-06092017-110138/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Dott. Biondi, Alessandro | MODICA, PAOLO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-06192017-124554/unrestricted/ThesisModica.pdf | Temporal and Spatial Isolation in Hypervisors for Multicore Real-Time Systems | http://etd.adm.unipi.it/theses/available/etd-06192017-124554/ |
| supervisor : Prof. Di Natale, Marco - cosupervisor : Prof. Buttazzo, Giorgio C. | CELIA, MARCO EMANUELE | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-06072017-234029/unrestricted/thesis.pdf | From natural language requirements to Simulation Monitors: Synthesis through code generation | http://etd.adm.unipi.it/theses/available/etd-06072017-234029/ |
| supervisor : Prof. Di Natale, Marco - supervisor : Prof. Buttazzo, Giorgio C. | ARMENIA, SALVATORE | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-07042017-001020/unrestricted/Salvatore_Armenia_thesis.pdf | Model-Based Development of an Aircraft Environmental Control System | http://etd.adm.unipi.it/theses/available/etd-07042017-001020/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Biondi, Alessandro | CICERO, GIORGIOMARIA | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-07062017-092255/unrestricted/Giorgiomaria_Cicero_Thesis.pdf | A dual-hypervisor for platforms supporting hardware-assisted security and virtualization | http://etd.adm.unipi.it/theses/available/etd-07062017-092255/ |
| supervisor : Buttazzo, Giorgio C. - supervisor : Cucinotta, Tommaso - cosupervisor : Biondi, Alessandro | LUCHERINI, ELENA | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-08302017-152348 | Design and Implementation of a Memory Allocator to Achieve Cache Partitioning in the Linux Kernel | http://etd.adm.unipi.it/theses/available/etd-08302017-152348/ |
| supervisor : Buttazzo, Giorgio C. - cosupervisor : Marinoni, Mauro | CASTELLANO, ANGELO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06062018-092002 | Progettazione e sviluppo di un algoritmo di visione con singola telecamera per la stima della distanza di oggetti noti | http://etd.adm.unipi.it/theses/available/etd-06062018-092002/ |
| supervisor : Prof. Buttazzo, Giorgio C. - examiner : Prof. Landi, Alberto - supervisor : Prof. Di Natale, Marco - supervisor : Ing. Pazzaglia, Paolo | GENOVESE, MATTEO | INGEGNERIA ROBOTICA E DELL'AUTOMAZIONE | https://etd.adm.unipi.itmailto:matte.genovo@hotmail.it | Modelling and co-simulation of advanced control techniques for electric engines with real-time constraints | http://etd.adm.unipi.it/theses/available/etd-09082018-103755/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Marinoni, Mauro - supervisor : Di Franco, Carmelo | BRAMANTE, PIETRO | INGEGNERIA ROBOTICA E DELL'AUTOMAZIONE | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-11102018-101938 | Modellazione e sviluppo di reti neurali per la stima dei consumi energetici in veicoli autonomi | http://etd.adm.unipi.it/theses/available/etd-11102018-101938/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Biondi, Alessandro - tutor : Ing. Cicero, Giorgiomaria | FERRI, GIULIA | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.itmailto:giulia.ferri91@yahoo.it | Hypervising of hardware-based control flow integrity for ARM platforms | http://etd.adm.unipi.it/theses/available/etd-11212018-174046/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Dott. Biondi, Alessandro - cosupervisor : Pagani, Marco | BALLERI, SARA | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-04102019-140633 | Exploring time vs. area trade-offs in the deployment of Deep Neural Networks on reconfigurable FPGAs | http://etd.adm.unipi.it/theses/available/etd-04102019-140633/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Dott. Biondi, Alessandro - cosupervisor : Pagani, Marco | MOLINARI, LORENZO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-04102019-140625 | A Python-based framework for supporting virtualized hardware acceleration on FPGA-SoC platforms | http://etd.adm.unipi.it/theses/available/etd-04102019-140625/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Prof. Biondi, Alessandro | SERRA, GABRIELE | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.itmailto:gabriele_serra@hotmail.it | Interprocess communication mechanisms and exception handling for a real-time safety-critical kernel | http://etd.adm.unipi.it/theses/available/etd-06052019-133334/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Biondi, Alessandro | AROMOLO, FEDERICO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-09252019-180916 | Synchronization mechanisms and analysis for real-time systems on FPGA-based heterogeneous platforms | http://etd.adm.unipi.it/theses/available/etd-09252019-180916/ |
| Relatore : Ancilotti, Paolo - Relatore : Anastasi, Giuseppe - Relatore : Cucinotta, Tommaso | DONADONI, ALBERTO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-09012008-160756/unrestricted/frontespizio.pdf | Progetto e realizzazione di un'architettura software modulare ed estendibile per il monitoraggio e la gestione dei parametri di esecuzione di applicazioni soft real-time | http://etd.adm.unipi.it/theses/available/etd-09012008-160756/ |
| supervisor : Prof. Ancilotti, Paolo - supervisor : Prof. Anastasi, Giuseppe - supervisor : Dott. Cucinotta, Tommaso | ANGELLA, ANDREA | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-09082009-225838/unrestricted/Tesi_Angella_Andrea.pdf | SCOTT: un'architettura modulare per il testing di soluzioni basate su smartcard | http://etd.adm.unipi.it/theses/available/etd-09082009-225838/ |
| supervisor : Prof. Ancilotti, Paolo - supervisor : Anastasi, Giuseppe - cosupervisor : Dott. Cucinotta, Tommaso | GRINGERI, EMANUELE | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-11092009-161046/unrestricted/thesis.pdf | Improving security and memory management in the MUSCLE framework. | http://etd.adm.unipi.it/theses/available/etd-11092009-161046/ |
| supervisor : Prof. Ancilotti, Paolo - supervisor : Prof. Anastasi, Giuseppe - supervisor : Dott. Cucinotta, Tommaso | BAGNOLI, GIACOMO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-01252010-121333/unrestricted/realtime_low_latency_audio_on_linux.pdf | Design and development of a mechanism for low-latency real time audio processing on Linux | http://etd.adm.unipi.it/theses/available/etd-01252010-121333/ |
| supervisor : Prof. Dini, Gianluca - supervisor : Prof. Anastasi, Giuseppe - supervisor : Dott. Cucinotta, Tommaso | REDINI, NILO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-02102013-123148/unrestricted/frontespizio.pdf | Access control in distributed file systems: design and realization on Pepys fs | http://etd.adm.unipi.it/theses/available/etd-02102013-123148/ |
| supervisor : Buttazzo, Giorgio C. - supervisor : Cucinotta, Tommaso - cosupervisor : Biondi, Alessandro | LUCHERINI, ELENA | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-08302017-152348 | Design and Implementation of a Memory Allocator to Achieve Cache Partitioning in the Linux Kernel | http://etd.adm.unipi.it/theses/available/etd-08302017-152348/ |
| supervisor : Prof. Cucinotta, Tommaso - supervisor : Prof. Fanucci, Luca | DE GIOIA, FRANCESCO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-02022018-133205 | A RISC-V Software Ecosystem: Study and Development of a Software Ecosystem employing a Test Driven Approach | http://etd.adm.unipi.it/theses/available/etd-02022018-133205/ |
| supervisor : Prof. Cucinotta, Tommaso | ARA, GABRIELE | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-09252019-184007 | Design and Implementation of a Performance Testing Framework for High-Performance Inter-Container Communications | http://etd.adm.unipi.it/theses/available/etd-09252019-184007/ |
| supervisor : Prof. Di Natale, Marco - supervisor : Prof. Ancilotti, Paolo - supervisor : Ing. Lipari, Giuseppe | MACCANTI, SIMONE | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-02132004-125144/unrestricted/tesi_final_web_2.pdf | Studio di Algoritmi di schedulazione con Feedback per Applicazioni Multimediali | http://etd.adm.unipi.it/theses/available/etd-02132004-125144/ |
| supervisor : Ancilotti, Paolo - supervisor : Buttazzo, Giorgio C. - supervisor : Di Natale, Marco | CIRINEI, MICHELE | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-04072004-195549/unrestricted/tesi.pdf | Progetto e realizzazione di un sistema di comunicazione wireless tra sistemi Real-Time | http://etd.adm.unipi.it/theses/available/etd-04072004-195549/ |
| supervisor : Di Natale, Marco - supervisor : Ancilotti, Paolo - supervisor : Lipari, Giuseppe | PELLIZZONI, RODOLFO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-04072004-201214/unrestricted/01-Frontespizio.pdf | Efficient feasibility analysis of real-time asynchronous task sets | http://etd.adm.unipi.it/theses/available/etd-04072004-201214/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Di Natale, Marco - supervisor : Prof. Ancilotti, Paolo | MANCINA, ANTONIO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-05142004-112630/unrestricted/sommario.pdf | Progetto e implementazione di un protocollo wireless per la comunicazione tra unità robotiche mobili | http://etd.adm.unipi.it/theses/available/etd-05142004-112630/ |
| supervisor : Buttazzo, Giorgio C. - cosupervisor : Di Natale, Marco | SIMONCELLI, STEFANO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-01282015-120502/unrestricted/Tesi.pdf | A real-time scheduling simulator for engine control application | http://etd.adm.unipi.it/theses/available/etd-01282015-120502/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Prof. Di Natale, Marco - cosupervisor : Biondi, Alessandro | PAZZAGLIA, PAOLO | INGEGNERIA ROBOTICA E DELL'AUTOMAZIONE | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06302016-105218 | Analysis of the Impact of Real-Time Scheduling on Engine Control Performance | http://etd.adm.unipi.it/theses/available/etd-06302016-105218/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Di Natale, Marco - supervisor : Dott. Biondi, Alessandro | CASINI, DANIEL | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06302016-110318 | Support for hierarchical scheduling in the VxWorks real-time operating systems | http://etd.adm.unipi.it/theses/available/etd-06302016-110318/ |
| supervisor : Prof. Di Natale, Marco - cosupervisor : Prof. Buttazzo, Giorgio C. | ANTONANTE, PASQUALE | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-03272017-104753/unrestricted/emc2_thesis.pdf | Multi-core Code generation for mixed-criticality embedded systems | http://etd.adm.unipi.it/theses/available/etd-03272017-104753/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Di Natale, Marco - supervisor : Ing. Pazzaglia, Paolo - supervisor : Prof. Saponara, Sergio | SECCHIARI, MATTEO | INGEGNERIA ROBOTICA E DELL'AUTOMAZIONE | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06012017-143457 | Modeling Diesel engine parts for simulation, Real-Time control and performance analysis | http://etd.adm.unipi.it/theses/available/etd-06012017-143457/ |
| supervisor : Prof. Di Natale, Marco - cosupervisor : Prof. Buttazzo, Giorgio C. | CELIA, MARCO EMANUELE | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-06072017-234029/unrestricted/thesis.pdf | From natural language requirements to Simulation Monitors: Synthesis through code generation | http://etd.adm.unipi.it/theses/available/etd-06072017-234029/ |
| supervisor : Prof. Di Natale, Marco - supervisor : Prof. Buttazzo, Giorgio C. | ARMENIA, SALVATORE | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-07042017-001020/unrestricted/Salvatore_Armenia_thesis.pdf | Model-Based Development of an Aircraft Environmental Control System | http://etd.adm.unipi.it/theses/available/etd-07042017-001020/ |
| supervisor : Prof. Buttazzo, Giorgio C. - examiner : Prof. Landi, Alberto - supervisor : Prof. Di Natale, Marco - supervisor : Ing. Pazzaglia, Paolo | GENOVESE, MATTEO | INGEGNERIA ROBOTICA E DELL'AUTOMAZIONE | https://etd.adm.unipi.itmailto:matte.genovo@hotmail.it | Modelling and co-simulation of advanced control techniques for electric engines with real-time constraints | http://etd.adm.unipi.it/theses/available/etd-09082018-103755/ |
| supervisor : Prof. Di Natale, Marco | VILLA, DAVIDE | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-11142018-173331 | Service-Guarantee Cross-Layered: A robust and reliable protocol for Wireless Sensor Networks | http://etd.adm.unipi.it/theses/available/etd-11142018-173331/ |
| supervisor : Prof. Di Natale, Marco | GELAO, GIANCARLO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-11142018-110013 | Medium Access Control Protocols for Power Line Communication for in-vehicle network | http://etd.adm.unipi.it/theses/available/etd-11142018-110013/ |
| supervisor : Prof. Di Natale, Marco - supervisor : Prof. Dini, Gianluca - supervisor : Prof. Biondi, Alessandro | BACCI, SILVIO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-02052019-113353 | A Framework for the development of Secure Automotive Applications in AUTOSAR | http://etd.adm.unipi.it/theses/available/etd-02052019-113353/ |
| supervisor : Dott. Marinoni, Mauro - supervisor : Prof. Buttazzo, Giorgio C. | MUSKA, INDRI | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-04182014-005828/unrestricted/Tesi.pdf | Sviluppo e simulazione di algoritmi di coordinamento per velivoli autonomi | http://etd.adm.unipi.it/theses/available/etd-04182014-005828/ |
| cosupervisor : Marinoni, Mauro - cosupervisor : Franchino, Gianluca - supervisor : Prof. Buttazzo, Giorgio C. | TAMBURINI, MATTEO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-05132014-162232/unrestricted/Tesi_Matteo_Tamburini___Framework_per_lo_sviluppo_e_la_simulazione_di_algoritmi_di_controllo_per_velivoli_autonomi.pdf | Framework per lo sviluppo e la simulazione di algoritmi di controllo per velivoli autonomi | http://etd.adm.unipi.it/theses/available/etd-05132014-162232/ |
| cosupervisor : Prof. Marinoni, Mauro - supervisor : Prof. Buttazzo, Giorgio C. | FARA, PIETRO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-02032015-083301/unrestricted/TesiCompleta.pdf | Riconoscimento automatico di accordi e note eseguiti da strumenti musicali | http://etd.adm.unipi.it/theses/available/etd-02032015-083301/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Marinoni, Mauro | BALSINI, ALESSIO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-04152015-185048/unrestricted/tesi_Alessio_Balsini_final.pdf | Novel Resource Management Mechanisms for Real-Time Scheduling in the Linux Kernel | http://etd.adm.unipi.it/theses/available/etd-04152015-185048/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Ing. Marinoni, Mauro | APUZZO, VINCENZO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/theses/available/etd-11042015-113639/unrestricted/main.pdf | Real-time Kernel Support for Engine Control Applications | http://etd.adm.unipi.it/theses/available/etd-11042015-113639/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Marinoni, Mauro | PAGANI, MARCO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-04142016-194148/unrestricted/tesi_dpr.pdf | Software support for dynamic partial reconfigurable FPGAs on heterogeneous platforms | http://etd.adm.unipi.it/theses/available/etd-04142016-194148/ |
| supervisor : Buttazzo, Giorgio C. - cosupervisor : Marinoni, Mauro | CASTELLANO, ANGELO | INGEGNERIA INFORMATICA | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06062018-092002 | Progettazione e sviluppo di un algoritmo di visione con singola telecamera per la stima della distanza di oggetti noti | http://etd.adm.unipi.it/theses/available/etd-06062018-092002/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Marinoni, Mauro - supervisor : Di Franco, Carmelo | BRAMANTE, PIETRO | INGEGNERIA ROBOTICA E DELL'AUTOMAZIONE | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-11102018-101938 | Modellazione e sviluppo di reti neurali per la stima dei consumi energetici in veicoli autonomi | http://etd.adm.unipi.it/theses/available/etd-11102018-101938/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Prof. Di Natale, Marco - cosupervisor : Biondi, Alessandro | PAZZAGLIA, PAOLO | INGEGNERIA ROBOTICA E DELL'AUTOMAZIONE | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06302016-105218 | Analysis of the Impact of Real-Time Scheduling on Engine Control Performance | http://etd.adm.unipi.it/theses/available/etd-06302016-105218/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Di Natale, Marco - supervisor : Dott. Biondi, Alessandro | CASINI, DANIEL | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06302016-110318 | Support for hierarchical scheduling in the VxWorks real-time operating systems | http://etd.adm.unipi.it/theses/available/etd-06302016-110318/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Dott. Biondi, Alessandro | MODICA, PAOLO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-06192017-124554/unrestricted/ThesisModica.pdf | Temporal and Spatial Isolation in Hypervisors for Multicore Real-Time Systems | http://etd.adm.unipi.it/theses/available/etd-06192017-124554/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Biondi, Alessandro | CICERO, GIORGIOMARIA | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/theses/available/etd-07062017-092255/unrestricted/Giorgiomaria_Cicero_Thesis.pdf | A dual-hypervisor for platforms supporting hardware-assisted security and virtualization | http://etd.adm.unipi.it/theses/available/etd-07062017-092255/ |
| supervisor : Buttazzo, Giorgio C. - supervisor : Cucinotta, Tommaso - cosupervisor : Biondi, Alessandro | LUCHERINI, ELENA | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-08302017-152348 | Design and Implementation of a Memory Allocator to Achieve Cache Partitioning in the Linux Kernel | http://etd.adm.unipi.it/theses/available/etd-08302017-152348/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Biondi, Alessandro - tutor : Ing. Cicero, Giorgiomaria | FERRI, GIULIA | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.itmailto:giulia.ferri91@yahoo.it | Hypervising of hardware-based control flow integrity for ARM platforms | http://etd.adm.unipi.it/theses/available/etd-11212018-174046/ |
| supervisor : Prof. Di Natale, Marco - supervisor : Prof. Dini, Gianluca - supervisor : Prof. Biondi, Alessandro | BACCI, SILVIO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-02052019-113353 | A Framework for the development of Secure Automotive Applications in AUTOSAR | http://etd.adm.unipi.it/theses/available/etd-02052019-113353/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Dott. Biondi, Alessandro - cosupervisor : Pagani, Marco | BALLERI, SARA | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-04102019-140633 | Exploring time vs. area trade-offs in the deployment of Deep Neural Networks on reconfigurable FPGAs | http://etd.adm.unipi.it/theses/available/etd-04102019-140633/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Dott. Biondi, Alessandro - cosupervisor : Pagani, Marco | MOLINARI, LORENZO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-04102019-140625 | A Python-based framework for supporting virtualized hardware acceleration on FPGA-SoC platforms | http://etd.adm.unipi.it/theses/available/etd-04102019-140625/ |
| supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Prof. Biondi, Alessandro | SERRA, GABRIELE | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.itmailto:gabriele_serra@hotmail.it | Interprocess communication mechanisms and exception handling for a real-time safety-critical kernel | http://etd.adm.unipi.it/theses/available/etd-06052019-133334/ |
| supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Biondi, Alessandro | AROMOLO, FEDERICO | EMBEDDED COMPUTING SYSTEMS | https://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-09252019-180916 | Synchronization mechanisms and analysis for real-time systems on FPGA-based heterogeneous platforms | http://etd.adm.unipi.it/theses/available/etd-09252019-180916/ |