Dimitri Belli

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 19

Top Topics

Formal Analysis

Optimization Strategies

Social Computing

Community Detection Algorithms

Top Venues

IEEE Commun. Mag.

J. Netw. Syst. Manag.

Publications

Dimitri Belli, Paolo Barsocchi, Filippo Palumbo
Connectivity Standards Alliance Matter: State of the art and opportunities. Internet Things 25 (2024)
Gabriele Tolomei, Edoardo Gabrielli, Dimitri Belli, Vittorio Miori
A Byzantine-Resilient Aggregation Scheme for Federated Learning via Matrix Autoregression on Client Updates. CoRR (2023)
Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi
The 4SECURail Case Study on Rigorous Standard Interface Specifications. FMICS (2023)
Franco Mazzanti, Dimitri Belli
Formal Modeling and Initial Analysis of the 4SECURail Case Study. MARS@ETAPS (2022)
Franco Mazzanti, Dimitri Belli
The 4SECURail Formal Methods Demonstrator. RSSRail (2022)
Dimitri Belli, Franco Mazzanti
A Case Study in Formal Analysis of System Requirements. SEFM Workshops (2022)
Dimitri Belli, Paolo Barsocchi, Edoardo Gabrielli, Davide La Rosa, Vittorio Miori, Filippo Palumbo, Dario Russo, Gabriele Tolomei
ChAALenge: An Ambient Assisted Living Project to Promote an Active and Health Ageing. AIxAS@AI*IA (2022)
Michele Girolami, Dimitri Belli, Stefano Chessa, Luca Foschini
How Mobility and Sociality Reshape the Context: A Decade of Experience in Mobile CrowdSensing. Sensors 21 (19) (2021)
Dimitri Belli, Stefano Chessa, Antonio Corradi, Luca Foschini, Michele Girolami
Optimization strategies for the selection of mobile edges in hybrid crowdsensing architectures. Comput. Commun. 157 (2020)
Paolo Barsocchi, Stefano Chessa, Luca Foschini, Dimitri Belli, Michele Girolami
Impact of Evolutionary Community Detection Algorithms for Edge Selection Strategies. GLOBECOM (2020)
Dimitri Belli, Stefano Chessa, Luca Foschini, Michele Girolami
A Probabilistic Model for the Deployment of Human-Enabled Edge Computing in Massive Sensing Scenarios. IEEE Internet Things J. 7 (3) (2020)
Dimitri Belli, Stefano Chessa, Luca Foschini, Michele Girolami
The rhythm of the crowd: Properties of evolutionary community detection algorithms for mobile edge selection. Pervasive Mob. Comput. 67 (2020)
Dimitri Belli, Stefano Chessa, Burak Kantarci, Luca Foschini
Toward Fog-Based Mobile Crowdsensing Systems: State of the Art and Opportunities. IEEE Commun. Mag. 57 (12) (2019)
Dimitri Belli, Stefano Chessa, Antonio Corradi, Giampiero Di Paolo, Luca Foschini, Michele Girolami
Selection of Mobile Edges for a Hybrid CrowdSensing Architecture. ISCC (2019)
Paolo Bellavista, Dimitri Belli, Stefano Chessa, Luca Foschini
A Social-Driven Edge Computing Architecture for Mobile Crowd Sensing Management. IEEE Commun. Mag. 57 (4) (2019)
Dimitri Belli, Stefano Chessa, Burak Kantarci, Luca Foschini
A Capacity-Aware User Recruitment Framework for Fog-Based Mobile Crowd-Sensing Platforms. ISCC (2019)
Michele Girolami, Dimitri Belli, Stefano Chessa
Collaborative Service Discovery in Mobile Social Networks. J. Netw. Syst. Manag. 27 (1) (2019)
Dimitri Belli, Stefano Chessa, Luca Foschini, Michele Girolami
Enhancing Mobile Edge Computing Architecture with Human-Driven Edge Computing Model. Intelligent Environments (2018)
Dimitri Belli, Stefano Chessa, Luca Foschini, Michele Girolami
A Social-Based Approach to Mobile Edge Computing. ISCC (2018)