Miguel J. Hornos

According to our database, Miguel J. Hornos authored at least 58 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Gleiston Guerrero-Ulloa, Ariel Fernández-Loor, Francisco Moreira, Paulo Novais, Carlos Rodríguez-Domínguez, Miguel J. Hornos

Internet Things, October, 2023

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

Gleiston Guerrero-Ulloa, Carlos Rodríguez-Domínguez, Miguel J. Hornos

Sensors, January, 2023

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

Gleiston Guerrero-Ulloa, Alejandra Méndez-García, Valeria Torres-Lindao, Vivian Zamora-Mecías, Carlos Rodríguez-Domínguez, Miguel J. Hornos

J. Ambient Intell. Smart Environ., 2023

Preface to the Proceedings of the 12th International Workshop on the Reliability of Intelligent Environments (WoRIE'23).

Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J. Hornos, Juan Carlos Augusto

Proceedings of the Workshop Proceedings of the 19th International Conference on Intelligent Environments (IE2023), 2023

2022

Intelligent environments with entangled quality properties.

Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J. Hornos

J. Reliab. Intell. Environ., 2022

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

Gleiston Guerrero-Ulloa, Jonathan Villafuerte-Solorzano, Michael Yánez, Miguel J. Hornos, Carlos Rodríguez-Domínguez

Proceedings of the International Conference on Ubiquitous Computing & Ambient Intelligence, 2022

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

Gleiston Guerrero-Ulloa, Alex Andrango-Catota, Martín Abad-Alay, Miguel J. Hornos, Carlos Rodríguez-Domínguez

Proceedings of the Ambient Intelligence - Software and Applications, 2022

Introduction to the Proceedings of WoRIE'22.

Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J. Hornos, Juan Carlos Augusto

Proceedings of the Workshops at 18th International Conference on Intelligent Environments (IE2022), 2022

2021

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

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

Behav. Inf. Technol., 2021

Introduction to the Proceedings of WoRIE'21.

Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J. Hornos, Juan Carlos Augusto

Proceedings of the Intelligent Environments 2021, 2021

2020

9th International Workshop on the Reliability of Intelligent Environments (WoRIE 2020) - Introduction.

Miguel J. Hornos, Juan Carlos Augusto

Proceedings of the Intelligent Environments 2020, 2020

IoT-Based Smart Medicine Dispenser to Control and Supervise Medication Intake.

Gleiston Guerrero-Ulloa, Miguel J. Hornos, Carlos Rodríguez-Domínguez, Ma. Mercedes Fernández-Coello

Proceedings of the Intelligent Environments 2020, 2020

2019

Introduction to the Proceedings of WoRIE'19.

Miguel J. Hornos, Juan Carlos Augusto

Proceedings of the Intelligent Environments 2019, 2019

2018

Visual Working Memory Training of the Elderly in VIRTRAEL Personalized Assistant.

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

Proceedings of the Personal Assistants: Emerging Computational Technologies, 2018

Increasing user confidence in intelligent environments.

Miguel J. Hornos, Carlos Rodríguez-Domínguez

J. Reliab. Intell. Environ., 2018

A Workflow Ontology to support Knowledge Management in a Group's organizational structure.

Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez

Computación y Sistemas, 2018

Introduction to the Proceedings of WoRIE'18.

Miguel J. Hornos, Juan Carlos Augusto

Proceedings of the Intelligent Environments 2018, 2018

2017

Application of Software Engineering techniques to improve the reliability of Intelligent Environments.

Miguel J. Hornos

J. Reliab. Intell. Environ., 2017

Linguistic multi-criteria decision-making model with output variable expressive richness.

Andres Cid-López, Miguel J. Hornos, Ramón Alberto Carrasco, Enrique Herrera-Viedma, Francisco Chiclana

Expert Syst. Appl., 2017

Introduction to the Proceedings of WoRIE'17.

Miguel J. Hornos, Juan Carlos Augusto

Proceedings of the Intelligent Environments 2017, 2017

2016

Knowledge-based Workflow Ontology for Group Organizational Structure.

Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez

Res. Comput. Sci., 2016

Semantic Formalism for Modelling the Group Interaction.

Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez

Res. Comput. Sci., 2016

Applying a linguistic multi-criteria decision-making model to the analysis of ICT suppliers' offers.

Andres Cid-López, Miguel J. Hornos, Ramón Alberto Carrasco, Enrique Herrera-Viedma

Expert Syst. Appl., 2016

Introduction to the Proceedings of WoRIE'16.

Miguel J. Hornos, Juan Carlos Augusto

Proceedings of the Intelligent Environments 2016, 2016

2015

A Software Architecture for Defining a Methodologic Approach to Develop Collaborative Applications.

Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez

Res. Comput. Sci., 2015

SICTQUAL: A fuzzy linguistic multi-criteria model to assess the quality of service in the ICT sector from the user perspective.

Andres Cid-López, Miguel J. Hornos, Ramón Alberto Carrasco, Enrique Herrera-Viedma

Appl. Soft Comput., 2015

Introduction to the Proceedings of WoRIE'15.

Miguel J. Hornos, Juan Carlos Augusto

Proceedings of the Workshop Proceedings of the 11th International Conference on Intelligent Environments, 2015

2014

Knowledge Representation for Development of Collaborative Applications.

Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski

Proceedings of the Ninth Latin American Workshop on Logic/Languages, 2014

Introduction to the Proceedings of WoRIE'14.

Miguel J. Hornos, Juan Carlos Augusto, Pablo A. Haya

Proceedings of the Workshop Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, June 30, 2014

2013

A multidimensional data model using the fuzzy model based on the semantic translation.

Ramón Alberto Carrasco, Francisco Muñoz-Leiva, Miguel J. Hornos

Inf. Syst. Frontiers, 2013

Software simulation and verification to increase the reliability of Intelligent Environments.

Juan Carlos Augusto, Miguel J. Hornos

Adv. Eng. Softw., 2013

2012

Designing More Reliable MAS-based Ambient Intelligence Systems.

Juan Carlos Augusto, Miguel J. Hornos

Proceedings of the Agents and Ambient Intelligence, 2012

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

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

J. Syst. Softw., 2012

A linguistic multicriteria decision-making model applied to hotel service quality evaluation from web data sources.

Ramón Alberto Carrasco, Pedro Villar, Miguel J. Hornos, Enrique Herrera-Viedma

Int. J. Intell. Syst., 2012

Hierarchical Role-based Design of Web-based Educational Systems for Blended Learning in Higher Education.

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

J. Res. Pract. Inf. Technol., 2012

Long-distance runner training system for smartphones.

Samuel Sandru, Miguel J. Hornos, María Luisa Rodríguez

Proceedings of the 13th International Conference on Interacción Persona-Ordenador, 2012

Highly Adaptive and Context-Aware Intelligent System of Urban Events for Mobile Devices.

Sergio Misó, Miguel J. Hornos, María Luisa Rodríguez

Proceedings of the 2012 Eighth International Conference on Intelligent Environments, 2012

Introduction to the Proceedings of WoRIE'12.

Miguel J. Hornos, Juan Carlos Augusto, Pablo A. Haya

Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

Using Simulation and Verification to Inform the Development of Intelligent Environments.

Juan Carlos Augusto, Miguel J. Hornos

Proceedings of the Workshop Proceedings of the 8th International Conference on Intelligent Environments, 2012

2011

A Linguistic Multi-Criteria Decision Making Model Applied to the Integration of Education Questionnaires.

Ramón Alberto Carrasco, Pedro Villar, Miguel J. Hornos, Enrique Herrera-Viedma

Int. J. Comput. Intell. Syst., 2011

Game of gifts purchase: Computer-based training of executive functions for the elderly.

Álvaro López-Martínez, Sandra Santiago-Ramajo, Alfonso Caracuel, Carlos Valls-Serrano, Miguel J. Hornos, María José Rodríguez-Fórtiz

Proceedings of the 2011 IEEE 1st International Conference on Serious Games and Applications for Health, 2011

Adaptive geolocated cultural information system for mobile devices.

Sergio Misó, Miguel J. Hornos, María Luisa Rodríguez

Proceedings of the 11th International Conference on Intelligent Systems Design and Applications, 2011

2009

Towards Compositional Verification in MEDISTAM-RT Methodological Framework.

Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera

Proceedings of the Distributed Computing, 2009

Service-Based Layered Architectural Model for Building Collaborative Applications in Heterogeneous Environments.

Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski

Proceedings of the 2009 Mexican International Conference on Computer Science, 2009

2007

Applying Quality Hypermedia Design Principles to a Web-based Educational System.

Roberto F. Arroyo, Nuria Medina-Medina, Miguel J. Hornos, Fernando Molina

Proceedings of the WEBIST 2007, 2007

Designing User Interfaces for Collaborative Applications: A Model-Based Approach.

María Luisa Rodríguez, José Luis Garrido, María Visitación Hurtado, Manuel Noguera, Miguel J. Hornos

Proceedings of the New Trends on Human-Computer Interaction, 2007

Evolution of the Design and Implementation of Tutor: A Web-Based Educational System for University Courses.

Roberto F. Arroyo, Miguel J. Hornos, Rosana Montes

Proceedings of the Computer Aided Systems Theory, 2007

Ontology-Based Modelling of Session Management Policies for Groupware Applications.

Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez

Proceedings of the Computer Aided Systems Theory, 2007

Architecture for Developing Adaptive and Adaptable Collaborative Applications.

Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez

Proceedings of the Software Architecture, First European Conference, 2007

2006

Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture.

Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez

Proceedings of the Rapid Integration of Software Engineering Techniques, 2006

SOA-based Generic Architecture for CSCW Systems.

Mario Anzures-García, Patricia Paderewski, Miguel J. Hornos

Proceedings of the I. International Conference on Ubiquitous Computing: Applications, 2006

Web Knowledge Management for Small and Medium-Size Enterprises - WebTour: A Case Study from the Tourism Sector.

María M. Abad-Grau, Francisco Araque, Rosana Montes, María Visitación Hurtado, Miguel J. Hornos

Proceedings of the ICEIS 2006, 2006

2005

A Software Architecture Intended to Design High Quality Groupware Applications.

José Luis Garrido, Patricia Paderewski, María Luisa Rodríguez-Almendros, Miguel J. Hornos, Manuel Noguera

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

2004

FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking.

Miguel J. Hornos

J. Univers. Comput. Sci., 2004

Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata.

Miguel J. Hornos

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

2002

On-the-fly model checking from interval logic specifications.

Miguel J. Hornos, Manuel I. Capel

ACM SIGPLAN Notices, 2002

2001

Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos.

Miguel J. Hornos, Manuel I. Capel

Proceedings of the VI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2001), 2001

Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic.

Miguel J. Hornos, Manuel I. Capel

Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001