Francisco Luque-Schempp

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Network Structure

Provably Correct

Top Venues

From Software Engineering to Formal Methods and Tools, and Back

Publications

Francisco Luque-Schempp, Laura Panizo, María-del-Mar Gallardo, Pedro Merino
AutomAdapt: Zero Touch Configuration of 5G QoS Flows Extended for Time-Sensitive Networking. IEEE Access 11 (2023)
Francisco Luque-Schempp, Laura Panizo, María-del-Mar Gallardo, Pedro Merino, Javier Rivas
Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking. IEEE Netw. 36 (2) (2022)
María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino Gómez, Laura Panizo
How Formal Methods Can Contribute to 5G Networks. From Software Engineering to Formal Methods and Tools, and Back (2019)