E-LIB Suche - Ergebnisse für: Panizo, Laura

1

Flextory: Flexible Software Factory of IoT Data Consumers:

López-Gómez, Rafael ; Panizo, Laura ; Gallardo, María-del-Mar
Sensors. 24 (2024) 8 - p. 2550 , 2024

2

A network application approach towards 5G and beyond critic..:

Apostolakis, Konstantinos C. ; Valera-Muros, Barbara ; di Pietro, Nicola...
Frontiers in Communications and Networks. 5 (2024) - p. , 2024

Link: https://doi.org/10.3389/..

3

The Role of Abstraction in Model Checking:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,

Gallardo, María-del-Mar ; Merino, Pedro ; Panizo, Laura - p. 151-169 , 2023

Link: https://doi.org/10.1007/..

4

AutomAdapt: Zero Touch Configuration of 5G QoS Flows Extend..:

Luque-Schempp, Francisco ; Panizo, Laura ; Gallardo, María-Del-Mar.
IEEE Access. 11 (2023) - p. 82960-82977 , 2023

Link: https://doi.org/10.1109/..

5

Validation of NFV management and orchestration on Kubernete..:

, In: 2022 IEEE Globecom Workshops (GC Wkshps),

Margetis, George ; Valera-Muros, Barbara ; Apostolakis, Konstantinos C.... - p. 844-849 , 2022

Link: https://doi.org/10.1109/..

6

Toward Zero Touch Configuration of 5G Non-Public Networks f..:

Luque-Schempp, Francisco ; Panizo, Laura ; Gallardo, Maria-del-Mar..
IEEE Network. 36 (2022) 2 - p. 50-56 , 2022

Link: https://doi.org/10.1109/..

7

STAn: analysis of data traces using an event-driven interva..:

Panizo, Laura ; Gallardo, María-del-Mar
Automated Software Engineering. 30 (2022) 1 - p. , 2022

Link: https://doi.org/10.1007/..

8

An Architecture for Creating Slices to Experiment on Wirele..:

Valera-Muros, Barbara ; Panizo, Laura ; Rios, Alvaro.
Journal of Network and Systems Management. 29 (2020) 1 - p. , 2020

Link: https://doi.org/10.1007/..

9

Dynamic Spectrum Management for European-Wide Research Netw..:

, In: 2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring),

Harjula, Ilkka ; Panizo, Laura ; Valera-Muros, Barbara... - p. 1-6 , 2020

Link: https://doi.org/10.1109/..

10

Trace Analysis Using an Event-Driven Interval Temporal Logi:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Gallardo, María-del-Mar ; Panizo, Laura - p. 177-192 , 2020

Link: https://doi.org/10.1007/..

11

How Formal Methods Can Contribute to 5G Networks:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,

Gallardo, María-del-Mar ; Luque-Schempp, Francisco ; Merino-Gómez, Pedro. - p. 548-571 , 2019

Link: https://doi.org/10.1007/..

12

Model-based testing of apps in real network scenarios:

Panizo, Laura ; Díaz, Almudena ; García, Bruno
International Journal on Software Tools for Technology Transfer. 22 (2019) 2 - p. 105-114 , 2019

Link: https://doi.org/10.1007/..

13

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

, In: Formal Methods Teaching; Lecture Notes in Computer Science,

Gallardo, María-del-Mar ; Panizo, Laura - p. 97-110 , 2019

Link: https://doi.org/10.1007/..

14

A formal approach to automatically analyse extra‐functional..:

Rosario Espada, Ana ; del Mar Gallardo, Maria ; Salmerón, Alberto..
Software Testing, Verification and Reliability. 29 (2019) 4-5 - p. , 2019

Link: https://doi.org/10.1002/..

15

QoE Evaluation: The TRIANGLE Testbed Approach:

Díaz Zayas, Almudena ; Panizo, Laura ; Baños, Janie..
Wireless Communications and Mobile Computing. 2018 (2018) - p. 1-12 , 2018

Link: https://doi.org/10.1155/..