Laura Panizo

According to our database, Laura Panizo authored at least 28 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

STAn: analysis of data traces using an event-driven interval temporal logic.

Laura Panizo, María-del-Mar Gallardo

Autom. Softw. Eng., 2023

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

IEEE Access, 2023

The Role of Abstraction in Model Checking.

María-del-Mar Gallardo, Pedro Merino, Laura Panizo

Proceedings of the Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 2023

2022

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, Javier Rivas

IEEE Netw., 2022

Validation of NFV management and orchestration on Kubernetes-based 5G testbed environment.

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

Proceedings of the IEEE Globecom 2022 Workshops, 2022

2021

An Architecture for Creating Slices to Experiment on Wireless Networks.

Barbara Valera-Muros, Laura Panizo, Alvaro Rios, Pedro Merino Gómez

J. Netw. Syst. Manag., 2021

2020

Model-based testing of apps in real network scenarios.

Laura Panizo, Almudena Díaz, Bruno García

Int. J. Softw. Tools Technol. Transf., 2020

Dynamic Spectrum Management for European-Wide Research Network.

Ilkka Harjula, Laura Panizo, Barbara Valera-Muros, Jarno Pinola, Mika Hoppari, Adam Flizikowski, Maria B. Safianowska

Proceedings of the 91st IEEE Vehicular Technology Conference, 2020

2019

A formal approach to automatically analyse extra-functional properties in mobile applications.

Ana Rosario Espada, María-del-Mar Gallardo, Alberto Salmerón, Laura Panizo, Pedro Merino

Softw. Test. Verification Reliab., 2019

Teaching Formal Methods: From Software in the Small to Software in the Large.

María-del-Mar Gallardo, Laura Panizo

Proceedings of the Formal Methods Teaching - Third International Workshop and Tutorial, 2019

Trace Analysis Using an Event-Driven Interval Temporal Logic.

María-del-Mar Gallardo, Laura Panizo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

How Formal Methods Can Contribute to 5G Networks.

María-del-Mar Gallardo, Francisco Luque-Schempp, Pedro Merino Gómez, Laura Panizo

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

QoE Evaluation: The TRIANGLE Testbed Approach.

Almudena Díaz-Zayas, Laura Panizo, Janie Baños Polglase, Carlos Cárdenas, Michael Dieudonne

Wirel. Commun. Mob. Comput., 2018

Integrating river basin DSSs with model checking.

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón

Int. J. Softw. Tools Technol. Transf., 2018

An Extension of TRIANGLE Testbed with Model-Based Testing.

Laura Panizo, Almudena Díaz, Bruno García

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2017

A characterisation of verification tools for software defined networks.

Leticia Lavado, Laura Panizo, María-del-Mar Gallardo, Pedro Merino

J. Reliab. Intell. Environ., 2017

A constraint-based language for modelling intelligent environments.

María-del-Mar Gallardo, Leticia Lavado, Laura Panizo, Laura Titolo

J. Reliab. Intell. Environ., 2017

A Simulation Tool for tccp Programs.

María-del-Mar Gallardo, Leticia Lavado, Laura Panizo

Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017

Guided test case generation for mobile apps in the TRIANGLE project: work in progress.

Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

2016

River Basin Management with Spin.

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

2014

Extending model checkers for hybrid system verification: the case study of SPIN.

María-del-Mar Gallardo, Laura Panizo

Softw. Test. Verification Reliab., 2014

2012

An extension of Java PathFinder for hybrid systems.

Laura Panizo, María-del-Mar Gallardo

ACM SIGSOFT Softw. Eng. Notes, 2012

2011

A practical use of model checking for synthesis: generating a dam controller for flood management.

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares

Softw. Pract. Exp., 2011

2010

Communication Software: Design and Testing.

José M. Alvarez, Pedro Merino, Laura Panizo, Francisco C. Perez, Andrés Sanz

Proceedings of the Encyclopedia of Software Engineering, 2010

2009

Using SCADE for Decision Support in Dam Management.

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares

Proceedings of the Modelling, 2009

Developing a Decision Support Tool for Dam Management with SPIN.

María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2007

Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case.

Almudena Díaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio

Proceedings of the 65th IEEE Vehicular Technology Conference, 2007

Experimental analysis of peer-to-peer streaming in cellular networks.

Almudena Díaz-Zayas, Pedro Merino, Laura Panizo, Alvaro M. Recio

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007