Dimitri Belli

According to our database, Dimitri Belli authored at least 20 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Connectivity Standards Alliance Matter: State of the art and opportunities.

Dimitri Belli, Paolo Barsocchi, Filippo Palumbo

Internet Things, April, 2024

2023

A Byzantine-Resilient Aggregation Scheme for Federated Learning via Matrix Autoregression on Client Updates.

Gabriele Tolomei, Edoardo Gabrielli, Dimitri Belli, Vittorio Miori

CoRR, 2023

The 4SECURail Case Study on Rigorous Standard Interface Specifications.

Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2022

Formal Modeling and Initial Analysis of the 4SECURail Case Study.

Franco Mazzanti, Dimitri Belli

Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022

A Case Study in Formal Analysis of System Requirements.

Dimitri Belli, Franco Mazzanti

Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022

The 4SECURail Formal Methods Demonstrator.

Franco Mazzanti, Dimitri Belli

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

ChAALenge: An Ambient Assisted Living Project to Promote an Active and Health Ageing.

Dimitri Belli, Paolo Barsocchi, Edoardo Gabrielli, Davide La Rosa, Vittorio Miori, Filippo Palumbo, Dario Russo, Gabriele Tolomei

Proceedings of the Italian Workshop on Artificial Intelligence for an Ageing Society 2022 co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine (UD), Italy, November 28th, 2022

2021

How Mobility and Sociality Reshape the Context: A Decade of Experience in Mobile CrowdSensing.

Michele Girolami, Dimitri Belli, Stefano Chessa, Luca Foschini

Sensors, 2021

2020

Edge Selection Strategies for Human-enabled Sensing Architectures.

Dimitri Belli

PhD thesis, 2020

The rhythm of the crowd: Properties of evolutionary community detection algorithms for mobile edge selection.

Dimitri Belli, Stefano Chessa, Luca Foschini, Michele Girolami

Pervasive Mob. Comput., 2020

A Probabilistic Model for the Deployment of Human-Enabled Edge Computing in Massive Sensing Scenarios.

Dimitri Belli, Stefano Chessa, Luca Foschini, Michele Girolami

IEEE Internet Things J., 2020

Optimization strategies for the selection of mobile edges in hybrid crowdsensing architectures.

Dimitri Belli, Stefano Chessa, Antonio Corradi, Luca Foschini, Michele Girolami

Comput. Commun., 2020

Impact of Evolutionary Community Detection Algorithms for Edge Selection Strategies.

Paolo Barsocchi, Stefano Chessa, Luca Foschini, Dimitri Belli, Michele Girolami

Proceedings of the IEEE Global Communications Conference, 2020

2019

Collaborative Service Discovery in Mobile Social Networks.

Michele Girolami, Dimitri Belli, Stefano Chessa

J. Netw. Syst. Manag., 2019

Toward Fog-Based Mobile Crowdsensing Systems: State of the Art and Opportunities.

Dimitri Belli, Stefano Chessa, Burak Kantarci, Luca Foschini

IEEE Commun. Mag., 2019

A Social-Driven Edge Computing Architecture for Mobile Crowd Sensing Management.

Paolo Bellavista, Dimitri Belli, Stefano Chessa, Luca Foschini

IEEE Commun. Mag., 2019

A Capacity-Aware User Recruitment Framework for Fog-Based Mobile Crowd-Sensing Platforms.

Dimitri Belli, Stefano Chessa, Burak Kantarci, Luca Foschini

Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

Selection of Mobile Edges for a Hybrid CrowdSensing Architecture.

Dimitri Belli, Stefano Chessa, Antonio Corradi, Giampiero Di Paolo, Luca Foschini, Michele Girolami

Proceedings of the 2019 IEEE Symposium on Computers and Communications, 2019

2018

A Social-Based Approach to Mobile Edge Computing.

Dimitri Belli, Stefano Chessa, Luca Foschini, Michele Girolami

Proceedings of the 2018 IEEE Symposium on Computers and Communications, 2018

Enhancing Mobile Edge Computing Architecture with Human-Driven Edge Computing Model.

Dimitri Belli, Stefano Chessa, Luca Foschini, Michele Girolami

Proceedings of the 14th International Conference on Intelligent Environments, 2018