How Formal Methods Can Contribute to 5G Networks. - María-del-Mar Gallardo; Francisco Luque-Schempp; Pedro Merino Gómez; Laura Panizo (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking. - Francisco Luque-Schempp; Laura Panizo; María-del-Mar Gallardo; Pedro Merino 001; Javier Rivas (IEEE Netw., 2022)

AutomAdapt: Zero Touch Configuration of 5G QoS Flows Extended for Time-Sensitive Networking. - Francisco Luque-Schempp; Laura Panizo; María-del-Mar Gallardo; Pedro Merino 001 (IEEE Access, 2023)

Reproducible Key Performance Indicator (KPI) Measurement Experiments in 6G Networks Under Mobility Conditions. - Javier Otero-Mosquera; Alicia Meleiro-Estévez; Pablo Fondo-Ferreiro; Francisco Luque-Schempp; Felipe J. Gil-Castiñeira; Pedro Merino 001 (EuCNC/6G Summit, 2025)

Runtime monitoring of 5G network slicing using STAn. - Laura Panizo; María-del-Mar Gallardo; Francisco Luque-Schempp; Pedro Merino 001 (J. Log. Algebraic Methods Program., 2025)

Corrigendum to "Runtime monitoring of 5G network slicing using STAn" [Journal of Logical and Algebraic Methods in Programming, 145 (2025) 101059]. - Laura Panizo; María-del-Mar Gallardo; Francisco Luque-Schempp; Pedro Merino 001 (J. Log. Algebraic Methods Program., 2025)