Laura Panizo Jaime
Cited by
Cited by
The Role of Abstraction in Model Checking
MM Gallardo, P Merino, L Panizo
Analysis, Verification and Transformation for Declarative Programming and …, 2023
Evaluating video streaming over GPRS/UMTS networks: A practical case
A Diaz, P Merino, L Panizo, AM Recio
2007 IEEE 65th Vehicular Technology Conference-VTC2007-Spring, 624-628, 2007
Experimental analysis of peer-to-peer streaming in cellular networks
A Diaz, P Merino, L Panizo, AM Recio
21st International Conference on Advanced Information Networking and …, 2007
Model-based testing of apps in real network scenarios
L Panizo, A Díaz, B García
International Journal on Software Tools for Technology Transfer 22 (2), 105-114, 2020
A practical use of model checking for synthesis: generating a dam controller for flood management
MM Gallardo, P Merino, L Panizo, A Linares
Software: Practice and Experience 41 (11), 1329-1347, 2011
A survey on mobile peer-to-peer technology
A Dıaz, P Merino, L Panizo, AM Recio
Proc. XV Conference on Concurrency and Distributed Systems (JCSD’07), 59-68, 2007
QoE evaluation: the TRIANGLE testbed approach
A Díaz Zayas, L Panizo, J Baños, C Cárdenas, M Dieudonne
Wireless Communications and Mobile Computing 2018, 1-12, 2018
Extending model checkers for hybrid system verification: the case study of SPIN
MM Gallardo, L Panizo
Software Testing, Verification and Reliability 24 (6), 438-471, 2014
A formal approach to automatically analyse extra‐functional properties in mobile applications
A Rosario Espada, M del Mar Gallardo, A Salmerón, L Panizo, P Merino
Software Testing, Verification and Reliability 29 (4-5), e1699, 2019
Guided test case generation for mobile apps in the TRIANGLE project: work in progress
L Panizo, A Salmerón, MM Gallardo, P Merino
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017
EuWireless: design of a pan-European mobile network operator for research
P Merino, L Panizo, A Díaz-Zayas
Proc. of European conference on networks and communications, EuCNC2018 …, 2018
Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking
F Luque-Schempp, L Panizo, P Merino, J Rivas
IEEE Network 36 (2), 50-56, 2022
A characterisation of verification tools for software defined networks
L Lavado, L Panizo, MM Gallardo, P Merino
Journal of Reliable Intelligent Environments, 2017
A constraint-based language for modelling intelligent environments
MM Gallardo, L Lavado, L Panizo, L Titolo
Journal of Reliable Intelligent Environments, 1-25, 2017
Developing a Decision Support Tool for Dam Management with SPIN
MM Gallardo, P Merino, L Panizo, A Linares
14th International Workshop on Formal Methods for Industrial Critical …, 2009
Un estudio práctico del rendimiento del servicio de Streaming de Video sobre redes móviles GPRS/UMTS
A Díaz, P Merino, L Panizo, ÁM Recio
XVI Jornadas Telecom I + D, 2006
Dynamic Spectrum Management for European-Wide Research Network
I Harjula, L Panizo, B Valera-Muros, J Pinola, M Hoppari, A Flizikowski, ...
2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring), 1-6, 2020
How Formal Methods Can Contribute to 5G Networks.
María-del-Mar Gallardo, F Luque-Schempp, PM Gómez, L Panizo
From Software Engineering to Formal Methods and Tools, and Back, 548-571, 2019
River Basin Management with Spin
MM Gallardo, P Merino, L Panizo, A Salmerón
23rd International Symposium on Model Checking Software (SPIN 2016) 9641, 78-96, 2016
An extension of Java PathFinder for hybrid systems
L Panizo, MM Gallardo
ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012
The system can't perform the operation now. Try again later.
Articles 1–20