Automata Generation for On-the-fly Automatic Verification Using Formulas of an Interval Logic. - Miguel J. Hornos; Manuel I. Capel (ACSD, 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 (JISBD, 2001)

On-the-fly model checking from interval logic specifications. - Miguel J. Hornos; Manuel I. Capel (ACM SIGPLAN Notices, 2002)

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 (VVEIS, 2004)

FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking. - Miguel J. Hornos (J. Univers. Comput. Sci., 2004)

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 (Software Engineering Research and Practice, 2005)

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 (ICEIS (1), 2006)

SOA-based Generic Architecture for CSCW Systems. - Mario Anzures-García; Patricia Paderewski; Miguel J. Hornos (ICUC, 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 (RISE, 2006)

Architecture for Developing Adaptive and Adaptable Collaborative Applications. - Mario Anzures-García; Miguel J. Hornos; Patricia Paderewski-Rodríguez (ECSA, 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 (EUROCAST, 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 (EUROCAST, 2007)

Designing User Interfaces for Collaborative Applications: A Model-Based Approach. - María Luisa Rodríguez 001; José Luis Garrido; María Visitación Hurtado; Manuel Noguera; Miguel J. Hornos (Interacción (selected papers), 2007)

Applying Quality Hypermedia Design Principles to a Web-based Educational System. - Roberto F. Arroyo; Nuria Medina-Medina; Miguel J. Hornos; Fernando Molina (WEBIST (3), 2007)

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 (ENC, 2009)

Towards Compositional Verification in MEDISTAM-RT Methodological Framework. - Kawtar Benghazi Akhlaki; Miguel J. Hornos; Manuel Noguera (IWANN (2), 2009)

Adaptive geolocated cultural information system for mobile devices. - Sergio Misó; Miguel J. Hornos; María Luisa Rodríguez 001 (ISDA, 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 (SeGAH, 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)

Using Simulation and Verification to Inform the Development of Intelligent Environments. - Juan Carlos Augusto; Miguel J. Hornos (Intelligent Environments (Workshops), 2012)

Introduction to the Proceedings of WoRIE'12. - Miguel J. Hornos; Juan Carlos Augusto; Pablo A. Haya (Intelligent Environments (Workshops), 2012)

Highly Adaptive and Context-Aware Intelligent System of Urban Events for Mobile Devices. - Sergio Misó; Miguel J. Hornos; María Luisa Rodríguez 001 (Intelligent Environments, 2012)

Long-distance runner training system for smartphones. - Samuel Sandru; Miguel J. Hornos; María Luisa Rodríguez 001 (Interacción, 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)

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)

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 001; Carlos Rodríguez-Domínguez; Ana Belén Pelegrina Ortiz; María José Rodríguez-Fórtiz (J. Syst. Softw., 2012)

Designing More Reliable MAS-based Ambient Intelligence Systems. - Juan Carlos Augusto; Miguel J. Hornos (Agents and Ambient Intelligence, 2012)

Software simulation and verification to increase the reliability of Intelligent Environments. - Juan Carlos Augusto; Miguel J. Hornos (Adv. Eng. Softw., 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)

Introduction to the Proceedings of WoRIE'14. - Miguel J. Hornos; Juan Carlos Augusto; Pablo A. Haya (Intelligent Environments (Workshops), 2014)

Knowledge Representation for Development of Collaborative Applications. - Mario Anzures-García; Luz A. Sánchez-Gálvez; Miguel J. Hornos; Patricia Paderewski (LANMR, 2014)

Introduction to the Proceedings of WoRIE'15. - Miguel J. Hornos; Juan Carlos Augusto (Intelligent Environments (Workshops), 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)

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)

Introduction to the Proceedings of WoRIE'16. - Miguel J. Hornos; Juan Carlos Augusto (Intelligent Environments (Workshops), 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)

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)

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)

Introduction to the Proceedings of WoRIE'17. - Miguel J. Hornos; Juan Carlos Augusto (Intelligent Environments (Workshops), 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)

Application of Software Engineering techniques to improve the reliability of Intelligent Environments. - Miguel J. Hornos (J. Reliab. Intell. Environ., 2017)

Introduction to the Proceedings of WoRIE'18. - Miguel J. Hornos; Juan Carlos Augusto (Intelligent Environments (Workshops), 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)

Increasing user confidence in intelligent environments. - Miguel J. Hornos; Carlos Rodríguez-Domínguez (J. Reliab. Intell. Environ., 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 (Personal Assistants, 2018)

Introduction to the Proceedings of WoRIE'19. - Miguel J. Hornos; Juan Carlos Augusto (Intelligent Environments (Workshops), 2019)

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 (Intelligent Environments (Workshops), 2020)

9th International Workshop on the Reliability of Intelligent Environments (WoRIE 2020) - Introduction. - Miguel J. Hornos; Juan Carlos Augusto (Intelligent Environments (Workshops), 2020)

Introduction to the Proceedings of WoRIE'21. - Carlos Rodríguez-Domínguez; Aditya Santokhee; Miguel J. Hornos; Juan Carlos Augusto (Intelligent Environments (Workshops), 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'22. - Carlos Rodríguez-Domínguez; Aditya Santokhee; Miguel J. Hornos; Juan Carlos Augusto (Intelligent Environments (Workshops), 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 (ISAmI, 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 (UCAmI, 2022)

Intelligent environments with entangled quality properties. - Carlos Rodríguez-Domínguez; Aditya Santokhee; Miguel J. Hornos (J. Reliab. Intell. Environ., 2022)

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 (Intelligent Environments (Workshops), 2023)

IoT Security and Privacy Challenges from the Developer Perspective. - Yaqin Shaheen; Miguel J. Hornos; Carlos Rodríguez-Domínguez (ISAmI, 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)

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, 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 004; Paulo Novais; Carlos Rodríguez-Domínguez; Miguel J. Hornos (Internet Things, 2023)

Addressing Privacy Challenges in Internet of Things (IoT) Applications. - Yaqin Shaheen; Miguel J. Hornos; Carlos Rodríguez-Domínguez (ISAmI, 2024)

Sensing, decision-making and economic impact for next-generation technologies. - Miguel J. Hornos; Víctor Manuel Zamudio Rodríguez (J. Ambient Intell. Smart Environ., 2024)

Development methodologies for IoT-based systems: challenges and research directions. - Miguel J. Hornos; Mario Quinde (J. Reliab. Intell. Environ., 2024)

Test-Driven Development Tool for IoT Systems. - Gleiston Guerrero-Ulloa; Dúval Carvajal-Suárez; Paulo Novais; Miguel J. Hornos; Carlos Rodríguez-Domínguez (IEEE Softw., 2025)