Laura Panizo

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 21

Top Topics

Intelligent Environments

Top Venues

Softw. Test. Verification Reliab.

Int. J. Softw. Tools Technol. Transf.

J. Reliab. Intell. Environ.

Publications

Rafael López-Gómez, Laura Panizo, María-del-Mar Gallardo
Flextory: Flexible Software Factory of IoT Data Consumers. Sensors 24 (8) (2024)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo
The Role of Abstraction in Model Checking. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
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)
Laura Panizo, María-del-Mar Gallardo
STAn: analysis of data traces using an event-driven interval temporal logic. Autom. Softw. Eng. 30 (1) (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)
George Margetis, Barbara Valera-Muros, Konstantinos C. Apostolakis, Almudena Díaz-Zayas, Laura Panizo, Pedro Tomás, Luís Cordeiro, João Henriques, Constantine Stephanidis
Validation of NFV management and orchestration on Kubernetes-based 5G testbed environment. GLOBECOM (Workshops) (2022)
Barbara Valera-Muros, Laura Panizo, Alvaro Rios, Pedro Merino Gómez
An Architecture for Creating Slices to Experiment on Wireless Networks. J. Netw. Syst. Manag. 29 (1) (2021)
Laura Panizo, Almudena Díaz, Bruno García
Model-based testing of apps in real network scenarios. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
Ilkka Harjula, Laura Panizo, Barbara Valera-Muros, Jarno Pinola, Mika Hoppari, Adam Flizikowski, Maria Safianowska
Dynamic Spectrum Management for European-Wide Research Network. VTC Spring (2020)
María-del-Mar Gallardo, Laura Panizo
Trace Analysis Using an Event-Driven Interval Temporal Logic. LOPSTR (2019)
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)
Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Laura Panizo, Pedro Merino
A formal approach to automatically analyse extra-functional properties in mobile applications. Softw. Test. Verification Reliab. 29 (4-5) (2019)
María-del-Mar Gallardo, Laura Panizo
Teaching Formal Methods: From Software in the Small to Software in the Large. FMTea (2019)
Laura Panizo, Almudena Díaz, Bruno García
An Extension of TRIANGLE Testbed with Model-Based Testing. SPIN (2018)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
Integrating river basin DSSs with model checking. Int. J. Softw. Tools Technol. Transf. 20 (5) (2018)
Almudena Díaz-Zayas, Laura Panizo, Janie Baños Polglase, Carlos Cárdenas, Michael Dieudonne
QoE Evaluation: The TRIANGLE Testbed Approach. Wirel. Commun. Mob. Comput. 2018 (2018)
Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino
Guided test case generation for mobile apps in the TRIANGLE project: work in progress. SPIN (2017)
Leticia Lavado, Laura Panizo, María-del-Mar Gallardo, Pedro Merino
A characterisation of verification tools for software defined networks. J. Reliab. Intell. Environ. 3 (3) (2017)
María-del-Mar Gallardo, Leticia Lavado, Laura Panizo
A Simulation Tool for tccp Programs. WLP / WFLP (2017)
María-del-Mar Gallardo, Leticia Lavado, Laura Panizo, Laura Titolo
A constraint-based language for modelling intelligent environments. J. Reliab. Intell. Environ. 3 (1) (2017)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
River Basin Management with Spin. SPIN (2016)
María-del-Mar Gallardo, Laura Panizo
Extending model checkers for hybrid system verification: the case study of SPIN. Softw. Test. Verification Reliab. 24 (6) (2014)
Laura Panizo, María-del-Mar Gallardo
An extension of Java PathFinder for hybrid systems. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
A practical use of model checking for synthesis: generating a dam controller for flood management. Softw. Pract. Exp. 41 (11) (2011)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
Developing a Decision Support Tool for Dam Management with SPIN. FMICS (2009)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares
Using SCADE for Decision Support in Dam Management. MSVVEIS (2009)
Almudena Díaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio
Experimental analysis of peer-to-peer streaming in cellular networks. AINA (2007)
Almudena Díaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio
Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case. VTC Spring (2007)