Argitalpenak (33) LAURA PANIZO JAIME argitalpenak

filter_list

2025

  1. Preface to selected papers from 22nd Workshop on Programming and Languages (PROLE 2023)

    Journal of Logical and Algebraic Methods in Programming

  2. Runtime monitoring of 5G network slicing using STAN

    Journal of Logical and Algebraic Methods in Programming, Vol. 145

2024

  1. A network application approach towards 5G and beyond critical communications use cases

    Frontiers in Communications and Networks, Vol. 5

  2. Flextory: Flexible Software Factory of IoT Data Consumers

    Sensors, Vol. 24, Núm. 8

2023

  1. Análisis interdisciplinar de innovación con H5P en procesos de enseñanza aprendizaje de Educación Superior

    Tecnologías emergentes aplicadas a las metodologías activas en la era de la inteligencia artificial (Dykinson), pp. 126-144

  2. AutomAdapt: Zero Touch Configuration of 5G QoS Flows Extended for Time-Sensitive Networking

    IEEE Access, Vol. 11, pp. 82960-82977

  3. STAn: analysis of data traces using an event-driven interval temporal logic

    Automated Software Engineering, Vol. 30, Núm. 1

  4. The Role of Abstraction in Model Checking

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 151-169

2022

  1. Toward Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking

    IEEE Network, Vol. 36, Núm. 2, pp. 50-56

  2. Validation of NFV management and orchestration on Kubernetes-based 5G testbed environment

    2022 IEEE GLOBECOM Workshops, GC Wkshps 2022 - Proceedings

2021

  1. An Architecture for Creating Slices to Experiment on Wireless Networks

    Journal of Network and Systems Management, Vol. 29, Núm. 1

2020

  1. Dynamic Spectrum Management for European-Wide Research Network

    IEEE Vehicular Technology Conference

  2. Model-based testing of apps in real network scenarios

    International Journal on Software Tools for Technology Transfer, Vol. 22, Núm. 2, pp. 105-114

  3. Trace Analysis Using an Event-Driven Interval Temporal Logic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2019

  1. A formal approach to automatically analyse extra-functional properties in mobile applications

    Software Testing Verification and Reliability, Vol. 29, Núm. 4-5

  2. How Formal Methods Can Contribute to 5G Networks

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Verlag), pp. 548-571

  3. Teaching Formal Methods: From Software in the Small to Software in the Large

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2018

  1. An extension of TRIANGLE testbed with model-based testing

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Integrating river basin DSSs with model checking

    International Journal on Software Tools for Technology Transfer, Vol. 20, Núm. 5, pp. 499-514

  3. QoE Evaluation: The TRIANGLE Testbed Approach

    Wireless Communications and Mobile Computing, Vol. 2018