Laura Panizo

33 papers B 1C 2Journal 18Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Corrigendum to "Runtime monitoring of 5G network slicing using STAn" [Journal of Logical and Algebraic Methods in Programming, 145 (2025) 101059].
J. Log. Algebraic Methods Program.
Laura Panizo, María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino
2025 J jnl
Preface to selected papers from 22nd Workshop on Programming and Languages (PROLE 2023).
J. Log. Algebraic Methods Program.
Laura Panizo
2025 J jnl
Runtime monitoring of 5G network slicing using STAn.
J. Log. Algebraic Methods Program.
Laura Panizo, María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino
2024 J jnl
A network application approach towards 5G and beyond critical communications use cases.
Frontiers Commun. Networks
Konstantinos C. Apostolakis, Barbara Valera-Muros, Nicola di Pietro, Pablo Garrido, Daniel del Teso, Manos Kamarianakis, Pedro R. Tomás, Hamzeh Khalili, Laura Panizo, Almudena Díaz-Zayas, Antonis Protopsaltis, George Margetis, Josep Mangues-Bafalluy, Manuel Requena-Esteso, Andre S. Gomes, Luís Cordeiro, George Papagiannakis, Constantine Stephanidis
2024 J jnl
Flextory: Flexible Software Factory of IoT Data Consumers.
Sensors
Rafael López-Gómez, Laura Panizo, María-del-Mar Gallardo
2023 J jnl
AutomAdapt: Zero Touch Configuration of 5G QoS Flows Extended for Time-Sensitive Networking.
IEEE Access
Francisco Luque-Schempp, Laura Panizo, María-del-Mar Gallardo, Pedro Merino
2023 J jnl
STAn: analysis of data traces using an event-driven interval temporal logic.
Autom. Softw. Eng.
Laura Panizo, María-del-Mar Gallardo
2023 — conf
The Role of Abstraction in Model Checking.
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
María-del-Mar Gallardo, Pedro Merino, Laura Panizo
2022 J jnl
Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking.
IEEE Netw.
Francisco Luque-Schempp, Laura Panizo, María-del-Mar Gallardo, Pedro Merino, Javier Rivas
2022 — conf
Validation of NFV management and orchestration on Kubernetes-based 5G testbed environment.
GLOBECOM (Workshops)
George Margetis, Barbara Valera-Muros, Konstantinos C. Apostolakis, Almudena Díaz-Zayas, Laura Panizo, Pedro R. Tomás, Luís Cordeiro, João Henriques, Constantine Stephanidis
2021 J jnl
An Architecture for Creating Slices to Experiment on Wireless Networks.
J. Netw. Syst. Manag.
Barbara Valera-Muros, Laura Panizo, Alvaro Rios, Pedro Merino Gómez
2020 — conf
Dynamic Spectrum Management for European-Wide Research Network.
VTC Spring
Ilkka Harjula, Laura Panizo, Barbara Valera-Muros, Jarno Pinola, Mika Hoppari, Adam Flizikowski, Maria B. Safianowska
2020 J jnl
Model-based testing of apps in real network scenarios.
Int. J. Softw. Tools Technol. Transf.
Laura Panizo, Almudena Díaz, Bruno García
2019 J jnl
A formal approach to automatically analyse extra-functional properties in mobile applications.
Softw. Test. Verification Reliab.
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Laura Panizo, Pedro Merino
2019 — conf
How Formal Methods Can Contribute to 5G Networks.
From Software Engineering to Formal Methods and Tools, and Back
María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino Gómez, Laura Panizo
2019 — conf
Teaching Formal Methods: From Software in the Small to Software in the Large.
FMTea
María-del-Mar Gallardo, Laura Panizo
2019 C conf
Trace Analysis Using an Event-Driven Interval Temporal Logic.
LOPSTR
María-del-Mar Gallardo, Laura Panizo
2018 — conf
An Extension of TRIANGLE Testbed with Model-Based Testing.
SPIN
Laura Panizo, Almudena Díaz, Bruno García
2018 J jnl
Integrating river basin DSSs with model checking.
Int. J. Softw. Tools Technol. Transf.
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
2018 J jnl
QoE Evaluation: The TRIANGLE Testbed Approach.
Wirel. Commun. Mob. Comput.
Almudena Díaz-Zayas, Laura Panizo, Janie Baños Polglase, Carlos Cárdenas, Michael Dieudonne
2017 — conf
A Simulation Tool for tccp Programs.
WLP / WFLP
María-del-Mar Gallardo, Leticia Lavado, Laura Panizo
2017 J jnl
A characterisation of verification tools for software defined networks.
J. Reliab. Intell. Environ.
Leticia Lavado, Laura Panizo, María-del-Mar Gallardo, Pedro Merino
2017 J jnl
A constraint-based language for modelling intelligent environments.
J. Reliab. Intell. Environ.
María-del-Mar Gallardo, Leticia Lavado, Laura Panizo, Laura Titolo
2017 — conf
Guided test case generation for mobile apps in the TRIANGLE project: work in progress.
SPIN
Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino
2016 — conf
River Basin Management with Spin.
SPIN
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
2014 J jnl
Extending model checkers for hybrid system verification: the case study of SPIN.
Softw. Test. Verification Reliab.
María-del-Mar Gallardo, Laura Panizo
2012 J jnl
An extension of Java PathFinder for hybrid systems.
ACM SIGSOFT Softw. Eng. Notes
Laura Panizo, María-del-Mar Gallardo
2011 J jnl
A practical use of model checking for synthesis: generating a dam controller for flood management.
Softw. Pract. Exp.
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
2010 — ch.
Communication Software: Design and Testing.
Encyclopedia of Software Engineering
José M. Alvarez, Pedro Merino, Laura Panizo, Francisco C. Perez, Andrés Sanz
2009 C conf
Developing a Decision Support Tool for Dam Management with SPIN.
FMICS
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
2009 — conf
Using SCADE for Decision Support in Dam Management.
MSVVEIS
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
2007 — conf
Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case.
VTC Spring
Almudena Díaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio
2007 B conf
Experimental analysis of peer-to-peer streaming in cellular networks.
AINA
Almudena Díaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio