Miguel J. Hornos

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 24

Top Topics

International Conference On Machine Learning

Software Engineering

Conference On Artificial Intelligence

Top Venues

Intelligent Environments (Workshops)

J. Reliab. Intell. Environ.

Res. Comput. Sci.

Expert Syst. Appl.

Publications

Gleiston Guerrero-Ulloa, Carlos Rodríguez-Domínguez, Miguel J. Hornos
Agile Methodologies Applied to the Development of Internet of Things (IoT)-Based Systems: A Review. Sensors 23 (2) (2023)
Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J. Hornos, Juan Carlos Augusto
Preface to the Proceedings of the 12th International Workshop on the Reliability of Intelligent Environments (WoRIE'23). Intelligent Environments (Workshops) (2023)
Gleiston Guerrero-Ulloa, Ariel Fernández-Loor, Francisco Moreira, Paulo Novais, Carlos Rodríguez-Domínguez, Miguel J. Hornos
Validation of a development methodology and tool for IoT-based systems through a case study for visually impaired people. Internet Things 23 (2023)
Yaqin Shaheen, Miguel J. Hornos, Carlos Rodríguez-Domínguez
IoT Security and Privacy Challenges from the Developer Perspective. ISAmI (2023)
Gleiston Guerrero-Ulloa, Alejandra Méndez-García, Valeria Torres-Lindao, Vivian Zamora-Mecías, Carlos Rodríguez-Domínguez, Miguel J. Hornos
Internet of Things (IoT)-based indoor plant care system. J. Ambient Intell. Smart Environ. 15 (1) (2023)
Gleiston Guerrero-Ulloa, Jonathan Villafuerte-Solorzano, Michael Yánez, Miguel J. Hornos, Carlos Rodríguez-Domínguez
Internet of Things (IoT)-Based System for Classroom Access Control and Resource Management. UCAmI (2022)
Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J. Hornos, Juan Carlos Augusto
Introduction to the Proceedings of WoRIE'22. Intelligent Environments (Workshops) (2022)
Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J. Hornos
Intelligent environments with entangled quality properties. J. Reliab. Intell. Environ. 8 (3) (2022)
Gleiston Guerrero-Ulloa, Alex Andrango-Catota, Martín Abad-Alay, Miguel J. Hornos, Carlos Rodríguez-Domínguez
IdeAir: IoT-Based System for Indoor Air Quality Control. ISAmI (2022)
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
Design guide and usability questionnaire to develop and assess VIRTRAEL, a web-based cognitive training tool for the elderly. Behav. Inf. Technol. 40 (13) (2021)
Carlos Rodríguez-Domínguez, Aditya Santokhee, Miguel J. Hornos, Juan Carlos Augusto
Introduction to the Proceedings of WoRIE'21. Intelligent Environments (Workshops) (2021)
Gleiston Guerrero-Ulloa, Miguel J. Hornos, Carlos Rodríguez-Domínguez, Ma. Mercedes Fernández-Coello
IoT-Based Smart Medicine Dispenser to Control and Supervise Medication Intake. Intelligent Environments (Workshops) (2020)
Miguel J. Hornos, Juan Carlos Augusto
9th International Workshop on the Reliability of Intelligent Environments (WoRIE 2020) - Introduction. Intelligent Environments (Workshops) (2020)
Miguel J. Hornos, Juan Carlos Augusto
Introduction to the Proceedings of WoRIE'19. Intelligent Environments (Workshops) (2019)
Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez
A Workflow Ontology to support Knowledge Management in a Group's organizational structure. Computación y Sistemas 22 (1) (2018)
Miguel J. Hornos, Carlos Rodríguez-Domínguez
Increasing user confidence in intelligent environments. J. Reliab. Intell. Environ. 4 (2) (2018)
Miguel J. Hornos, Juan Carlos Augusto
Introduction to the Proceedings of WoRIE'18. Intelligent Environments (Workshops) (2018)
Miguel J. Hornos
Application of Software Engineering techniques to improve the reliability of Intelligent Environments. J. Reliab. Intell. Environ. 3 (1) (2017)
Miguel J. Hornos, Juan Carlos Augusto
Introduction to the Proceedings of WoRIE'17. Intelligent Environments (Workshops) (2017)
Andres Cid-López, Miguel J. Hornos, Ramón Alberto Carrasco, Enrique Herrera-Viedma, Francisco Chiclana
Linguistic multi-criteria decision-making model with output variable expressive richness. Expert Syst. Appl. 83 (2017)
Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez
Semantic Formalism for Modelling the Group Interaction. Res. Comput. Sci. 118 (2016)
Miguel J. Hornos, Juan Carlos Augusto
Introduction to the Proceedings of WoRIE'16. Intelligent Environments (Workshops) (2016)
Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez
Knowledge-based Workflow Ontology for Group Organizational Structure. Res. Comput. Sci. 123 (2016)
Andres Cid-López, Miguel J. Hornos, Ramón Alberto Carrasco, Enrique Herrera-Viedma
Applying a linguistic multi-criteria decision-making model to the analysis of ICT suppliers' offers. Expert Syst. Appl. 57 (2016)
Miguel J. Hornos, Juan Carlos Augusto
Introduction to the Proceedings of WoRIE'15. Intelligent Environments (Workshops) (2015)
Andres Cid-López, Miguel J. Hornos, Ramón Alberto Carrasco, Enrique Herrera-Viedma
SICTQUAL: A fuzzy linguistic multi-criteria model to assess the quality of service in the ICT sector from the user perspective. Appl. Soft Comput. 37 (2015)
Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez
A Software Architecture for Defining a Methodologic Approach to Develop Collaborative Applications. Res. Comput. Sci. 105 (2015)
Miguel J. Hornos, Juan Carlos Augusto, Pablo A. Haya
Introduction to the Proceedings of WoRIE'14. Intelligent Environments (Workshops) (2014)
Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski
Knowledge Representation for Development of Collaborative Applications. LANMR (2014)
Juan Carlos Augusto, Miguel J. Hornos
Software simulation and verification to increase the reliability of Intelligent Environments. Adv. Eng. Softw. 58 (2013)
Ramón Alberto Carrasco, Francisco Muñoz-Leiva, Miguel J. Hornos
A multidimensional data model using the fuzzy model based on the semantic translation. Inf. Syst. Frontiers 15 (3) (2013)
Samuel Sandru, Miguel J. Hornos, María Luisa Rodríguez
Long-distance runner training system for smartphones. Interacción (2012)
Juan Carlos Augusto, Miguel J. Hornos
Using Simulation and Verification to Inform the Development of Intelligent Environments. Intelligent Environments (Workshops) (2012)
Sergio Misó, Miguel J. Hornos, María Luisa Rodríguez
Highly Adaptive and Context-Aware Intelligent System of Urban Events for Mobile Devices. Intelligent Environments (2012)
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
Enabling correct design and formal analysis of Ambient Assisted Living systems. J. Syst. Softw. 85 (3) (2012)
Ramón Alberto Carrasco, Pedro Villar, Miguel J. Hornos, Enrique Herrera-Viedma
A linguistic multicriteria decision-making model applied to hotel service quality evaluation from web data sources. Int. J. Intell. Syst. 27 (7) (2012)
Miguel J. Hornos, Juan Carlos Augusto, Pablo A. Haya
Introduction to the Proceedings of WoRIE'12. Intelligent Environments (Workshops) (2012)
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
Hierarchical Role-based Design of Web-based Educational Systems for Blended Learning in Higher Education. J. Res. Pract. Inf. Technol. 44 (2) (2012)
Sergio Misó, Miguel J. Hornos, María Luisa Rodríguez
Adaptive geolocated cultural information system for mobile devices. ISDA (2011)
Álvaro López-Martínez, Sandra Santiago-Ramajo, Alfonso Caracuel, Carlos Valls-Serrano, Miguel J. Hornos, María José Rodríguez-Fórtiz
Game of gifts purchase: Computer-based training of executive functions for the elderly. SeGAH (2011)
Ramón Alberto Carrasco, Pedro Villar, Miguel J. Hornos, Enrique Herrera-Viedma
A Linguistic Multi-Criteria Decision Making Model Applied to the Integration of Education Questionnaires. Int. J. Comput. Intell. Syst. 4 (5) (2011)
Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski
Service-Based Layered Architectural Model for Building Collaborative Applications in Heterogeneous Environments. ENC (2009)
Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera
Towards Compositional Verification in MEDISTAM-RT Methodological Framework. IWANN (2) (2009)
Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez
Architecture for Developing Adaptive and Adaptable Collaborative Applications. ECSA (2007)
María Luisa Rodríguez, José Luis Garrido, María Visitación Hurtado, Manuel Noguera, Miguel J. Hornos
Designing User Interfaces for Collaborative Applications: A Model-Based Approach. Interacción (selected papers) (2007)
Mario Anzures-García, Luz A. Sánchez-Gálvez, Miguel J. Hornos, Patricia Paderewski-Rodríguez
Ontology-Based Modelling of Session Management Policies for Groupware Applications. EUROCAST (2007)
Roberto F. Arroyo, Miguel J. Hornos, Rosana Montes
Evolution of the Design and Implementation of Tutor: A Web-Based Educational System for University Courses. EUROCAST (2007)
Roberto F. Arroyo, Nuria Medina-Medina, Miguel J. Hornos, Fernando Molina
Applying Quality Hypermedia Design Principles to a Web-based Educational System. WEBIST (3) (2007)
Mario Anzures-García, Miguel J. Hornos, Patricia Paderewski-Rodríguez
Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture. RISE (2006)
Mario Anzures-García, Patricia Paderewski, Miguel J. Hornos
SOA-based Generic Architecture for CSCW Systems. ICUC (2006)
María M. Abad-Grau, Francisco Araque, Rosana Montes, María Visitación Hurtado, Miguel J. Hornos
Web Knowledge Management for Small and Medium-Size Enterprises - WebTour: A Case Study from the Tourism Sector. ICEIS (1) (2006)
José Luis Garrido, Patricia Paderewski, María Luisa Rodríguez-Almendros, Miguel J. Hornos, Manuel Noguera
A Software Architecture Intended to Design High Quality Groupware Applications. Software Engineering Research and Practice (2005)
Miguel J. Hornos
FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking. J. Univers. Comput. Sci. 10 (11) (2004)
Miguel J. Hornos
Towards a More Intuitive Specification and Automatic Verification of System Properties with FBT: A Tool for Translating Interval Formulas into Büchi Automata. VVEIS (2004)
Miguel J. Hornos, Manuel I. Capel
On-the-fly model checking from interval logic specifications. ACM SIGPLAN Notices 37 (12) (2002)
Miguel J. Hornos, Manuel I. Capel
Verificación Automatizada Eficiente de Sistemas Concurrentes Especificando Sus Propiedades con Fórmalus de una Lógica de Intervalos. JISBD (2001)
Miguel J. Hornos, Manuel I. Capel
Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic. ACSD (2001)