Folgen
Laura Panizo Jaime
Laura Panizo Jaime
Bestätigte E-Mail-Adresse bei uma.es - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
192007
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
172007
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
152020
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
142011
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), 6202854, 2018
122018
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
122007
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
112022
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
112017
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
112014
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
92019
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
7*2018
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
72009
A constraint-based language for modelling intelligent environments
MM Gallardo, L Lavado, L Panizo, L Titolo
Journal of Reliable Intelligent Environments, 1-25, 2017
62017
AutomAdapt: Zero Touch Configuration of 5G QoS Flows extended for Time-Sensitive Networking
F Luque-Schempp, L Panizo, MM Gallardo, P Merino
IEEE Access, 2023
52023
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
52020
A characterisation of verification tools for software defined networks
L Lavado, L Panizo, MM Gallardo, P Merino
Journal of Reliable Intelligent Environments, 2017
52017
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
52016
An extension of Java PathFinder for hybrid systems
L Panizo, MM Gallardo
ACM SIGSOFT Software Engineering Notes 37 (6), 1-5, 2012
52012
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
5*2006
An architecture for creating slices to experiment on wireless networks
B Valera-Muros, L Panizo, A Rios, P Merino-Gomez
Journal of Network and Systems Management 29, 1-28, 2021
42021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20