Miguel J. Hornos

71 papers B 16C 1Journal 31Unranked 20
YearRankTypeTitle / Venue / Authors
2025 J jnl
A systematic mapping study on privacy in IoT-based systems.
Int. J. Inf. Sec.
Yaqin Shaheen, Miguel J. Hornos, Carlos Rodríguez-Domínguez
2025 J jnl
Guest Editorial: Applications of Intelligent Environments to Health.
IEEE J. Biomed. Health Informatics
Miguel J. Hornos, Ehsan Adeli-Mosabbeb, Víctor M. Zamudio
2025 J jnl
Privacy Framework for the Development of IoT-Based Systems.
Future Internet
Yaqin Shaheen, Miguel J. Hornos, Carlos Rodríguez-Domínguez
2025 J jnl
Test-Driven Development Tool for IoT Systems.
IEEE Softw.
Gleiston Guerrero-Ulloa, Dúval Carvajal-Suárez, Paulo Novais, Miguel J. Hornos, Carlos Rodríguez-Domínguez
2024 — conf
Addressing Privacy Challenges in Internet of Things (IoT) Applications.
ISAmI
Yaqin Shaheen, Miguel J. Hornos, Carlos Rodríguez-Domínguez
2024 J jnl
Development methodologies for IoT-based systems: challenges and research directions.
J. Reliab. Intell. Environ.
Miguel J. Hornos, Mario Quinde
2024 J jnl
Sensing, decision-making and economic impact for next-generation technologies.
J. Ambient Intell. Smart Environ.
Miguel J. Hornos, Víctor Manuel Zamudio Rodríguez
2023 J jnl
Agile Methodologies Applied to the Development of Internet of Things (IoT)-Based Systems: A Review.
Sensors
Gleiston Guerrero-Ulloa, Carlos Rodríguez-Domínguez, Miguel J. Hornos
2023 — ed.
Ambient Intelligence - Software and Applications - 14th International Symposium on Ambient Intelligence, ISAmI 2023, Guimarães, Portugal, July 12-14, 2023
ISAmI
Paulo Novais, Vicente Julián Inglada, Miguel J. Hornos, Ichiro Satoh, Davide Carneiro, João Carneiro, Ricardo S. Alonso
2023 J jnl
Internet of Things (IoT)-based indoor plant care system.
J. Ambient Intell. Smart Environ.
Gleiston Guerrero-Ulloa, Alejandra Méndez-García, Valeria Torres-Lindao, Vivian Zamora-Mecías, Carlos Rodríguez-Domínguez, Miguel J. Hornos
2023 — conf
IoT Security and Privacy Challenges from the Developer Perspective.
ISAmI
Yaqin Shaheen, Miguel J. Hornos, Carlos Rodríguez-Domínguez
2023 B conf
Preface to the Proceedings of the 12th International Workshop on the Reliability of Intelligent Environments (WoRIE'23).
Intelligent Environments (Workshops)
Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J. Hornos, Juan Carlos Augusto
2023 J jnl
Validation of a development methodology and tool for IoT-based systems through a case study for visually impaired people.
Internet Things
Gleiston Guerrero-Ulloa, Ariel Fernández-Loor, Francisco Moreira, Paulo Novais, Carlos Rodríguez-Domínguez, Miguel J. Hornos
2022 — conf
IdeAir: IoT-Based System for Indoor Air Quality Control.
ISAmI
Gleiston Guerrero-Ulloa, Alex Andrango-Catota, Martín Abad-Alay, Miguel J. Hornos, Carlos Rodríguez-Domínguez
2022 J jnl
Intelligent environments with entangled quality properties.
J. Reliab. Intell. Environ.
Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J. Hornos
2022 — conf
Internet of Things (IoT)-Based System for Classroom Access Control and Resource Management.
UCAmI
Gleiston Guerrero-Ulloa, Jonathan Villafuerte-Solorzano, Michael Yánez, Miguel J. Hornos, Carlos Rodríguez-Domínguez
2022 B conf
Introduction to the Proceedings of WoRIE'22.
Intelligent Environments (Workshops)
Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J. Hornos, Juan Carlos Augusto
2021 J jnl
Design guide and usability questionnaire to develop and assess VIRTRAEL, a web-based cognitive training tool for the elderly.
Behav. Inf. Technol.
María Luisa Rodríguez-Almendros, María José Rodríguez-Fórtiz, Miguel J. Hornos, José Samos Jiménez, Carlos Rodríguez-Domínguez, Sandra Rute-Pérez
2021 B conf
Introduction to the Proceedings of WoRIE'21.
Intelligent Environments (Workshops)
Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J. Hornos, Juan Carlos Augusto
2020 B conf
9th International Workshop on the Reliability of Intelligent Environments (WoRIE 2020) - Introduction.
Intelligent Environments (Workshops)
Miguel J. Hornos, Juan Carlos Augusto
2020 B conf
IoT-Based Smart Medicine Dispenser to Control and Supervise Medication Intake.
Intelligent Environments (Workshops)
Gleiston Guerrero-Ulloa, Miguel J. Hornos, Carlos Rodríguez-Domínguez, Ma. Mercedes Fernández-Coello
2019 B conf
Introduction to the Proceedings of WoRIE'19.
Intelligent Environments (Workshops)
Miguel J. Hornos, Juan Carlos Augusto
2018 J jnl
A Workflow Ontology to support Knowledge Management in a Group's organizational structure.
Computación y Sistemas
Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez
2018 J jnl
Increasing user confidence in intelligent environments.
J. Reliab. Intell. Environ.
Miguel J. Hornos, Carlos Rodríguez-Domínguez
2018 B conf
Introduction to the Proceedings of WoRIE'18.
Intelligent Environments (Workshops)
Miguel J. Hornos, Juan Carlos Augusto
2018 — ch.
Visual Working Memory Training of the Elderly in VIRTRAEL Personalized Assistant.
Personal Assistants
Miguel J. Hornos, Sandra Rute-Pérez, Carlos Rodríguez-Domínguez, María Luisa Rodríguez-Almendros, María José Rodríguez-Fórtiz, Alfonso Caracuel
2017 J jnl
Application of Software Engineering techniques to improve the reliability of Intelligent Environments.
J. Reliab. Intell. Environ.
Miguel J. Hornos
2017 B conf
Introduction to the Proceedings of WoRIE'17.
Intelligent Environments (Workshops)
Miguel J. Hornos, Juan Carlos Augusto
2017 J jnl
Linguistic multi-criteria decision-making model with output variable expressive richness.
Expert Syst. Appl.
Andres Cid-López, Miguel J. Hornos, Ramón Alberto Carrasco, Enrique Herrera-Viedma, Francisco Chiclana
2016 J jnl
Applying a linguistic multi-criteria decision-making model to the analysis of ICT suppliers' offers.
Expert Syst. Appl.
Andres Cid-López, Miguel J. Hornos, Ramón Alberto Carrasco, Enrique Herrera-Viedma
2016 B conf
Introduction to the Proceedings of WoRIE'16.
Intelligent Environments (Workshops)
Miguel J. Hornos, Juan Carlos Augusto
2016 J jnl
Knowledge-based Workflow Ontology for Group Organizational Structure.
Res. Comput. Sci.
Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez
2016 J jnl
Semantic Formalism for Modelling the Group Interaction.
Res. Comput. Sci.
Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez
2015 J jnl
A Software Architecture for Defining a Methodologic Approach to Develop Collaborative Applications.
Res. Comput. Sci.
Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez
2015 B conf
Introduction to the Proceedings of WoRIE'15.
Intelligent Environments (Workshops)
Miguel J. Hornos, Juan Carlos Augusto
2015 J jnl
SICTQUAL: A fuzzy linguistic multi-criteria model to assess the quality of service in the ICT sector from the user perspective.
Appl. Soft Comput.
Andres Cid-López, Miguel J. Hornos, Ramón Alberto Carrasco, Enrique Herrera-Viedma
2014 B conf
Introduction to the Proceedings of WoRIE'14.
Intelligent Environments (Workshops)
Miguel J. Hornos, Juan Carlos Augusto, Pablo A. Haya
2014 — conf
Knowledge Representation for Development of Collaborative Applications.
LANMR
Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski
2013 J jnl
A multidimensional data model using the fuzzy model based on the semantic translation.
Inf. Syst. Frontiers
Ramón Alberto Carrasco, Francisco Muñoz-Leiva, Miguel J. Hornos
2013 J jnl
Software simulation and verification to increase the reliability of Intelligent Environments.
Adv. Eng. Softw.
Juan Carlos Augusto, Miguel J. Hornos
2012 J jnl
A linguistic multicriteria decision-making model applied to hotel service quality evaluation from web data sources.
Int. J. Intell. Syst.
Ramón Alberto Carrasco, Pedro Villar, Miguel J. Hornos, Enrique Herrera-Viedma
2012 — ch.
Designing More Reliable MAS-based Ambient Intelligence Systems.
Agents and Ambient Intelligence
Juan Carlos Augusto, Miguel J. Hornos
2012 J jnl
Enabling correct design and formal analysis of Ambient Assisted Living systems.
J. Syst. Softw.
Kawtar Benghazi Akhlaki, María Visitación Hurtado, Miguel J. Hornos, María Luisa Rodríguez, Carlos Rodríguez-Domínguez, Ana Belén Pelegrina Ortiz, María José Rodríguez-Fórtiz
2012 J jnl
Hierarchical Role-based Design of Web-based Educational Systems for Blended Learning in Higher Education.
J. Res. Pract. Inf. Technol.
Miguel J. Hornos, María Visitación Hurtado, M. Pilar Fernández-Sánchez, Álvaro López-Martínez, Kawtar Benghazi Akhlaki, María Luisa Rodríguez-Almendros, María M. Abad-Grau
2012 B conf
Highly Adaptive and Context-Aware Intelligent System of Urban Events for Mobile Devices.
Intelligent Environments
Sergio Misó, Miguel J. Hornos, María Luisa Rodríguez
2012 B conf
Introduction to the Proceedings of WoRIE'12.
Intelligent Environments (Workshops)
Miguel J. Hornos, Juan Carlos Augusto, Pablo A. Haya
2012 — conf
Long-distance runner training system for smartphones.
Interacción
Samuel Sandru, Miguel J. Hornos, María Luisa Rodríguez
2012 B conf
Using Simulation and Verification to Inform the Development of Intelligent Environments.
Intelligent Environments (Workshops)
Juan Carlos Augusto, Miguel J. Hornos
2012 B ed.
Workshop Proceedings of the 8th International Conference on Intelligent Environments, Guanajuato, Mexico, June 26-29, 2012
Intelligent Environments (Workshops)
Juan A. Botía, Hedda Rahel Schmidtke, Tatsuo Nakashima, Mohammed R. Al-Mulla, Juan Carlos Augusto, Asier Aztiria, Matthew Ball, Victor Callaghan, Diane J. Cook, James Dooley, John O'Donoghue, Simon Egerton, Pablo A. Haya, Miguel J. Hornos, Eduardo Morales, Juan Carlos Orozco, Otniel Portillo-Rodríguez, Alejandro Rodríguez González, Oscar Sandoval, Paolo Tripicchio, Minjuan Wang, Víctor Zamudio
2011 J jnl
A Linguistic Multi-Criteria Decision Making Model Applied to the Integration of Education Questionnaires.
Int. J. Comput. Intell. Syst.
Ramón Alberto Carrasco, Pedro Villar, Miguel J. Hornos, Enrique Herrera-Viedma
2011 C conf
Adaptive geolocated cultural information system for mobile devices.
ISDA
Sergio Misó, Miguel J. Hornos, María Luisa Rodríguez
2011 — conf
Game of gifts purchase: Computer-based training of executive functions for the elderly.
SeGAH
Álvaro López-Martínez, Sandra Santiago-Ramajo, Alfonso Caracuel, Carlos Valls-Serrano, Miguel J. Hornos, María José Rodríguez-Fórtiz
2011 J jnl
Methontology-based Ontology Representing a Service-based Architectural Model for Collaborative Applications.
Res. Comput. Sci.
Luz A. Sánchez-Gálvez, Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski
2010 J jnl
Security and Adaptability to Groupware Applications using a Set of SOA-based Services.
Res. Comput. Sci.
Luz A. Sánchez-Gálvez, Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez
2009 J jnl
Service-Based Access Control Using Stages for Collaborative Systems.
Res. Comput. Sci.
Luz A. Sánchez-Gálvez, Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski
2009 — conf
Service-Based Layered Architectural Model for Building Collaborative Applications in Heterogeneous Environments.
ENC
Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski
2009 — conf
Towards Compositional Verification in MEDISTAM-RT Methodological Framework.
IWANN (2)
Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera
2007 — conf
Applying Quality Hypermedia Design Principles to a Web-based Educational System.
WEBIST (3)
Roberto F. Arroyo, Nuria Medina-Medina, Miguel J. Hornos, Fernando Molina
2007 B conf
Architecture for Developing Adaptive and Adaptable Collaborative Applications.
ECSA
Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez
2007 — conf
Designing User Interfaces for Collaborative Applications: A Model-Based Approach.
Interacción (selected papers)
María Luisa Rodríguez, José Luis Garrido, María Visitación Hurtado, Manuel Noguera, Miguel J. Hornos
2007 — conf
Evolution of the Design and Implementation of Tutor: A Web-Based Educational System for University Courses.
EUROCAST
Roberto F. Arroyo, Miguel J. Hornos, Rosana Montes
2007 — conf
Ontology-Based Modelling of Session Management Policies for Groupware Applications.
EUROCAST
Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez
2006 — conf
Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture.
RISE
Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez
2006 — conf
SOA-based Generic Architecture for CSCW Systems.
ICUC
Mario Anzures-García, Patricia Paderewski, Miguel J. Hornos
2006 — conf
Web Knowledge Management for Small and Medium-Size Enterprises - WebTour: A Case Study from the Tourism Sector.
ICEIS (1)
María M. Abad-Grau, Francisco Araque, Rosana Montes, María Visitación Hurtado, Miguel J. Hornos
2005 — conf
A Software Architecture Intended to Design High Quality Groupware Applications.
Software Engineering Research and Practice
José Luis Garrido, Patricia Paderewski, María Luisa Rodríguez-Almendros, Miguel J. Hornos, Manuel Noguera
2004 J jnl
FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking.
J. Univers. Comput. Sci.
Miguel J. Hornos
2004 — conf
Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata.
VVEIS
Miguel J. Hornos
2002 J jnl
On-the-fly model checking from interval logic specifications.
ACM SIGPLAN Notices
Miguel J. Hornos, Manuel I. Capel
2001 — conf
Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic.
ACSD
Miguel J. Hornos, Manuel I. Capel
2001 — conf
Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos.
JISBD
Miguel J. Hornos, Manuel I. Capel