Experimental analysis of peer-to-peer streaming in cellular networks. - Almudena Díaz-Zayas; Pedro Merino 001; Laura Panizo; Alvaro M. Recio (AINA, 2007)

Evaluating Video Streaming Over GPRS/UMTS Networks: A Practical Case. - Almudena Díaz-Zayas; Pedro Merino 001; Laura Panizo; Alvaro M. Recio (VTC Spring, 2007)

Developing a Decision Support Tool for Dam Management with SPIN. - María-del-Mar Gallardo; Pedro Merino 001; Laura Panizo; Antonio Linares (FMICS, 2009)

Using SCADE for Decision Support in Dam Management. - María-del-Mar Gallardo; Pedro Merino 001; Laura Panizo; Antonio Linares (MSVVEIS, 2009)

Communication Software: Design and Testing. - José M. Alvarez; Pedro Merino 001; Laura Panizo; Francisco C. Perez; Andrés Sanz (Encyclopedia of Software Engineering, 2010)

A practical use of model checking for synthesis: generating a dam controller for flood management. - María-del-Mar Gallardo; Pedro Merino 001; Laura Panizo; Antonio Linares (Softw. Pract. Exp., 2011)

An extension of Java PathFinder for hybrid systems. - Laura Panizo; María-del-Mar Gallardo (ACM SIGSOFT Softw. Eng. Notes, 2012)

Extending model checkers for hybrid system verification: the case study of SPIN. - María-del-Mar Gallardo; Laura Panizo (Softw. Test. Verification Reliab., 2014)

River Basin Management with Spin. - María-del-Mar Gallardo; Pedro Merino 001; Laura Panizo; Alberto Salmerón (SPIN, 2016)

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 001 (SPIN, 2017)

A Simulation Tool for tccp Programs. - María-del-Mar Gallardo; Leticia Lavado; Laura Panizo (WLP / WFLP, 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 characterisation of verification tools for software defined networks. - Leticia Lavado; Laura Panizo; María-del-Mar Gallardo; Pedro Merino 001 (J. Reliab. Intell. Environ., 2017)

An Extension of TRIANGLE Testbed with Model-Based Testing. - Laura Panizo; Almudena Díaz; Bruno García (SPIN, 2018)

Integrating river basin DSSs with model checking. - María-del-Mar Gallardo; Pedro Merino 001; Laura Panizo; Alberto Salmerón (Int. J. Softw. Tools Technol. Transf., 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)

How Formal Methods Can Contribute to 5G Networks. - María-del-Mar Gallardo; Francisco Luque-Schempp; Pedro Merino Gómez; Laura Panizo (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Trace Analysis Using an Event-Driven Interval Temporal Logic. - María-del-Mar Gallardo; Laura Panizo (LOPSTR, 2019)

Teaching Formal Methods: From Software in the Small to Software in the Large. - María-del-Mar Gallardo; Laura Panizo (FMTea, 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 001 (Softw. Test. Verification Reliab., 2019)

Dynamic Spectrum Management for European-Wide Research Network. - Ilkka Harjula; Laura Panizo; Barbara Valera-Muros; Jarno Pinola; Mika Hoppari; Adam Flizikowski; Maria B. Safianowska (VTC Spring, 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)

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)

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 R. Tomás; Luís Cordeiro; João Henriques; Constantine Stephanidis (GLOBECOM (Workshops), 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 001; Javier Rivas (IEEE Netw., 2022)

The Role of Abstraction in Model Checking. - María-del-Mar Gallardo; Pedro Merino 001; Laura Panizo (Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 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 001 (IEEE Access, 2023)

STAn: analysis of data traces using an event-driven interval temporal logic. - Laura Panizo; María-del-Mar Gallardo (Autom. Softw. Eng., 2023)

A network application approach towards 5G and beyond critical communications use cases. - Konstantinos C. Apostolakis; Barbara Valera-Muros; Nicola di Pietro; Pablo Garrido 002; Daniel del Teso; Manos Kamarianakis; Pedro R. Tomás; Hamzeh Khalili; Laura Panizo; Almudena Díaz-Zayas; Antonis Protopsaltis; George Margetis; et al. (Frontiers Commun. Networks, 2024)

Flextory: Flexible Software Factory of IoT Data Consumers. - Rafael López-Gómez; Laura Panizo; María-del-Mar Gallardo (Sensors, 2024)

Preface to selected papers from 22nd Workshop on Programming and Languages (PROLE 2023). - Laura Panizo (J. Log. Algebraic Methods Program., 2025)

Runtime monitoring of 5G network slicing using STAn. - Laura Panizo; María-del-Mar Gallardo; Francisco Luque-Schempp; Pedro Merino 001 (J. Log. Algebraic Methods Program., 2025)

Corrigendum to "Runtime monitoring of 5G network slicing using STAn" [Journal of Logical and Algebraic Methods in Programming, 145 (2025) 101059]. - Laura Panizo; María-del-Mar Gallardo; Francisco Luque-Schempp; Pedro Merino 001 (J. Log. Algebraic Methods Program., 2025)