For currently available thesis topics see this page

AdvisorsAuthorCoursePDFTitleURL
supervisor : Ancilotti, Paolo - supervisor : Buttazzo, Giorgio C. - supervisor : Di Natale, MarcoCIRINEI, MICHELEINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-04072004-195549/unrestricted/tesi.pdfProgetto e realizzazione di un sistema di comunicazione wireless tra sistemi Real-Timehttp://etd.adm.unipi.it/theses/available/etd-04072004-195549/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Di Natale, Marco - supervisor : Prof. Ancilotti, PaoloMANCINA, ANTONIOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-05142004-112630/unrestricted/sommario.pdfProgetto e implementazione di un protocollo wireless per la comunicazione tra unità robotiche mobilihttp://etd.adm.unipi.it/theses/available/etd-05142004-112630/
supervisor : Buttazzo, Giorgio C. - supervisor : Ancilotti, Paolo - supervisor : Prof. Prete, Cosimo AntonioSOLANO, ANTONIOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.itmailto:a.solano@tin.itInterazione Gestuale Real-Time con Ambienti Virtualihttp://etd.adm.unipi.it/theses/available/etd-06252004-140947/
Relatore : Prof. Prete, Cosimo Antonio - Relatore : Prof. Buttazzo, Giorgio C.PROSPERI, FRANCESCOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-05152008-104110Sviluppo di un sistema embedded per il controllo di un piano basculante in tempo realehttp://etd.adm.unipi.it/theses/available/etd-05152008-104110/
Relatore : Prof. Ancilotti, Paolo - Relatore : Prof. Prete, Cosimo Antonio - Relatore : Prof. Buttazzo, Giorgio C.NASTASI, CHRISTIANINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-05152008-104052Sviluppo di un sistema embedded per il controllo visivo in tempo realehttp://etd.adm.unipi.it/theses/available/etd-05152008-104052/
Relatore : Prof. Innocenti, Mario - Relatore : Prof. Buttazzo, Giorgio C. - Relatore : Prof. Pollini, LorenzoDI STEFANO, DARIOINGEGNERIA DELLA AUTOMAZIONEhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-11272008-113139Sviluppo di un sistema di guida e controllo per un velivolo autonomo non propulsohttp://etd.adm.unipi.it/theses/available/etd-11272008-113139/
Relatore : Prof. Buttazzo, Giorgio C. - Relatore : Prof. Cisternino, AntonioVOLPE, MARCOINFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-01262009-122440PROGETTAZIONE E SVILUPPO DI UNA PIATTAFORMA INERZIALE PER IL CONTROLLO IN TEMPO REALEhttp://etd.adm.unipi.it/theses/available/etd-01262009-122440/
supervisor : Lenzini, Luciano - supervisor : Buttazzo, Giorgio C.BIASCI, ALESSANDROINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-09092009-115519Sviluppo di un protocollo di comunicazione real-time per reti di sensori wirelesshttp://etd.adm.unipi.it/theses/available/etd-09092009-115519/
supervisor : Lenzini, Luciano - supervisor : Buttazzo, Giorgio C.TINGHI, ELISABETTAINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-09092009-115219Sviluppo di un protocollo di comunicazione real-time per reti di sensori wirelesshttp://etd.adm.unipi.it/theses/available/etd-09092009-115219/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Ing. Bertogna, Marko - supervisor : Prof. Prete, Cosimo AntonioXHANI, ORGESINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-11172009-163222/unrestricted/abstract.pdfEffects of real-time scheduling on cache performance and worst case execution timeshttp://etd.adm.unipi.it/theses/available/etd-11172009-163222/
supervisor : Prof. Buttazzo, Giuseppe - examiner : Prof. Buttazzo, Giorgio C.BINI, ENRICOMATEMATICAhttps://etd.adm.unipi.it/theses/available/etd-01132010-122342/unrestricted/thesis.pdfDesign of Optimal Control Systemshttp://etd.adm.unipi.it/theses/available/etd-01132010-122342/
supervisor : Prof. Foglia, Pierfrancesco - supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Prete, Cosimo AntonioBAMBAGINI, MARIOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-04132010-111902Power Management in Real-Time Embedded Systemshttp://etd.adm.unipi.it/theses/available/etd-04132010-111902/
supervisor : Buttazzo, Giorgio C. - supervisor : Prof. Prete, Cosimo AntonioAZZARA', ANDREAINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-04142010-131402Sviluppo di un'architettura per la programmazione remota di sistemi wireless distribuitihttp://etd.adm.unipi.it/theses/available/etd-04142010-131402/
supervisor : Buttazzo, Giorgio C. - supervisor : Prof. Prete, Cosimo AntonioPARDI, MATTEOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06212010-111936Sviluppo di un'architettura per la simulazione ed il controllo in tempo reale di robot mobilihttp://etd.adm.unipi.it/theses/available/etd-06212010-111936/
supervisor : Ancilotti, Paolo - tutor : Prof. Buttazzo, Giorgio C.MADEO, SIMONEINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-12012011-103925Progettazione ed implementazione del protocollo Implicit-EDF su reti di sensori wirelesshttp://etd.adm.unipi.it/theses/available/etd-12012011-103925/
supervisor : Prof. Anastasi, Giuseppe - supervisor : Prof. Buttazzo, Giorgio C.BUONOCUNTO, PASQUALEINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-08302012-113837Progetto e realizzazione di dispositivi meccatronici per misure biometriche finalizzate alla teleriabilitazionehttp://etd.adm.unipi.it/theses/available/etd-08302012-113837/
supervisor : Prof. Lipari, Giuseppe - cosupervisor : Prof. Buttazzo, Giorgio C.ITALIANO, ANGELAINFORMATICA E NETWORKINGhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-11142012-100101Analysis 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, GianlucaLA ROSA, DAVIDEINFORMATICA E NETWORKINGhttps://etd.adm.unipi.it/theses/available/etd-11132012-094921/unrestricted/Thesis.pdfDesign and implementation of an energy-aware protocol for multi-hop real-time communications in wireless networkshttp://etd.adm.unipi.it/theses/available/etd-11132012-094921/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Avvenuti, MarcoBIONDI, ALESSANDROINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-01292013-154954Resource Reservation for hierarchical real-time systemshttp://etd.adm.unipi.it/theses/available/etd-01292013-154954/
supervisor : Buttazzo, Giorgio C. - supervisor : Lettieri, GiuseppeMANNUCCI, FEDERICOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-03052013-105732Un sistema per il controllo della temperatura di un edificio finalizzato alla riduzione del picco di potenza elettricahttp://etd.adm.unipi.it/theses/available/etd-03052013-105732/
supervisor : Lipari, Giuseppe - supervisor : Prof. Avvenuti, Marco - supervisor : Prof. Buttazzo, Giorgio C.BENEDETTO, SALVATOREINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-04282013-105122A 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, GiuseppePOLIZZANO, AGOSTINOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.itmailto:agostino@polizzano.itStrategie e algoritmi di localizzazione per WSN in ambiente indoor basati su misurazioni RSSIhttp://etd.adm.unipi.it/theses/available/etd-06122013-121921/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Vaglini, GigliolaDI FRANCO, CARMELOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-09072013-102128/unrestricted/Thesis.pdfWireless communication services to support teams of cooperating autonomous robotshttp://etd.adm.unipi.it/theses/available/etd-09072013-102128/
supervisor : Buttazzo, Giorgio C. - cosupervisor : Prof. Ruffaldi, EmanueleBRIZZI, FILIPPOINFORMATICA E NETWORKINGhttps://etd.adm.unipi.it/theses/available/etd-02032014-155915/unrestricted/Tesi_master.pdfA framework for static allocation of parallel OpenMP code on multi-core platformshttp://etd.adm.unipi.it/theses/available/etd-02032014-155915/
supervisor : Buttazzo, Giorgio C. - cosupervisor : Prof. Ruffaldi, EmanueleDABISIAS, GIACOMOINFORMATICA E NETWORKINGhttps://etd.adm.unipi.it/theses/available/etd-02032014-155916/unrestricted/Tesi_master.pdfA framework for static allocation of parallel OpenMP code on multi-core platformshttp://etd.adm.unipi.it/theses/available/etd-02032014-155916/
supervisor : Dott. Marinoni, Mauro - supervisor : Prof. Buttazzo, Giorgio C.MUSKA, INDRIINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-04182014-005828/unrestricted/Tesi.pdfSviluppo e simulazione di algoritmi di coordinamento per velivoli autonomihttp://etd.adm.unipi.it/theses/available/etd-04182014-005828/
cosupervisor : Marinoni, Mauro - cosupervisor : Franchino, Gianluca - supervisor : Prof. Buttazzo, Giorgio C.TAMBURINI, MATTEOINGEGNERIA INFORMATICAhttps://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.pdfFramework per lo sviluppo e la simulazione di algoritmi di controllo per velivoli autonomihttp://etd.adm.unipi.it/theses/available/etd-05132014-162232/
cosupervisor : Prof. Marinoni, Mauro - supervisor : Prof. Buttazzo, Giorgio C.FARA, PIETROINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-02032015-083301/unrestricted/TesiCompleta.pdfRiconoscimento automatico di accordi e note eseguiti da strumenti musicalihttp://etd.adm.unipi.it/theses/available/etd-02032015-083301/
supervisor : Buttazzo, Giorgio C. - cosupervisor : Di Natale, MarcoSIMONCELLI, STEFANOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-01282015-120502/unrestricted/Tesi.pdfA real-time scheduling simulator for engine control applicationhttp://etd.adm.unipi.it/theses/available/etd-01282015-120502/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Ing. Cesarini, Daniel - supervisor : Prof. Avvenuti, MarcoBIANCHI, SILVIOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-04172015-202401/unrestricted/_Tesi_SB.pdfMoViDA (Motion Video Data Analysis)): Sviluppo di un'applicazione per il supporto dell'analisi di attivita motorie umane tramite video e datihttp://etd.adm.unipi.it/theses/available/etd-04172015-202401/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Marinoni, MauroBALSINI, ALESSIOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-04152015-185048/unrestricted/tesi_Alessio_Balsini_final.pdfNovel Resource Management Mechanisms for Real-Time Scheduling in the Linux Kernelhttp://etd.adm.unipi.it/theses/available/etd-04152015-185048/
supervisor : Prof. Buttazzo, Giorgio C.PANNOCCHI, LUIGIINGEGNERIA ROBOTICA E DELL'AUTOMAZIONEhttps://etd.adm.unipi.it/theses/available/etd-09072015-130438/unrestricted/PANN_MS_thesis.pdfReal-Time Support Framework for the Development of Unmanned Aerial Vehicles Softwarehttp://etd.adm.unipi.it/theses/available/etd-09072015-130438/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Ing. Marinoni, MauroAPUZZO, VINCENZOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-11042015-113639/unrestricted/main.pdfReal-time Kernel Support for Engine Control Applicationshttp://etd.adm.unipi.it/theses/available/etd-11042015-113639/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Marinoni, MauroPAGANI, MARCOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-04142016-194148/unrestricted/tesi_dpr.pdfSoftware support for dynamic partial reconfigurable FPGAs on heterogeneous platformshttp://etd.adm.unipi.it/theses/available/etd-04142016-194148/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Prof. Di Natale, Marco - cosupervisor : Biondi, AlessandroPAZZAGLIA, PAOLOINGEGNERIA ROBOTICA E DELL'AUTOMAZIONEhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06302016-105218Analysis of the Impact of Real-Time Scheduling on Engine Control Performancehttp://etd.adm.unipi.it/theses/available/etd-06302016-105218/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Di Natale, Marco - supervisor : Dott. Biondi, AlessandroCASINI, DANIELEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06302016-110318Support for hierarchical scheduling in the VxWorks real-time operating systemshttp://etd.adm.unipi.it/theses/available/etd-06302016-110318/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Prof. Danelutto, Marco - examiner : Prof. Cisternino, AntonioJOAO, VALDO ANTONIOINFORMATICA E NETWORKINGhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-09152016-085435Parallelizing Image Processing Algorithms For Face Recognition on Multicore Platformshttp://etd.adm.unipi.it/theses/available/etd-09152016-085435/
supervisor : Buttazzo, Giorgio C.AHMED, MD SABBIRINFORMATICA E NETWORKINGhttps://etd.adm.unipi.it/theses/available/etd-02142017-195152/unrestricted/Sabbir_thesis.pdfAutomatic Phoneme Recognition using Mel-Frequency Cepstral Coefficient and Dynamic Time Warpinghttp://etd.adm.unipi.it/theses/available/etd-02142017-195152/
supervisor : Prof. Di Natale, Marco - cosupervisor : Prof. Buttazzo, Giorgio C.ANTONANTE, PASQUALEEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-03272017-104753/unrestricted/emc2_thesis.pdfMulti-core Code generation for mixed-criticality embedded systemshttp://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, SergioSECCHIARI, MATTEOINGEGNERIA ROBOTICA E DELL'AUTOMAZIONEhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06012017-143457Modeling Diesel engine parts for simulation, Real-Time control and performance analysishttp://etd.adm.unipi.it/theses/available/etd-06012017-143457/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Pollini, LorenzoBENEDETTO, MASSIMILIANOINGEGNERIA ROBOTICA E DELL'AUTOMAZIONEhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06092017-110138Mobile Device Integration Framework for Model Based Design Development: A use case on Inertial Measurement Unit Management for Vehicle Dynamics Applicationshttp://etd.adm.unipi.it/theses/available/etd-06092017-110138/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Dott. Biondi, AlessandroMODICA, PAOLOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-06192017-124554/unrestricted/ThesisModica.pdfTemporal and Spatial Isolation in Hypervisors for Multicore Real-Time Systemshttp://etd.adm.unipi.it/theses/available/etd-06192017-124554/
supervisor : Prof. Di Natale, Marco - cosupervisor : Prof. Buttazzo, Giorgio C.CELIA, MARCO EMANUELEEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-06072017-234029/unrestricted/thesis.pdfFrom natural language requirements to Simulation Monitors: Synthesis through code generationhttp://etd.adm.unipi.it/theses/available/etd-06072017-234029/
supervisor : Prof. Di Natale, Marco - supervisor : Prof. Buttazzo, Giorgio C.ARMENIA, SALVATOREEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-07042017-001020/unrestricted/Salvatore_Armenia_thesis.pdfModel-Based Development of an Aircraft Environmental Control Systemhttp://etd.adm.unipi.it/theses/available/etd-07042017-001020/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Biondi, AlessandroCICERO, GIORGIOMARIAEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-07062017-092255/unrestricted/Giorgiomaria_Cicero_Thesis.pdfA dual-hypervisor for platforms supporting hardware-assisted security and virtualizationhttp://etd.adm.unipi.it/theses/available/etd-07062017-092255/
supervisor : Buttazzo, Giorgio C. - supervisor : Cucinotta, Tommaso - cosupervisor : Biondi, AlessandroLUCHERINI, ELENAEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-08302017-152348Design and Implementation of a Memory Allocator to Achieve Cache Partitioning in the Linux Kernelhttp://etd.adm.unipi.it/theses/available/etd-08302017-152348/
supervisor : Buttazzo, Giorgio C. - cosupervisor : Marinoni, MauroCASTELLANO, ANGELOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06062018-092002Progettazione e sviluppo di un algoritmo di visione con singola telecamera per la stima della distanza di oggetti notihttp://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, PaoloGENOVESE, MATTEOINGEGNERIA ROBOTICA E DELL'AUTOMAZIONEhttps://etd.adm.unipi.itmailto:matte.genovo@hotmail.itModelling and co-simulation of advanced control techniques for electric engines with real-time constraintshttp://etd.adm.unipi.it/theses/available/etd-09082018-103755/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Marinoni, Mauro - supervisor : Di Franco, CarmeloBRAMANTE, PIETROINGEGNERIA ROBOTICA E DELL'AUTOMAZIONEhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-11102018-101938Modellazione e sviluppo di reti neurali per la stima dei consumi energetici in veicoli autonomihttp://etd.adm.unipi.it/theses/available/etd-11102018-101938/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Biondi, Alessandro - tutor : Ing. Cicero, GiorgiomariaFERRI, GIULIAEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.itmailto:giulia.ferri91@yahoo.itHypervising of hardware-based control flow integrity for ARM platformshttp://etd.adm.unipi.it/theses/available/etd-11212018-174046/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Dott. Biondi, Alessandro - cosupervisor : Pagani, MarcoBALLERI, SARAEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-04102019-140633Exploring time vs. area trade-offs in the deployment of Deep Neural Networks on reconfigurable FPGAshttp://etd.adm.unipi.it/theses/available/etd-04102019-140633/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Dott. Biondi, Alessandro - cosupervisor : Pagani, MarcoMOLINARI, LORENZOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-04102019-140625A Python-based framework for supporting virtualized hardware acceleration on FPGA-SoC platformshttp://etd.adm.unipi.it/theses/available/etd-04102019-140625/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Prof. Biondi, AlessandroSERRA, GABRIELEEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.itmailto:gabriele_serra@hotmail.itInterprocess communication mechanisms and exception handling for a real-time safety-critical kernelhttp://etd.adm.unipi.it/theses/available/etd-06052019-133334/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Biondi, AlessandroAROMOLO, FEDERICOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-09252019-180916Synchronization mechanisms and analysis for real-time systems on FPGA-based heterogeneous platformshttp://etd.adm.unipi.it/theses/available/etd-09252019-180916/
Relatore : Ancilotti, Paolo - Relatore : Anastasi, Giuseppe - Relatore : Cucinotta, TommasoDONADONI, ALBERTOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-09012008-160756/unrestricted/frontespizio.pdfProgetto e realizzazione di un'architettura software modulare ed estendibile per il monitoraggio e la gestione dei parametri di esecuzione di applicazioni soft real-timehttp://etd.adm.unipi.it/theses/available/etd-09012008-160756/
supervisor : Prof. Ancilotti, Paolo - supervisor : Prof. Anastasi, Giuseppe - supervisor : Dott. Cucinotta, TommasoANGELLA, ANDREAINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-09082009-225838/unrestricted/Tesi_Angella_Andrea.pdfSCOTT: un'architettura modulare per il testing di soluzioni basate su smartcardhttp://etd.adm.unipi.it/theses/available/etd-09082009-225838/
supervisor : Prof. Ancilotti, Paolo - supervisor : Anastasi, Giuseppe - cosupervisor : Dott. Cucinotta, TommasoGRINGERI, EMANUELEINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-11092009-161046/unrestricted/thesis.pdfImproving 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, TommasoBAGNOLI, GIACOMOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-01252010-121333/unrestricted/realtime_low_latency_audio_on_linux.pdfDesign and development of a mechanism for low-latency real time audio processing on Linuxhttp://etd.adm.unipi.it/theses/available/etd-01252010-121333/
supervisor : Prof. Dini, Gianluca - supervisor : Prof. Anastasi, Giuseppe - supervisor : Dott. Cucinotta, TommasoREDINI, NILOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-02102013-123148/unrestricted/frontespizio.pdfAccess control in distributed file systems: design and realization on Pepys fshttp://etd.adm.unipi.it/theses/available/etd-02102013-123148/
supervisor : Buttazzo, Giorgio C. - supervisor : Cucinotta, Tommaso - cosupervisor : Biondi, AlessandroLUCHERINI, ELENAEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-08302017-152348Design and Implementation of a Memory Allocator to Achieve Cache Partitioning in the Linux Kernelhttp://etd.adm.unipi.it/theses/available/etd-08302017-152348/
supervisor : Prof. Cucinotta, Tommaso - supervisor : Prof. Fanucci, LucaDE GIOIA, FRANCESCOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-02022018-133205A RISC-V Software Ecosystem: Study and Development of a Software Ecosystem employing a Test Driven Approachhttp://etd.adm.unipi.it/theses/available/etd-02022018-133205/
supervisor : Prof. Cucinotta, TommasoARA, GABRIELEEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-09252019-184007Design and Implementation of a Performance Testing Framework for High-Performance Inter-Container Communicationshttp://etd.adm.unipi.it/theses/available/etd-09252019-184007/
supervisor : Prof. Di Natale, Marco - supervisor : Prof. Ancilotti, Paolo - supervisor : Ing. Lipari, GiuseppeMACCANTI, SIMONEINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-02132004-125144/unrestricted/tesi_final_web_2.pdfStudio di Algoritmi di schedulazione con Feedback per Applicazioni Multimedialihttp://etd.adm.unipi.it/theses/available/etd-02132004-125144/
supervisor : Ancilotti, Paolo - supervisor : Buttazzo, Giorgio C. - supervisor : Di Natale, MarcoCIRINEI, MICHELEINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-04072004-195549/unrestricted/tesi.pdfProgetto e realizzazione di un sistema di comunicazione wireless tra sistemi Real-Timehttp://etd.adm.unipi.it/theses/available/etd-04072004-195549/
supervisor : Di Natale, Marco - supervisor : Ancilotti, Paolo - supervisor : Lipari, GiuseppePELLIZZONI, RODOLFOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-04072004-201214/unrestricted/01-Frontespizio.pdfEfficient feasibility analysis of real-time asynchronous task setshttp://etd.adm.unipi.it/theses/available/etd-04072004-201214/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Di Natale, Marco - supervisor : Prof. Ancilotti, PaoloMANCINA, ANTONIOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-05142004-112630/unrestricted/sommario.pdfProgetto e implementazione di un protocollo wireless per la comunicazione tra unità robotiche mobilihttp://etd.adm.unipi.it/theses/available/etd-05142004-112630/
supervisor : Buttazzo, Giorgio C. - cosupervisor : Di Natale, MarcoSIMONCELLI, STEFANOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-01282015-120502/unrestricted/Tesi.pdfA real-time scheduling simulator for engine control applicationhttp://etd.adm.unipi.it/theses/available/etd-01282015-120502/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Prof. Di Natale, Marco - cosupervisor : Biondi, AlessandroPAZZAGLIA, PAOLOINGEGNERIA ROBOTICA E DELL'AUTOMAZIONEhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06302016-105218Analysis of the Impact of Real-Time Scheduling on Engine Control Performancehttp://etd.adm.unipi.it/theses/available/etd-06302016-105218/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Di Natale, Marco - supervisor : Dott. Biondi, AlessandroCASINI, DANIELEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06302016-110318Support for hierarchical scheduling in the VxWorks real-time operating systemshttp://etd.adm.unipi.it/theses/available/etd-06302016-110318/
supervisor : Prof. Di Natale, Marco - cosupervisor : Prof. Buttazzo, Giorgio C.ANTONANTE, PASQUALEEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-03272017-104753/unrestricted/emc2_thesis.pdfMulti-core Code generation for mixed-criticality embedded systemshttp://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, SergioSECCHIARI, MATTEOINGEGNERIA ROBOTICA E DELL'AUTOMAZIONEhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06012017-143457Modeling Diesel engine parts for simulation, Real-Time control and performance analysishttp://etd.adm.unipi.it/theses/available/etd-06012017-143457/
supervisor : Prof. Di Natale, Marco - cosupervisor : Prof. Buttazzo, Giorgio C.CELIA, MARCO EMANUELEEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-06072017-234029/unrestricted/thesis.pdfFrom natural language requirements to Simulation Monitors: Synthesis through code generationhttp://etd.adm.unipi.it/theses/available/etd-06072017-234029/
supervisor : Prof. Di Natale, Marco - supervisor : Prof. Buttazzo, Giorgio C.ARMENIA, SALVATOREEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-07042017-001020/unrestricted/Salvatore_Armenia_thesis.pdfModel-Based Development of an Aircraft Environmental Control Systemhttp://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, PaoloGENOVESE, MATTEOINGEGNERIA ROBOTICA E DELL'AUTOMAZIONEhttps://etd.adm.unipi.itmailto:matte.genovo@hotmail.itModelling and co-simulation of advanced control techniques for electric engines with real-time constraintshttp://etd.adm.unipi.it/theses/available/etd-09082018-103755/
supervisor : Prof. Di Natale, MarcoVILLA, DAVIDEEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-11142018-173331Service-Guarantee Cross-Layered: A robust and reliable protocol for Wireless Sensor Networkshttp://etd.adm.unipi.it/theses/available/etd-11142018-173331/
supervisor : Prof. Di Natale, MarcoGELAO, GIANCARLOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-11142018-110013Medium Access Control Protocols for Power Line Communication for in-vehicle networkhttp://etd.adm.unipi.it/theses/available/etd-11142018-110013/
supervisor : Prof. Di Natale, Marco - supervisor : Prof. Dini, Gianluca - supervisor : Prof. Biondi, AlessandroBACCI, SILVIOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-02052019-113353A Framework for the development of Secure Automotive Applications in AUTOSARhttp://etd.adm.unipi.it/theses/available/etd-02052019-113353/
supervisor : Dott. Marinoni, Mauro - supervisor : Prof. Buttazzo, Giorgio C.MUSKA, INDRIINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-04182014-005828/unrestricted/Tesi.pdfSviluppo e simulazione di algoritmi di coordinamento per velivoli autonomihttp://etd.adm.unipi.it/theses/available/etd-04182014-005828/
cosupervisor : Marinoni, Mauro - cosupervisor : Franchino, Gianluca - supervisor : Prof. Buttazzo, Giorgio C.TAMBURINI, MATTEOINGEGNERIA INFORMATICAhttps://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.pdfFramework per lo sviluppo e la simulazione di algoritmi di controllo per velivoli autonomihttp://etd.adm.unipi.it/theses/available/etd-05132014-162232/
cosupervisor : Prof. Marinoni, Mauro - supervisor : Prof. Buttazzo, Giorgio C.FARA, PIETROINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-02032015-083301/unrestricted/TesiCompleta.pdfRiconoscimento automatico di accordi e note eseguiti da strumenti musicalihttp://etd.adm.unipi.it/theses/available/etd-02032015-083301/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Marinoni, MauroBALSINI, ALESSIOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-04152015-185048/unrestricted/tesi_Alessio_Balsini_final.pdfNovel Resource Management Mechanisms for Real-Time Scheduling in the Linux Kernelhttp://etd.adm.unipi.it/theses/available/etd-04152015-185048/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Ing. Marinoni, MauroAPUZZO, VINCENZOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/theses/available/etd-11042015-113639/unrestricted/main.pdfReal-time Kernel Support for Engine Control Applicationshttp://etd.adm.unipi.it/theses/available/etd-11042015-113639/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Marinoni, MauroPAGANI, MARCOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-04142016-194148/unrestricted/tesi_dpr.pdfSoftware support for dynamic partial reconfigurable FPGAs on heterogeneous platformshttp://etd.adm.unipi.it/theses/available/etd-04142016-194148/
supervisor : Buttazzo, Giorgio C. - cosupervisor : Marinoni, MauroCASTELLANO, ANGELOINGEGNERIA INFORMATICAhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06062018-092002Progettazione e sviluppo di un algoritmo di visione con singola telecamera per la stima della distanza di oggetti notihttp://etd.adm.unipi.it/theses/available/etd-06062018-092002/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Marinoni, Mauro - supervisor : Di Franco, CarmeloBRAMANTE, PIETROINGEGNERIA ROBOTICA E DELL'AUTOMAZIONEhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-11102018-101938Modellazione e sviluppo di reti neurali per la stima dei consumi energetici in veicoli autonomihttp://etd.adm.unipi.it/theses/available/etd-11102018-101938/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Prof. Di Natale, Marco - cosupervisor : Biondi, AlessandroPAZZAGLIA, PAOLOINGEGNERIA ROBOTICA E DELL'AUTOMAZIONEhttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06302016-105218Analysis of the Impact of Real-Time Scheduling on Engine Control Performancehttp://etd.adm.unipi.it/theses/available/etd-06302016-105218/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Prof. Di Natale, Marco - supervisor : Dott. Biondi, AlessandroCASINI, DANIELEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-06302016-110318Support for hierarchical scheduling in the VxWorks real-time operating systemshttp://etd.adm.unipi.it/theses/available/etd-06302016-110318/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Dott. Biondi, AlessandroMODICA, PAOLOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-06192017-124554/unrestricted/ThesisModica.pdfTemporal and Spatial Isolation in Hypervisors for Multicore Real-Time Systemshttp://etd.adm.unipi.it/theses/available/etd-06192017-124554/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Biondi, AlessandroCICERO, GIORGIOMARIAEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/theses/available/etd-07062017-092255/unrestricted/Giorgiomaria_Cicero_Thesis.pdfA dual-hypervisor for platforms supporting hardware-assisted security and virtualizationhttp://etd.adm.unipi.it/theses/available/etd-07062017-092255/
supervisor : Buttazzo, Giorgio C. - supervisor : Cucinotta, Tommaso - cosupervisor : Biondi, AlessandroLUCHERINI, ELENAEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-08302017-152348Design and Implementation of a Memory Allocator to Achieve Cache Partitioning in the Linux Kernelhttp://etd.adm.unipi.it/theses/available/etd-08302017-152348/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Biondi, Alessandro - tutor : Ing. Cicero, GiorgiomariaFERRI, GIULIAEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.itmailto:giulia.ferri91@yahoo.itHypervising of hardware-based control flow integrity for ARM platformshttp://etd.adm.unipi.it/theses/available/etd-11212018-174046/
supervisor : Prof. Di Natale, Marco - supervisor : Prof. Dini, Gianluca - supervisor : Prof. Biondi, AlessandroBACCI, SILVIOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-02052019-113353A Framework for the development of Secure Automotive Applications in AUTOSARhttp://etd.adm.unipi.it/theses/available/etd-02052019-113353/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Dott. Biondi, Alessandro - cosupervisor : Pagani, MarcoBALLERI, SARAEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-04102019-140633Exploring time vs. area trade-offs in the deployment of Deep Neural Networks on reconfigurable FPGAshttp://etd.adm.unipi.it/theses/available/etd-04102019-140633/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Dott. Biondi, Alessandro - cosupervisor : Pagani, MarcoMOLINARI, LORENZOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-04102019-140625A Python-based framework for supporting virtualized hardware acceleration on FPGA-SoC platformshttp://etd.adm.unipi.it/theses/available/etd-04102019-140625/
supervisor : Prof. Buttazzo, Giorgio C. - cosupervisor : Prof. Biondi, AlessandroSERRA, GABRIELEEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.itmailto:gabriele_serra@hotmail.itInterprocess communication mechanisms and exception handling for a real-time safety-critical kernelhttp://etd.adm.unipi.it/theses/available/etd-06052019-133334/
supervisor : Prof. Buttazzo, Giorgio C. - supervisor : Dott. Biondi, AlessandroAROMOLO, FEDERICOEMBEDDED COMPUTING SYSTEMShttps://etd.adm.unipi.it/ETD-db/ETD-browse/send_author_email?URN=etd-09252019-180916Synchronization mechanisms and analysis for real-time systems on FPGA-based heterogeneous platformshttp://etd.adm.unipi.it/theses/available/etd-09252019-180916/