E-LIB Suche - Ergebnisse für: Gallardo, María-del-Mar

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

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/..

3

Verification of a multi-connectivity protocol for Tactile I..:

Rico, Delia ; Gallardo, María-del-Mar ; Merino, Pedro
Computer Communications. 212 (2023) - p. 390-406 , 2023

Link: https://doi.org/10.1016/..

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

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/..

6

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/..

7

Modeling and verification of the Multi-connection Tactile I..:

, In: Proceedings of the 17th ACM Symposium on QoS and Security for Wireless and Mobile Networks,

Rico, Delia ; Gallardo, Maria-del-Mar ; Merino, Pedro - p. 105-114 , 2021

Link: https://dl.acm.org/doi/1..

8

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/..

9

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/..

10

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/..

11

A constraint-based language for modelling intelligent envir..:

Gallardo, María-del-Mar ; Lavado, Leticia ; Panizo, Laura.
Journal of Reliable Intelligent Environments. 3 (2017) 1 - p. 55-79 , 2017

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

12

A program analysis framework fortccpbased on abstract inter..:

Comini, Marco ; Gallardo, María-del-Mar ; Titolo, Laura.
Formal Aspects of Computing. 29 (2017) 3 - p. 531-557 , 2017

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

13

A characterisation of verification tools for software defin..:

Lavado, Leticia ; Panizo, Laura ; Gallardo, María-del-Mar.
Journal of Reliable Intelligent Environments. 3 (2017) 3 - p. 189-207 , 2017

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

14

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

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

Panizo, Laura ; Salmerón, Alberto ; Gallardo, María-del-Mar. - p. 192-195 , 2017

Link: https://dl.acm.org/doi/1..

15

An extension of the ns simulator for active network researc:

Rodríguez, Guillermo ; Merino, Pedro ; Gallardo, María-del-Mar
Computer Communications. 25 (2002) 3 - p. 189-197 , 2002

Link: https://doi.org/10.1016/..