Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification

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.

Abstract

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Editors:
  • Czekster, Ricardo
  • Milazzo, Paolo
Copyright, Publisher and Additional Information:

© 2025 The Author(s), under exclusive license to Springer Nature Switzerland AG. This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy.

Dates:
  • Accepted: 7 October 2024
  • Published: 19 April 2025
Institution: The University of York
Academic Units: The University of York > Faculty of Sciences (York) > Computer Science (York)
Funding Information:
Funder
Grant number
EPSRC
EP/X040518/1
EPSRC
EP/Y019229/1
Depositing User: Pure (York)
Date Deposited: 30 Apr 2025 13:10
Last Modified: 30 Apr 2025 13:10
Published Version: https://doi.org/10.1007/978-3-031-87908-1_9
Status: Published
Publisher: Springer
Series Name: Lecture Notes in Computer Science
Identification Number: 10.1007/978-3-031-87908-1_9
Open Archives Initiative ID (OAI ID):

Download

Filename: DataMod2024_-_Towards_Achieving_Energy_Efficiency_and_Service_Availability_in_6G_O-RAN_via_Formal_Verification.pdf

Description: DataMod2024 - Towards Achieving Energy Efficiency and Service Availability in 6G O-RAN via Formal Verification

Export

Statistics