| Modelli decisionali basati sul calcolo quantistico |
2025 |
INGEGNERIA INFORMATICA |
| Simulazione hardware-in-the-loop di task coordinati per UAV multipli a risorse limitate |
2022 |
INGEGNERIA INFORMATICA |
| Predizione online con microcontrollore di Remaining Useful Life di componenti meccaniche |
2022 |
INGEGNERIA INFORMATICA |
| Verification of Symbolic Distributed Protocols for Networked Embedded Devices |
2020 |
INGEGNERIA INFORMATICA |
| Impiego di WebAssembly nell'IoT |
2020 |
INGEGNERIA INFORMATICA |
| Virtualizzazione di attività di sviluppo e test embedded su target remoto |
2020 |
INGEGNERIA INFORMATICA |
| Caratterizzazione di piattaforme real time per la valutazione hardware in the loop di task per UAV |
2020 |
INGEGNERIA INFORMATICA |
| Integrazione di dispositivi wearable e fissi per l'Health Monitoring |
2019 |
INGEGNERIA INFORMATICA |
| Implementation of cost effective solutions for testing in automotive environment |
2019 |
INGEGNERIA INFORMATICA |
| Gestione di dispositivi wearable per l'Health Monitoring |
2019 |
INGEGNERIA INFORMATICA |
| Development of the Test Access Port Driver of a Test During Burn-In Coverage Enhancement System for Automotive SoCs |
2019 |
INGEGNERIA INFORMATICA |
| Valutazione energetica di modelli di esecuzione simbolica su dispositivi embedded |
2017 |
INGEGNERIA INFORMATICA |
| Ambiente simbolico per la configurazione hardware e la programmazione di applicazioni IoT |
2017 |
INGEGNERIA INFORMATICA |
| Modellazione e verifica di protocolli distribuiti per sistemi embedded |
2017 |
INGEGNERIA INFORMATICA |
| Descrizioni formali di Hardware Abstraction Layer |
2016 |
INGEGNERIA INFORMATICA |
| Sistema di regole per la configurazione hardware e la programmazione di applicazioni IoT |
2016 |
INGEGNERIA INFORMATICA |
| Ambienti operativi per reti di sensori wireless |
2014 |
INGEGNERIA INFORMATICA (AG) |
| Tecniche di Mobile Pattern Analysis |
2012 |
INGEGNERIA INFORMATICA (NETTUNO) |
| Sistemi embedded aperti |
2010 |
INGEGNERIA INFORMATICA |
| Studio e implementazione di uno strumento software per la descrizione e l'analisi di factor graphs. |
2008 |
INGEGNERIA INFORMATICA |
| FACTOR GRAPHS E APPRENDIMENTO BAYESIANO |
2007 |
INGEGNERIA INFORMATICA |
| Sistemi intelligenti per il supporto alla diagnosi medica. |
2006 |
INGEGNERIA INFORMATICA (AG) |
| Sistemi open source ..(..Omissis..) |
2006 |
INGEGNERIA INFORMATICA (NETTUNO) |
