Publicaciones en las que colabora con MIGUEL JUAN HORNOS BARRANCO (15)

2023

  1. Agile Methodologies Applied to the Development of Internet of Things (IoT)-Based Systems: A Review

    Sensors, Vol. 23, Núm. 2

  2. Development and Assessment of an Indoor Air Quality Control IoT-Based System

    Electronics (Switzerland), Vol. 12, Núm. 3

  3. IdeAir: IoT-Based System for Indoor Air Quality Control

    Lecture Notes in Networks and Systems

  4. Internet of Things (IoT)-Based System for Classroom Access Control and Resource Management

    Lecture Notes in Networks and Systems

  5. Internet of Things (IoT)-based indoor plant care system

    Journal of Ambient Intelligence and Smart Environments, Vol. 15, Núm. 1, pp. 47-62

  6. IoT Security and Privacy Challenges from the Developer Perspective

    Lecture Notes in Networks and Systems

  7. Validation of a development methodology and tool for IoT-based systems through a case study for visually impaired people

    Internet of Things (Netherlands), Vol. 23

2022

  1. Intelligent environments with entangled quality properties

    Journal of Reliable Intelligent Environments

2021

  1. Design guide and usability questionnaire to develop and assess VIRTRAEL, a web-based cognitive training tool for the elderly

    Behaviour and Information Technology, Vol. 40, Núm. 13, pp. 1355-1374

  2. Introduction to the proceedings of WoRIE'21

    Intelligent Environments 2021: Workshop Proceedings of the 17th International Conference on Intelligent Environments (IOS Press), pp. 3-3

2020

  1. TDDM4IoTS: A Test-Driven Development Methodology for Internet of Things (IoT)-Based Systems

    Communications in Computer and Information Science

2019

  1. IoT-based system to help care for dependent elderly

    Communications in Computer and Information Science

2018

  1. Increasing user confidence in intelligent environments

    Journal of Reliable Intelligent Environments

  2. Visual working memory training of the elderly in VIRTRAEL personalized assistant

    Intelligent Systems Reference Library (Springer Science and Business Media Deutschland GmbH), pp. 57-76

2012

  1. Enabling correct design and formal analysis of Ambient Assisted Living systems

    Journal of Systems and Software, Vol. 85, Núm. 3, pp. 498-510