- RIUMA Principal
- Listar por autor
Listar por autor "Panizo-Jaime, Laura"
Mostrando ítems 1-20 de 21
-
A characterisation of reliability tools for Software Defined Networks
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 Mar; Salmerón, Alberto; Panizo-Jaime, Laura; Merino-Gómez, Pedro (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 network application approach towards 5G and beyond critical communications use cases.
Apostolakis, Konstantinos C.; Valera-Muros, Bárbara; di Pietro, Nicola; Garrido, Pablo; del Teso, Daniel; Kamarianakis, Manos; Tomas, Pedro R.; Khalili, Hamzeh; Panizo-Jaime, Laura; Díaz-Zayas, Almudena; Protopsaltis, Antonis; Margetis, George; Mangues-Bafalluy, Josep; Requena-Esteso, Manuel; Gomes, André S.; Cordeiro, Luís; Papagiannakis, George; Stephanidis, Constantine[et al.] (Frontiers, 2024-02-21)Low latency and high bandwidth heralded with 5G networks will allow transmission of large amounts of Mission-Critical data over a short time period. 5G hence unlocks several capabilities for novel Public Protection and ... -
A Simulation Tool for tccp Programs
Gallardo-Melgarejo, María del Mar; Lavado, Leticia; Panizo-Jaime, Laura (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 Architecture for Creating Slices to Experiment on Wireless Networks.
Valera-Muros, Bárbara; Panizo-Jaime, Laura; Rios, Álvaro; Merino-Gómez, Pedro (Springer Nature, 2020-10-09)Researchers in mobile technologies and services are currently requesting testbeds to validate their proposals in a realistic large-scale and controlled environment. Such demands are some times satisfied with private ad-hoc ... -
Análisis interdisciplinar de innovación con H5P en procesos de enseñanza aprendizaje de educación superior.
Moral-Sánchez, Silvia Natividad; Gutiérrez-Castillo, Paloma; Lópezosa-Reca, Eva; Panizo-Jaime, Laura (Dykinson S.L., 2023)En los últimos años, el profesorado de las diferentes áreas de la Universidad de Málaga ha invertido parte de su tiempo en la creación de documentos, presentaciones y contenidos para complementar y dar soporte a la ... -
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, Laura; Gallardo-Melgarejo, María del Mar; Merino-Gómez, Pedro (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 ... -
Diseño e implementación de una aplicación móvil de restaurantes de calidad en la provincia de Málaga
Zambrana Lebrón, Cristina (2022)El turismo de lujo es un nicho de mercado que en estos momentos está en crecimiento, pero España todavía no es un destino consolidado en este sentido. Esto puede deberse, en parte, a la falta de guías especializados en ... -
Diseño e implementación de una aplicación móvil para turistas que visitan la ciudad de Cádiz en crucero.
Ruiz Román, Paula (2018)El Puerto de la Bahía de Cádiz espera batir su récord de buques de crucero en 2018, con un incremento del 8,69% en relación al año anterior. Además, se ha determinado la posibilidad de convertirse en puerto base de cruceros ... -
Evaluating Video Streaming over GPRS/UMTS networks: A practical case.
Díaz-Zayas, Almudena; Merino-Gómez, Pedro; Panizo-Jaime, Laura; Recio, Álvaro M. (IEEE, 2024)In this paper, we focus on analyzing video streaming service performance on real networks.We propose a non intrusive methodology based on mobile devices as clients, instead of using them as modems. Our objective is to ... -
Experiencia en la aplicación de H5P en educación superior
Gutiérrez-Castillo, Paloma; Moral-Sánchez, Silvia Natividad; Lópezosa-Reca, Eva; Panizo-Jaime, Laura (2023-07)En los últimos años, los métodos docentes están evolucionando continuamente con el objetivo de mejorar la interacción y la motivación del alumnado. Una pieza clave para conseguir este objetivo ha sido la introducción de ... -
Extending model checkers for hybrid system verification: the case study of SPIN.
Gallardo-Melgarejo, María del Mar; Panizo-Jaime, Laura (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, Laura; Gallardo-Melgarejo, María del Mar (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 Mar; Merino-Gómez, Pedro; Panizo-Jaime, Laura; 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 ... -
Model-based testing of apps in real network scenarios.
Panizo-Jaime, Laura; Díaz-Zayas, Almudena; García, Bruno (Springer Nature, 2019-04-01)Traditional testing methods for mobile apps focus on detecting execution errors. However, the evolution of mobile networks towards 5G will require additional support for app developers to also ensure good performance and ... -
QoE Evaluation: The TRIANGLE Testbed Approach.
Díaz-Zayas, Almudena; Panizo-Jaime, Laura; Baños, Janie; Cardenas, Carlos; Dieudonne, Michael (Willey - Hindawi, 2018-12-18)This paper presents the TRIANGLE testbed approach to score the Quality of Experience (QoE) of mobile applications, based on measurements extracted from tests performed on an end-to-end network testbed. The TRIANGLE project ... -
STAN: analysis of data traces using an event-driven interval temporal logic
Panizo-Jaime, Laura; Gallardo-Melgarejo, María del Mar (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 ...