JavaScript is disabled for your browser. Some features of this site may not work without it.

    Listar

    Todo RIUMAComunidades & ColeccionesPor fecha de publicaciónAutoresTítulosMateriasTipo de publicaciónCentrosDepartamentos/InstitutosEditores

    Mi cuenta

    AccederRegistro

    Estadísticas

    Ver Estadísticas de uso

    DE INTERÉS

    Datos de investigaciónReglamento de ciencia abierta de la UMAPolítica de RIUMAPolitica de datos de investigación en RIUMAOpen Policy Finder (antes Sherpa-Romeo)Dulcinea
    Preguntas frecuentesManual de usoContacto/Sugerencias
    Listar por autor 
    •   RIUMA Principal
    • Listar por autor
    •   RIUMA Principal
    • Listar por autor

    Listar por autor "Gallardo-Melgarejo, María del Mar"

    • 0-9
    • A
    • B
    • C
    • D
    • E
    • F
    • G
    • H
    • I
    • J
    • K
    • L
    • M
    • N
    • O
    • P
    • Q
    • R
    • S
    • T
    • U
    • V
    • W
    • X
    • Y
    • Z

    Ordenar por:

    Orden:

    Resultados:

    Mostrando ítems 1-19 de 19

    • título
    • fecha de publicación
    • fecha de envío
    • ascendente
    • descendente
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
      • A characterisation of reliability tools for Software Defined Networks 

        Lavado, Leticia; Panizo-Jaime, LauraAutoridad Universidad de Málaga; Gallardo-Melgarejo, María del MarAutoridad Universidad de Málaga; Merino-Gómez, PedroAutoridad Universidad de Málaga (2017)
        Software Defined Network (SDN) is a new paradigm in networking that introduces great flexibility, allowing the dynamic configuration of parts of the network through centralised programming. SDN has been successfully applied ...
      • A formal approach to automatically analyse extra-functionalproperties in mobile applications. 

        Espada Sandi, Ana Rosario; Gallardo-Melgarejo, María del MarAutoridad Universidad de Málaga; Salmerón, Alberto; Panizo-Jaime, LauraAutoridad Universidad de Málaga; Merino-Gómez, PedroAutoridad Universidad de Málaga (Wiley, 2019-06-14)
        This paper presents an integrated approach for testing mobile applications (apps) against a set of extra-functional properties to be used by app developers. The approach starts with the (manual ...
      • A practical use of model checking for synthesis: generating a dam controller for flood management. 

        Gallardo-Melgarejo, María del MarAutoridad Universidad de Málaga; Merino-Gómez, PedroAutoridad Universidad de Málaga; Panizo-Jaime, LauraAutoridad Universidad de Málaga; De-Linares-del-Río, Carlos AntonioAutoridad Universidad de Málaga (Willey, 2011-02-08)
      • A Simulation Tool for tccp Programs 

        Gallardo-Melgarejo, María del MarAutoridad Universidad de Málaga; Lavado, Leticia; Panizo-Jaime, LauraAutoridad Universidad de Málaga (2017-07-24)
        The Timed Concurrent Constraint Language tccp is a declarative synchronous concurrent language, particularly suitable for modelling reactive systems. In tccp, agents communicate and synchronise through a global constraint ...
      • Análisis de aplicaciones móviles utilizando métodos formales 

        Espada Sandi, Ana Rosario (UMA Editorial, 2017-07-09)
        La tecnología móvil ha surgido de la necesidad de las personas de llevar consigo un medio de comunicación con opciones de entretenimiento, una biblioteca y acceso a Internet. Actualmente, se ha masificado el uso de ...
      • Arquitectura flexible para la creación de suscriptores RabbitMQ 

        López Gómez, Rafael (2022-06)
        El objetivo de este proyecto es realizar un acercamiento al uso de las nuevas tecnologías en el mundo del Internet de las Cosas (“Internet of Things”, IoT). En muchos casos, las aplicaciones IoT comparten características ...
      • AutomAdapt: Zero Touch Configuration of 5G QoS Flows Extended for Time-Sensitive Networking. 

        Luque Schempp, Francisco; Panizo-Jaime, LauraAutoridad Universidad de Málaga; Gallardo-Melgarejo, María del MarAutoridad Universidad de Málaga; Merino-Gómez, PedroAutoridad Universidad de Málaga (IEEE, 2023)
        The aim of IEEE Time-Sensitive Networking (TSN) standards is to grant deterministic communication in traditional Ethernet networks for Industry 4.0. Insofar as the use cases in the Factory need some mobility, the extension ...
      • Extending model checkers for hybrid system verification: the case study of SPIN. 

        Gallardo-Melgarejo, María del MarAutoridad Universidad de Málaga; Panizo-Jaime, LauraAutoridad Universidad de Málaga (Willey, 2013-07-26)
        A hybrid system is a system that evolves following a continuous dynamic, which may instantaneously change when certain internal or external events occur. Due to this combination of discrete and continuous dynamics, the ...
      • FLEXTORY: Flexible Software Factory of IoT Data Consumers. 

        López Gómez, Rafael; Panizo-Jaime, LauraAutoridad Universidad de Málaga; Gallardo-Melgarejo, María del MarAutoridad Universidad de Málaga (MDPI, 2024-04-16)
        The success of the Internet of Things (IoT) has driven the development, among others, of many different software architectures for producing, processing, and analyzing heterogeneous data. In many cases, IoT applications ...
      • Generación automática de autómatas temporizados mediante aprendizaje de trazas. 

        López Gómez, Rafael (2024)
        El rápido avance de tecnologías, como la Inteligencia Artificial, está permitiendo el desarrollo de sistemas software muy sofisticados. Para la detección temprana de errores en estos sistemas es usual la construcción de ...
      • Integrating river basin DSSs with model checking. 

        Gallardo-Melgarejo, María del MarAutoridad Universidad de Málaga; Merino-Gómez, PedroAutoridad Universidad de Málaga; Panizo-Jaime, LauraAutoridad Universidad de Málaga; Salmerón Moreno, Alberto (Springer, 2017-10-24)
        This paper presents a Decision Support System (DSS) based on formal methods for the management of complex river basins in flood scenarios. The DSS is the result of integrating two different DSSs. First, a DSS for dam ...
      • LearnTA: Generación automática de autómatas temporizados mediante el aprendizaje de trazas. 

        López Gómez, Rafael; Panizo-Jaime, LauraAutoridad Universidad de Málaga; Gallardo-Melgarejo, María del MarAutoridad Universidad de Málaga (Sistedes, 2024)
        El rápido avance de tecnologías, como la Inteligencia Artificial, está permitiendo el desarrollo de sistemas software muy sofisticados. Para la detección temprana de errores en estos sistemas es usual la construcción de ...
      • Model Learning for Time-Sensitive Networking over 5G networks. 

        Luque Schempp, Francisco (UMA Editorial, 2024)
        El propósito de las redes deterministas es implementar comunicaciones en tiempo real con latencia acotada, bajas tasas de pérdida de datos y jitter. Time-Sensitive Networking (TSN) cubre estas necesidades, permitiendo la ...
      • Modelado, simulación y análisis de un sistema complejo de ascensores 

        Sarabia Segura, Marina (2020-01-20)
        La construcción de software complejo puede verse asistida por los llamados métodos formales que permiten detectar errores de diseño e implementación, especialmente con respecto a las propiedades críticas del sistema. Los ...
      • Runtime monitoring of 5G network slicing using STAn 

        Panizo-Jaime, LauraAutoridad Universidad de Málaga; Gallardo-Melgarejo, María del MarAutoridad Universidad de Málaga; Luque Schempp, Francisco; Merino-Gómez, PedroAutoridad Universidad de Málaga (Elsevier, 2025-03-12)
        "This work has been supported by the Spanish Ministry of Science and Innovation grant agreement PID2022-142181OB-I00 (LearnFDT) and the Spanish Ministry of Economic Affairs and Digital Transformation project TSI-063000-2021-11 ...
      • STAN: analysis of data traces using an event-driven interval temporal logic 

        Panizo-Jaime, LauraAutoridad Universidad de Málaga; Gallardo-Melgarejo, María del MarAutoridad Universidad de Málaga (Springer Nature, 2022-11-30)
        The increasing integration of systems into people’s daily routines, especially smartphones, requires ensuring correctness of their functionality and even some performance requirements. Sometimes, we can only observe the ...
      • Towards Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking 

        Luque Schempp, Francisco; Panizo-Jaime, LauraAutoridad Universidad de Málaga; Gallardo-Melgarejo, María del MarAutoridad Universidad de Málaga; Merino-Gómez, PedroAutoridad Universidad de Málaga; Rivas, Francisco Javier (IEEE, 2022)
        The need to increase mobility and to remove cables in industrial environments is pushing 5G as a valuable communication system to connect traditional deterministic Ethernet-based devices. One alternative is the adoption ...
      • Verificación de la fiabilidad del gestor de experimentos del proyecto 5Genesis 

        Arrebola Taza, Darío (2021)
        Uno de los objetivos del proyecto europeo H2020 5Genesis, del que el grupo MORSE de la Universidad de Málaga forma parte, es proporcionar una plataforma 5G de experimentación para los desarrolladores de software. La gestión ...
      • Verification of a multi-connectivity protocol for Tactile Internet applications 

        Rico, Delia; Gallardo-Melgarejo, María del MarAutoridad Universidad de Málaga; Merino-Gómez, PedroAutoridad Universidad de Málaga (Elsevier, 2023-10-26)
        Tactile Internet refers to a network that enables real-time, high-reliability haptic communication and control between humans, machines, and objects over the Internet. Tactile Internet applications include the remote control ...
        REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
        REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
         

         

        REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
        REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA