Items where authors include "Sevegnani, Michele"
![[up]](/style/images/multi_up.png)
Up a levelProceedings Paper
Metere, Roberto orcid.org/0000-0001-6992-4285, Ye, Kangfeng, Gu, Yue et al. (4 more authors) (2025) Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification. In: Czekster, Ricardo and Milazzo, Paolo, (eds.) 12th International Symposium FROM DATA TO MODELS AND BACK (DATAMOD 2024). 12th International Symposium FROM DATA TO MODELS AND BACK (DataMod2024), 04-05 Nov 2024. Lecture Notes in Computer Science . Springer , PRT , pp. 137-157.
Preprint
Metere, Roberto orcid.org/0000-0001-6992-4285, Ye, Kangfeng, Gu, Yue et al. (4 more authors) (2024) Towards Achieving Energy Efficiency and Service Availability in O-RAN via Formal Verification. [Preprint]