CNR Institutional Research Information System

BELLI, DIMITRI

BELLI, DIMITRI  

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI  

Mostra records
Risultati 1 - 20 di 22 (tempo di esecuzione: 0.051 secondi).
Titolo Data di pubblicazione Autore(i) File
A Byzantine-Resilient Aggregation Scheme for Federated Learning via Matrix Autoregression on Client Updates 1-gen-2023 Gabriele Tolomei; Edoardo Gabrielli; Dimitri Belli; Vittorio Miori
A case study in formal analysis of system requirements 1-gen-2023 Belli, D; Mazzanti, F
ChAALenge D6.3 - Integrazione in laboratorio e analisi delle prestazioni 1-gen-2023 Bacco, F. M.; Baronti, P.; Barsocchi, P.; Belli, D.; Crivello, A.; Furfari, F.; Girolami, M.; La Rosa, D.; Mavilia, F.; Miori, V.; Palumbo, F.; Potorti', F.; Russo, D.
Connectivity standards alliance matter: state of the art and opportunities 1-gen-2023 Belli, D; Barsocchi, P; Palumbo, F
Sviluppo di applicazioni interattive per insegnare la chimica nelle scuole secondarie di I grado 1-gen-2023 Belli, Dimitri; Domenici, Valentina; Lischi, Guglielmo; Milazzo, Paolo; Pardini, Giovanni
The 4SECURail case study on rigorous standard interface specifications 1-gen-2023 Belli, D; Fantechi, A; Gnesi, S; Masullo, L; Mazzanti, F; Quadrini, L; Trentini, D; Vaghi, C
ChAALenge - D6.1: Analisi delle peculiarità di salute della popolazione anziana e definizione requisiti tecnici 1-gen-2022 Miori, V.; Belli, D.; Bacco M, F.; Baronti, P.; Barsocchi, P.; Crivello, A.; Furfari, F.; Girolami, M.; La Rosa, D.; Mavilia, F.; Palumbo, F.; Pillitteri, L.; Potorti', F.; Russo, D.
ChAALenge - D6.2: Progettazione architettura e definizione delle modalità di integrazione delle macrofunzionalità nel framework (intermedio) 1-gen-2022 Bacco, F. M.; Baronti, P.; Barsocchi, P.; Crivello, A.; Furfari, F.; Girolami, M.; La Rosa, D.; Mavilia, F.; Miori, V.; Palumbo, F.; Pillitteri, L.; Potorti', F.; Russo, D.; Belli, D.
ChAALenge D5.2 - Documento di definizione degli algoritmi di Machine Learning e Deep Learning 1-gen-2022 Miori, V.; Belli, D.; Bacco, F. M.; Baronti, P.; Barsocchi, P.; Crivello, A.; Furfari, F.; Girolami, M.; La Rosa, D.; Mavilia, F.; Palumbo, F.; Pillitteri, L.; Potorti', F.; Russo, D.
ChAALenge: an ambient assisted living project to promote an active and health ageing 1-gen-2022 Barsocchi P.; Belli D.; Gabrielli E.; La Rosa D.; Miori V.; Palumbo F.; Russo D.; Tolomei G.
Formal modeling and initial analysis of the 4SECURail case study 1-gen-2022 Mazzanti F.; Belli D.
Multivariate time series dataset generator 1-gen-2022 Belli, D; Miori, V
Progettazione architettura e definizione delle modalità di integrazione delle macro-funzionalità nel framework 1-gen-2022 Bacco, F. M.; Baronti, P.; Barsocchi, P.; Belli, D.; Crivello, A.; Furfari, F.; Girolami, M.; La Rosa, D.; Mavilia, F.; Miori, V.; Palumbo, F.; Pillitteri, L.; Potorti', F.; Russo, D.
The 4SECURail approach to formalizing standard interfaces between signalling systems components 1-gen-2022 Belli, D; Fantechi, A; Gnesi, S; Masullo, L; Mazzanti, F; Pistilli, G; Quadrini, L; Trentini, D; Vaghi, C
The 4SECURail formal methods demonstrator 1-gen-2022 Mazzanti F.; Belli D.
4SECURail - Formal development demonstrator prototype, final release 1-gen-2021 Mazzanti, F; Belli, D
4SECURail - Revised requirements of the 4SECURail case study 1-gen-2021 Mazzanti F.; Belli D.
4SECURail - Technical Informative Note 15 - Progress Report: Formal development Demonstrator Prototype 1-gen-2021 Mazzanti F.; Belli D.
Formal models of the SAI/CSL system of the 4SECURail case study 1-gen-2021 Mazzanti, F; Belli, D
How mobility and sociality reshape the context: a decade of experience in mobile crowdsensing 1-gen-2021 Girolami M.; Belli D.; Chessa S.; Foschini L.