EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. - Pedro Merino 001; José M. Troya (CAV, 1996)

Modelling and verification of the MCS layer with Spin. - Pedro Merino 001; José María Troya Linero (The Spin Verification System, 1996)

A Methodology for Task Based Partitioning and Scheduling of Dynamically Reconfigurable Systems. - Pedro Merino 001; Margarida F. Jacome; Juan Carlos López 001 (FCCM, 1998)

A Hardwar Operating System for Dynamic Reconfiguration of FPGAs. - Pedro Merino 001; Juan Carlos López 001; Margarida F. Jacome (FPL, 1998)

A Framework for Automatic Construction of Abstract Promela Models. - María-del-Mar Gallardo; Pedro Merino 001 (SPIN, 1999)

Verifying Distributed Systems with Model Checking and Static Analysis. - María-del-Mar Gallardo; Pedro Merino 001 (ICDCS Workshop on Distributed System Validation and Verification, 2000)

Modelling and Simulation of Active Network Protocols. - Guillermo Rodríguez; Pedro Merino 001 (ICDCS Workshop on Internet, 2000)

Using XML to implement abstraction for Model Checking. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Estefanía Rosales (SAC, 2002)

Refinement of LTL Formulas for Abstract Model Checking. - María-del-Mar Gallardo; Pedro Merino 001; Ernesto Pimentel 001 (SAS, 2002)

alpha SPIN: Extending SPIN with Abstraction. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Ernesto Pimentel 001 (SPIN, 2002)

An extension of the ns simulator for active network research. - Guillermo Rodríguez; Pedro Merino 001; María-del-Mar Gallardo (Comput. Commun., 2002)

A Tool for Abstraction in Model Checking. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Ernesto Pimentel 001 (FMICS, 2002)

Comparing Under and Over-Approximations of LTL Properties for Model Checking. - María-del-Mar Gallardo; Pedro Merino 001; Ernesto Pimentel 001 (WFLP, 2002)

Debugging UML Designs with Model Checking. - María-del-Mar Gallardo; Pedro Merino 001; Ernesto Pimentel 001 (J. Object Technol., 2002)

Abstract Model Checking and Refinement of Temporal Logic in aSPIN. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Ernesto Pimentel 001 (ACSD, 2003)

Applying Data Abstraction to XML Formal Designs. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Ernesto Pimentel 001 (SNPD, 2003)

Integration of Reliability and Performance Analyses for Active Network Services. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Guillermo Rodríguez (FMICS, 2004)

A generalized semantics of PROMELA for abstract model checking. - María-del-Mar Gallardo; Pedro Merino 001; Ernesto Pimentel 001 (Formal Aspects Comput., 2004)

aSPIN: A tool for abstract model checking. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Ernesto Pimentel 001 (Int. J. Softw. Tools Technol. Transf., 2004)

Model checking software with well-defined APIs: the socket case. - Pedro de la Cámara; María-del-Mar Gallardo; Pedro Merino 001; David Sanán (FMICS, 2005)

Model checking active networks with SPIN. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001 (Comput. Commun., 2005)

Performance Monitoring and Analysis of Wireless Communication Protocols for Mobile Devices. - Almudena Díaz; Pedro Merino 001; F. Javier Rivas (ICUC, 2006)

An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. - José M. Alvarez; Pedro de la Cámara; Jesús Martínez; Pedro Merino 001; Francisco C. Perez; Victoria Morillo (ISoLA, 2006)

Implementing Influence Analysis Using Parameterised Boolean Equation Systems. - María-del-Mar Gallardo; Christophe Joubert; Pedro Merino 001 (ISoLA, 2006)

x-AppMonitor μAgent: a tool for QoS measurements in cellular networks. - Almudena Díaz; Pedro Merino 001; Alejandro Gil; Javier Muñoz (ISWCS, 2006)

Abstract Matching for Software Model Checking. - Pedro de la Cámara; María-del-Mar Gallardo; Pedro Merino 001 (SPIN, 2006)

Towards Model Checking C Code with OPEN/CÆSAR. - María-del-Mar Gallardo; Pedro Merino 001; David Sanán (MSVVEIS, 2006)

Static Analysis using Parameterised Boolean Equation Systems - María-del-Mar Gallardo; Christophe Joubert; Pedro Merino 001 (CoRR, 2006)

On the Evolution of reliability Methods for Critical Software. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Ernesto Pimentel 001 (Trans. SDPS, 2006)

Mobile and Ubiquitous Objects. - Anthony D. Joseph; Almudena Díaz; Pedro Merino 001; F. Javier Rivas; Umakanth P. Kulkarni; J. V. Vadavi; G. S. Thyagaraju; S. M. Joshi; Anil R. Yardi (IEEE Pervasive Comput., 2006)

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

Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. - Jesús Martínez; Pedro Merino 001; Alberto Salmerón (CISIS, 2007)

On-the-fly model checking for C programs with extended CADP in FMICS-jETI. - María-del-Mar Gallardo; Pedro Merino 001; Christophe Joubert; David Sanán (ICECCS, 2007)

Model Extraction for ARINC 653 Based Avionics Software. - Pedro de la Cámara; María-del-Mar Gallardo; Pedro Merino 001 (SPIN, 2007)

C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. - María-del-Mar Gallardo; Christophe Joubert; Pedro Merino 001; David Sanán (SPIN, 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)

Extending CADP for Analyzing C Code. - María-del-Mar Gallardo; Pedro Merino 001; David Sanán (MSVVEIS, 2007)

On-the-Fly Data Flow Analysis Based on Verification Technology. - María-del-Mar Gallardo; Christophe Joubert; Pedro Merino 001 (COCV@ETAPS, 2007)

PiXL: Applying xml standards to support the integration of analysis tools for protocols. - María-del-Mar Gallardo; Jesús Martínez; Pedro Merino 001; Pablo Núñez; Ernesto Pimentel 001 (Sci. Comput. Program., 2007)

Model Checking C Programs with Dynamic Memory Allocation. - María-del-Mar Gallardo; Pedro Merino 001; David Sanán (COMPSAC, 2008)

Towards a lightweight middleware for mobile multimedia communication awareness. - Almudena Díaz; Pedro Merino 001 (MobiMedia, 2008)

Web Services for Accessing Explicit State Space Verification Tools. - María-del-Mar Gallardo; Christophe Joubert; Pedro Merino 001; David Sanán (ERCIM News, 2008)

Introduction to the Special Theme "Safety-Critical Software". - Pedro Merino 001; Erwin Schoitsch (ERCIM News, 2008)

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

SymPa: a measurement tool for evaluating the performance of IP services in mobile networks. - Almudena Díaz-Zayas; Pedro Merino Gómez (Q2SWinet, 2009)

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

Testing Mobile Data Applications on Smartphones with SymPA. - Almudena Díaz; Pedro Merino 001 (ERCIM News, 2009)

Model Checking Dynamic Memory Allocation in Operating Systems. - María-del-Mar Gallardo; Pedro Merino 001; David Sanán (J. Autom. Reason., 2009)

UML-Based Model-Driven Development for HSDPA Design. - Jesús Martínez; Pedro Merino 001; Alberto Salmerón; Francisco Malpartida (IEEE Softw., 2009)

Checking the reliability of socket based communication software. - Pedro de la Cámara; María-del-Mar Gallardo; Pedro Merino 001; David Sanán (Int. J. Softw. Tools Technol. Transf., 2009)

Evaluation of Handover Implementations in Commercial GPRS/UMTS/HSDPA Networks. - Almudena Díaz-Zayas; Pedro Merino Gómez (GLOBECOM, 2010)

Combining SPIN with ns-2 for Protocol Optimization. - Pedro Merino 001; Alberto Salmerón (SPIN, 2010)

QoS analysis of video streaming service in live cellular networks. - Almudena Díaz; Pedro Merino 001; F. Javier Rivas (Comput. Commun., 2010)

A Testbed for Energy Profile Characterization of IP Services in Smartphones over Live Networks. - Almudena Díaz-Zayas; Pedro Merino Gómez (Mob. Networks Appl., 2010)

Mobile Application Profiling for Connected Mobile Devices. - Almudena Díaz; Pedro Merino 001; F. Javier Rivas (IEEE Pervasive Comput., 2010)

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

Testing and Profiling Internet Services in Mobile Devices. - Almudena Díaz-Zayas; Pedro Merino Gómez (ServiceWave, 2011)

Obtaining Models for Realistic Mobile Network Simulations using Real Traces. - Almudena Díaz; Pedro Merino 001; Alberto Salmerón (IEEE Commun. Lett., 2011)

Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). - Darren D. Cofer; Alessandro Fantechi; Stefan Leue; Pedro Merino 001 (Sci. Comput. Program., 2011)

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)

Verification support for ARINC-653-based avionics software. - Pedro de la Cámara; J. Raúl Castro; María-del-Mar Gallardo; Pedro Merino 001 (Softw. Test. Verification Reliab., 2011)

Mobile application profiling with TestelDroid. - Andres Alvarez; Almudena Díaz; Pedro Merino 001; F. Javier Rivas (CCNC, 2012)

Field measurements of mobile services with Android smartphones. - Andres Alvarez; Almudena Díaz; Pedro Merino 001; F. Javier Rivas (CCNC, 2012)

Test environment for QoS testing of VoIP over LTE. - Almudena Díaz; Pedro Merino 001; Francisco Javier Rivas (NOMS, 2012)

UMA Testing Facility. - Almudena Díaz-Zayas; Francisco Javier Rivas; Pedro Merino Gómez (TRIDENTCOM, 2012)

Testing of LTE Configurations and Applications. - Francisco Javier Rivas; Almudena Díaz-Zayas; Pedro Merino Gómez (TRIDENTCOM, 2012)

A model-extraction approach to verifying concurrent C programs with CADP. - María-del-Mar Gallardo; Christophe Joubert; Pedro Merino 001; David Sanán (Sci. Comput. Program., 2012)

On-the-fly VoIP call quality evaluation with improved E-model. - Alberto Salmerón; Pedro Merino 001 (PM2HW2N@MSWiM, 2013)

Performance study of Internet traffic on high speed railways. - F. Javier Rivas; Almudena Díaz-Zayas; Pedro Merino Gómez (WOWMOM, 2013)

Improving QoS and QoE for Mobile Communications. - Pedro Merino 001; Maria G. Martini; Raimund Schatz; Lea Skorin-Kapov; Martín Varela 001 (J. Comput. Networks Commun., 2013)

Obtaining More Realistic Cross-Layer QoS Measurements: A VoIP over LTE Use Case. - F. Javier Rivas; Almudena Díaz; Pedro Merino 001 (J. Comput. Networks Commun., 2013)

Characterizing Traffic Performance in Cellular Networks. - F. Javier Rivas Tocado; Almudena Díaz-Zayas; Pedro Merino Gómez (IEEE Internet Comput., 2014)

Using SPIN for automated debugging of infinite executions of Java programs. - Damián Adalid; Alberto Salmerón; María-del-Mar Gallardo; Pedro Merino 001 (J. Syst. Softw., 2014)

Third-Generation Partnership Project Standards: For Delivery of Critical Communications for Railways. - Almudena Díaz-Zayas; Cesar A. García-Pérez; Pedro Merino Gómez (IEEE Veh. Technol. Mag., 2014)

Runtime Verification of Expected Energy Consumption in Smartphones. - Ana Rosario Espada; María-del-Mar Gallardo; Alberto Salmerón; Pedro Merino 001 (SPIN, 2015)

PerformLTE: A Testbed for LTE Testing in the Future Internet. - Almudena Díaz-Zayas; Cesar A. García-Pérez; Álvaro M. Recio-Pérez; Pedro Merino Gómez (WWIC, 2015)

Using Model Checking to Generate Test Cases for Android Applications. - Ana Rosario Espada; María-del-Mar Gallardo; Alberto Salmerón; Pedro Merino 001 (MBT, 2015)

Integrating model checking and simulation for protocol optimization. - Alberto Salmerón; Pedro Merino 001 (Simul., 2015)

An end-to-end testing ecosystem for 5G. - Andrea F. Cattoni; Germán Corrales Madueño; Michael Dieudonne; Pedro Merino 001; Almudena Díaz-Zayas; Alberto Salmerón; Frederik Carlier; Bart Saint Germain; Donal Morris; Ricardo Figueiredo; Jeanne Caffrey; Janie Baños Polglase; et al. (EuCNC, 2016)

Q4HEALTH: Quality of Service and prioritisation for emergency services in the LTE RAN stack. - Cesar A. García-Pérez; Alvaro Rios; Pedro Merino 001; Kostas Katsalis; Navid Nikaein; Ricardo Figueiredo; Donal Morris; Terry O'Callaghan (EuCNC, 2016)

3GPP Standards to Deliver LTE Connectivity for IoT. - Almudena Díaz-Zayas; Cesar A. García-Pérez; Álvaro M. Recio-Pérez; Pedro Merino 001 (IoTDI, 2016)

Enabling Low Latency Services on LTE Networks. - Cesar A. García-Pérez; Pedro Merino 001 (FAS*W@SASO/ICCAC, 2016)

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

Innovative Tools and Processes for Mobile Communications Research and Education. - F. Javier Rivas Tocado; Almudena Díaz-Zayas; Pedro Merino 001 (Int. J. Online Eng., 2016)

Extending TestelDroid to support remote control and large-scale testing in mobile networks. - Almudena Díaz-Zayas; Álvaro M. Recio-Pérez; Cesar A. García-Pérez; Pedro Merino 001 (EAI Endorsed Trans. Mob. Commun. Appl., 2016)

Characterizing Radio and Networking Power Consumption in LTE Networks. - Álvaro M. Recio-Pérez; Almudena Díaz; Pedro Merino 001 (Mob. Inf. Syst., 2016)

The 3GPP NB-IoT system architecture for the Internet of Things. - Almudena Díaz-Zayas; Pedro Merino 001 (ICC Workshops, 2017)

Advanced testing of mobile applications and devices. - Almudena Díaz-Zayas; Alberto Salmerón; F. Javier Rivas Tocado; Pedro Merino 001 (IM, 2017)

A methodology and test environment for QoS measurements in mobile networks. - F. Javier Rivas Tocado; Almudena Díaz-Zayas; Pedro Merino 001 (IM, 2017)

Adding Correctness Checking to Test Automation Platform. - Alberto Salmerón; Leticia Lavado; María-del-Mar Gallardo; Pedro Merino Gómez (ISSRE Workshops, 2017)

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 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)

Performance Analysis of Spotify® for Android with Model-Based Testing. - Ana Rosario Espada; María-del-Mar Gallardo; Alberto Salmerón; Pedro Merino 001 (Mob. Inf. Syst., 2017)

Improving the efficiency and reliability of wearable based mobile eHealth applications. - Cesar A. García-Pérez; Almudena Díaz; Alvaro Rios; Pedro Merino 001; Kostas Katsalis; Chia-Yu Chang; Shahab Shariat; Navid Nikaein; Pilar Rodriguez; Donal Morris (Pervasive Mob. Comput., 2017)

TRIANGLE: a Platform to Validate 5G KPIs in End to End scenarios. - Almudena Díaz-Zayas; Andrea F. Cattoni; Carlos Cárdenas; Oscar Castañeda; Janie Baños Polglase; Pedro Merino 001; Michael Dieudonne (CAMAD, 2018)

5GENESIS: The Genesis of a flexible 5G Facility. - Harilaos Koumaras; Dimitris Tsolkas; Georgios Gardikis; Pedro Merino Gómez; Valerio Frascolla; Dionysia Triantafyllopoulou; Marc Emmelmann; Vaios Koumaras; María L. García Osma; Daniele Munaretto; Eneko Atxutegi; Jara Suarez de Puga; et al. (CAMAD, 2018)

TRIANGLE Portal: An User-Friendly Web Interface for Remote Experimentation. - Almudena Díaz-Zayas; Alberto Salmerón Moreno; Gustavo García Pascual; Pedro Merino Gómez (REV, 2018)

Experimental evaluation of fog computing techniques to reduce latency in LTE networks. - Cesar A. García-Pérez; Pedro Merino 001 (Trans. Emerg. Telecommun. Technol., 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)

Is GAÉNT Testbeds Service compliant with ETSI MANO? - Barbara Valera-Muros; Pedro Merino Gómez (5G World Forum, 2019)

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)

Testbed to experiment with LTE WiFi Aggregation. - Iván González Muriel; Álvaro Martín Heredia; Pedro Merino Gómez (EuCNC, 2019)

A Coordination Framework for Experimentation in 5G Testbeds: URLLC as Use Case. - Almudena Díaz-Zayas; Delia Rico; Bruno García; Pedro Merino 001 (MobiWac, 2019)

An End-to-End Automation Framework for Mobile Network Testbeds. - Almudena Díaz-Zayas; Bruno García; Pedro Merino 001 (Mob. Inf. Syst., 2019)

Expanding GÉANT Testbeds Service to Support Pan-European 5G Network Slices for Research in the EuWireless Project. - Alvaro Rios; Barbara Valera-Muros; Pedro Merino 001; Jerry Sobieski (Mob. Inf. Syst., 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)

A Survey of End-to-End Solutions for Reliable Low-Latency Communications in 5G Networks. - Delia Rico; Pedro Merino 001 (IEEE Access, 2020)

A Modular Experimentation Methodology for 5G Deployments: The 5GENESIS Approach. - Almudena Díaz-Zayas; Giuseppe Caso; Özgü Alay; Pedro Merino 001; Anna Brunström; Dimitris Tsolkas; Harilaos Koumaras (Sensors, 2020)

Introduction to the Special Issue devoted to SPIN 2018. - María-del-Mar Gallardo; Pedro Merino 001 (Int. J. Softw. Tools Technol. Transf., 2020)

Cost-Efficient 5G Non-Public Network Roll-Out: The Affordable5G Approach. - Lambros Sarakis; Panagiotis Trakadas; Josep Martrat; S. Prior; Óscar Trullols-Cruces; Estefanía Coronado; Marco Centenaro; G. Kontopoulos; Eneko Atxutegi; Panagiotis K. Gkonis; Sergio Gonzalez-Diaz; Angelos Antonopoulos 001; et al. (MeditCom, 2021)

Modeling and verification of the Multi-connection Tactile Internet Protocol. - Delia Rico; María-del-Mar Gallardo; Pedro Merino 001 (Q2SWinet, 2021)

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)

A network programmability framework for vertical applications in the beyond 5G era. - Harilaos Koumaras; Dimitris Tsolkas; Javier Garcia; David Artuñedo; Bruno García; Ricardo Marco; Apostolis K. Salkintzis; Dimitrios Fragkos; George Makropoulos; Fotini Setaki; Almudena Díaz; Pedro Merino 001; et al. (EuCNC, 2022)

Implementation and evaluation of the Multi-connection Tactile Internet Protocol and API. - Delia Rico; Karl-Johan Grinnemo; Anna Brunström; Pedro Merino 001 (NOMS, 2022)

Service-based Analytics for 5G open experimentation platforms. - Erik Aumayr; Giuseppe Caso; Anne-Marie Bosneag; Almudena Díaz-Zayas; Özgü Alay; Bruno García; Konstantinos Kousias; Anna Brunström; Pedro Merino Gómez; Harilaos Koumaras (Comput. Networks, 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)

Performance Analysis of the Multi-connection Tactile Internet Protocol over 5G. - Delia Rico; Karl-Johan Grinemmo; Anna Brunström; Pedro Merino 001 (J. Netw. Syst. Manag., 2023)

Verification of a multi-connectivity protocol for Tactile Internet applications. - Delia Rico; María-del-Mar Gallardo; Pedro Merino 001 (Comput. Commun., 2023)

On-demand Trial Networks over 6G-SANDBOX infrastructure. - Pedro Merino Gómez; Bruno García; Carlos Andreo; David Artuñedo; Jesus Macias (EuCNC/6G Summit, 2024)

A Federated Continual Learning Framework for Sustainable Network Anomaly Detection in O-RAN. - Chafika Benzaïd; Fahim Muhtasim Hossain; Tarik Taleb; Pedro Merino Gómez; Michael Dieudonne (WCNC, 2024)

Reproducible Key Performance Indicator (KPI) Measurement Experiments in 6G Networks Under Mobility Conditions. - Javier Otero-Mosquera; Alicia Meleiro-Estévez; Pablo Fondo-Ferreiro; Francisco Luque-Schempp; Felipe J. Gil-Castiñeira; Pedro Merino 001 (EuCNC/6G Summit, 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)