Miguel J. Hornos

Miguel J. Hornos
University of Granada | UGR · Departamento de Lenguajes y Sistemas Informáticos

Doctor of Engineering

About

68
Publications
14,835
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
412
Citations
Citations since 2016
21 Research Items
280 Citations
2016201720182019202020212022010203040
2016201720182019202020212022010203040
2016201720182019202020212022010203040
2016201720182019202020212022010203040

Publications

Publications (68)
Chapter
Internet of Things (IoT) is transforming our society and even the way people interact with their environment. In an IoT-based system (IoTS), the identification, authentication and authorization of people and objects is especially important to be able to avoid privacy and security issues. This paper presents an IoTS to control access to classrooms a...
Article
Full-text available
The design of the packages of products/services to be offered by a telecom company to its clients is a complex decision-making process that must consider different criteria to achieve both customer satisfaction and optimization of the company’s resources. In this process, Intuitionistic Fuzzy Sets (IFSs) can be used to manage uncertainty and better...
Conference Paper
Full-text available
This paper presents a system consisting of a smart medicine dispenser of solid medications (pills, capsules,.. .) and a mobile application for its configuration and management. The main idea is to offer a solution to help people (es-pecially vulnerable ones) to avoid incorrect medication intakes. In this regard, the smart dispenser delivers the req...
Article
In most developed countries, the population is gradually ageing. Due to this, there is an increasing demand for technologies whose design is specifically oriented towards meeting the needs of the elderly. In this paper, we describe a web-based cognitive training tool for elderly people, called VIRTRAEL, which comprises 18 exercises presented in 13...
Chapter
This paper presents a development methodology for Internet of Things (IoT)-based Systems (IoTS) that gathers ideas from several of the most outstanding software development paradigms nowadays, such as Model-Driven Engineering (MDE) and Test-Driven Development (TDD), in addition to incorporating the principles that govern agile software development...
Chapter
The aging of the population in most developed countries has increased the need of proposing and adopting systems to monitor the behaviour of elder people with cognitive impairment. Home monitoring is particularly important for caregivers and relatives, who are in charge of these persons in potentially risky environments (e.g., the kitchen, the bath...
Article
Full-text available
The market launch of new products and services is a basic pillar for large and medium-sized companies in the ICT (Information and Communications Technology) sector. Choosing the right moment for it is usually a differentiating factor in terms of competition, since it is a source of competitive advantage. There are several mechanisms and strategies...
Article
In CSCW (Computer Supported Cooperative Work), managing the group’s organizational structure allows to control how the group members communicate, collaborate, and coordinate, to achieve a common goal, in order to benefit an organization or a community. Consequently, establishing an appropriate model of this structure’s management is very important,...
Chapter
Full-text available
Personal assistants using emerging technologies are showing a great potential to provide an important impact in different aspects of daily human life currently and during the near future. They are usually intended to help people with especial needs. The one presented in this chapter, called VIRTRAEL, is especially designed to assess, stimulate and...
Article
This paper proposes a workflow ontology-based methodological approach to build a tutorial function groupware and a directed acyclic graph to generate a student' critical route. Accordingly, the development of a groupware to manage and control the monitoring of an educational path by a tutor, is necessary. This is possible as, on the one hand, the w...
Article
Full-text available
In general, traditional decision-making models are based on methods that perform calculations on quantitative measures. These methods are usually applied to assess possible solutions to a problem, resulting in a ranking of alternatives. However, when it comes to making decisions about qualitative measures –such as service quality–, the quantitative...
Article
Full-text available
Tender analysis processes are everyday processes in any company, but they become even more important when the financial resources are limited. Achieving optimal and transparent tender analysis processes requires hard work from everyone involved. This paper proposes a linguistic multi-criteria decision-making model which helps decision-makers in thi...
Article
The majority of businesses in the Information and Communications Technology (ICT) sector face decision-making problems on a daily basis. Most of these problems are based on contexts of uncertainty, where decisions are founded on qualitative information which may be imprecise or perception-based. In these cases, the information which is expressed by...
Article
Full-text available
The Information and Communication Technologies (ICTs) play an important role in the economic development, making it necessary to assess the quality of service perceived by consumers in this sector. The most effective quality assessment from the consumer perspective is still to be researched, yet the most common approach is oriented towards quantita...
Article
Full-text available
Given that knowledge is a portion of all human activities, it is necessary to store it —seizing its meaning— organize it and make it available. So, it requires a representation scheme to provide a set of procedures, which allows the knowledge, to be stored, organized, and to represent the problem naturally. In such a way, a knowledge base can be pr...
Article
The workflow to develop collaborative applications should be highly adaptable to frequent organizational changes. In order to increase the adaptability of workflow, an ontology-based workflow model is proposed. This model represents the set of steps - along with their order of execution - performed by different entities for developing this kind of...
Article
Full-text available
With the rapid development of Web 2.0 sites such as Blogs and Wikis users are encouraged to express opinions about certain products, services or social topics over the web. There is a method for aggregating these opinions, called Opinion Aggregation, which is made up of four steps: Collect, Identify, Classify and Aggregate. In this paper, we presen...
Article
This paper explains how the Spin model checker can be used to guide and inform the development of more reliable Intelligent Environments. The idea is to present a methodological guide which provides strategies and suggestions on how to model, simulate and verify these types of systems, as well as to facilitate the use of well-known tools like Spin...
Chapter
In this chapter, we address the problem of integrating semantically heterogeneous data (including data expressed in natural language), which are collected from various questionnaires published in different websites, into a Data Warehouse. We present an extension of the sentences and architecture of data mining Fuzzy Structured Query Language as an...
Conference Paper
For many people nowadays, sports is a vital part of their physical and mental well-being and there is a certain sport that each day acquires more adepts, running. The proposal presented in this paper tries to help runners by offering assistance for those interested in competing in long distance running, and more specifically in marathon distance. O...
Article
Currently, there are a large number of hotel Web sites that develop their own seals of quality based on customer feedback. As a result, a hotel can be classified differently by various Web sites at the same time, creating confusion in the consumer perceptions about the quality of a given hotel. Moreover, there are attempts to standardize such servi...
Conference Paper
This paper presents a system that provides the users information about cultural, training and leisure activities that they could probably be interested in. These activities shown on the screen of a mobile device will take place in the user's environment. We intend to make information more accessible to the users so that they can take advantage of t...
Article
Educational software should be designed by development teams with actual teachers. Thus, implementations of this type of software would be able to cover most teaching requirements and to adjust to different teaching principles. Moreover, some more work should be done to abstract common patterns in educational software so that software engineering m...
Article
Ambient Assisted Living (AAL) systems intend to provide services that enable people with specific needs to live an independent and safe life. Emergency treatment services are critical, time-constrained, and require compliance to numerous non-functional (or quality) requirements. In conventional approaches, often, non-functional requirements are kep...
Article
This paper proposes a Service based-Architectural Model for Collaborative Applications (SAMCA), which allows us to develop this type of applications as well as to adapt them to different collaborative scenarios. A collaborative application may be represented by five concerns according to SAMCA. These concerns are represented as layers in the propos...
Conference Paper
Full-text available
This paper presents a game that is integrated into a computer-based training program for several cognitive tasks in the elderly. People with Age-Associated Cognitive Decline (AACD) and people with Mild Cognitive Impairment (MCI) are its target population. The game, which is specially intended to improve or maintain executive functioning, requests u...
Article
Full-text available
We present a model made up of linguistic multi-criteria decision making processes to integrate the answers to heterogeneous questionnaires, based on a five-point Likert scale, into a unique form rooted in the widespread course experience questionnaire. The main advantage of having the resulting integrated questionnaire is that it can be incorporate...
Article
Due to the fact that the group playing a core role in the collaborative applications, it is necessary provide models which allow us to supply a shared workspace in which users perform their tasks using shared resources, to coordinate the interaction among users and between them and the shared resources, to facilitate the user access to the collabor...
Article
Full-text available
En el marco de la empresa, las tecnologías de la información tienen sin duda una importante dimensión en las actividades habituales de organización, producción, control de gestión, marketing, planificación estratégica, etc., Sin embargo no todas las organizaciones ven en estas técnicas un motor de cambio en su estructura organizacional y en determi...
Article
Full-text available
This paper outlines our experience in the development of augmentative and alternative communication systems (AACS) and their application in Special Education schools. We have created, within the Sc@ut Project (http://scaut.ugr.es), a platform to design AACS for people with special communication needs, e.g. people with autism, dysphasia and brain pa...
Conference Paper
In this paper, we present results ensuring the correct compositionality of the components (named capsules in UML-RT terminology) of a real-time system at different specification stages using the methodological framework called MEDISTAM-RT, which guarantees the temporal consistency and safe (deadlock free) communication between capsules. This allows...
Chapter
Full-text available
For collaborative applications to be usable, their user interfaces should facilitate the process of sharing information within a group while carrying out common tasks. Currently, the design based on models is one of the most used techniques that seeks to assure high usability. In user interface design, models can describe and help to analyze abstra...
Article
The development of collaborative applications should take into account static and dynamic issues, as well as different technological aspects that allow adapting them to either several working groups’ needs or new collaborative scenarios, since these applications have to be continuously running its correct functionality. For this reason, this paper...
Article
In this paper we present MEDISTAM-RT, a methodological framework for the design and analysis of real-time systems. We expose visual models and metamodels based on the UML-RT notation. These models are intended to capture different system views of a real–time system: contextual, static, dynamic and temporal views. We describe a systematic modeling p...
Conference Paper
Many organizations have to carry out their work by groups of people who are geographically distributed. The groups can experiment changes, which demand the development of applications supporting groupwork and allowing the adaptation to different groupwork organization styles and to both individual and collective needs. This paper proposes a SOA-bas...
Conference Paper
Full-text available
We have designed a web platform to support the teaching and learning of certain subjects taught in the University of Granada. This platform facilitates students and teachers diverse educational tasks and provides an effective management of academic data. Originally, it was intended for a reduced array of subjects, but as a result of its increasing...
Conference Paper
Groupware applications support group work and groups may perform geographically distributed with different roles and using different organizational structures. It is important that these applications do not provide only the needed infrastructure to support group work, but also grant some ways to change the group behaviour during a session. Therefor...
Article
This paper presents Tutor, a web-based educational support system for university-related teaching, learning and academic data management. It explains the most relevant aspects of its design (e.g. underlying role-based model and architecture) and the main operations that each type of user can perform in the system. It also analyzes the answers given...
Conference Paper
This paper presents a study of the main current collaborative applications and shows how their architectural models focus on the interactive aspects of the systems for very specific applications. It also analyses state-of-the-art web service-based collaborative applications and shows how they only solve specific problems and do not provide an exten...
Conference Paper
Full-text available
The current enterprise world has become global and complex. Knowledge management is a key to have a competitive advantage as it allows detecting in advance customer trends and market evolution. While knowledge management systems are usually unaffordable for small or even medium-size enterprises, a tool to be shared between them is a more realistic...
Conference Paper
Full-text available
In this paper, we present an SOA-based generic architecture for CSCW systems, directed towards overcoming the shortcomings of other architectural models when developing this type of system, as well as tackling the lack of a generic architecture in web service-based collaborative applications. Since it is based on SOA, the resulting application has...
Conference Paper
Technology is increasing the possibilities for group work, and even changing the way in which traditionally cooperative tasks are performed. Users are therefore part of a shared environment where distributed systems (called groupware) support and promote human-human interaction. Main requirements in the development of groupware systems are related...
Article
Full-text available
Palabras clave: Data Warehouse, bases de datos, gestión comercial RESUMEN En el marco actual de la empresa, la confluencia de nuevas infraestructuras de comunicación con potentes y flexibles herramientas de tratamiento de información (bases de datos, Data Warehouse −DW−, Data Mining,...) mejoran la calidad, cantidad y eficiencia de los datos comerc...
Article
This paper presents the FBT (FIL to Büchi automaton Translator) tool which automatically translates any formula from FIL (Future Interval Logic) into its semantically equivalent Büchi automaton. There are two advantages of using this logic for specifying and verifying system properties instead of other more traditional and extended temporal logics,...
Conference Paper
This paper presents the FBT (FIL to Büchi automaton Translator) tool which automatically translates any formula from FIL (Future Interval Logic) into its semantically equivalent Büchi automaton. There are two advan- tages of using this logic for specifying and verifying system properties instead of other more traditional and extended temporal logic...
Article
Full-text available
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to verify hardware and software systems. An interval clearly defines the temporal scope over which properties are evaluated. From interval formulas specifying the temporal beh...
Conference Paper
Full-text available
This paper looks at the application of Future Interval Logic (FIL) to the automatic verification of temporal logic interval formulas. An algorithm is developed to construct a Buchi automaton which is semantically equivalent to a system specification described by means of FIL formulas. The algorithm is intended to be used within the framework of on-...
Article
This paper presents a web-based system for communicating exam marks privately, which has been re- cently incorporated into Tutor, a web-based educational support platform for university-related teaching, learning and academic data management. This system allows students to know their grades at any moment and in any place with access to Internet, av...
Article
Full-text available
Resumen Los avances tecnológicos incrementan las posibilidades de trabajo en grupo, e incluso cambian la forma en que las tareas cooperativas se han realizado tradicionalmente. Los usuarios forman parte de un entorno compartido donde los sistemas de computación distribuida (llamados groupware) dan soporte y promueven la interacción persona-persona....
Article
Full-text available
This document explains how to download and install all the software needed to properly run the Spin model checker and its user-friendly graphical user interface, called iSpin. It also offers a short tutorial which presents the main functionalities of Spin and explains briefly some basic concepts which are important to be able to use Spin through iS...

Questions

Questions (2)
Question
Dear Colleagues,
As you can see by visiting the 17th International Conference on Intelligent Environments (IE’21) website (https://mdx.ac.ae/ie2021), this conference offers a great combination of attractive features: Keynotes, Tutorials, Workshops, Special Sessions, Special Issues in Journals, Awards, etc. Moreover, IEEE will print the proceedings, as in previous editions.
Remember that there will be an online component to the event to compensate for whatever issues are still pending in relation to the COVID-19 pandemic. Therefore, some authors may not need to travel to present. Consequently, savings in travel and accommodation costs are considerable!
Please consider submitting a paper to the Demos & Videos Track and/or the main conference. For the mentioned Track, papers focussed on the most practical and applied aspects of a research work are welcome. These papers are short (maximum 4 pages in IEEE format), and the ones accepted will be published in the same Proceedings of the main conference. We also remind you that it is possible to submit 2 papers about a given research work: one to the main conference, with the most theoretical aspects of the research carried out, and another to the Demos&Videos Track, with the practical application of the proposed solution to a certain problem, or showing how a certain tool or system that has been developed really works, to mention only a couple of examples. Thus, both papers are complementary and mutually enriching.
Therefore, we encourage you and your team to take advantage of all the features mentioned above and submit some paper to this conference and/or its Demos&Videos Track.
The new deadline for paper submissions is 18 December 2020. Please let me know if you are considering making some contribution to this event, as well as if you think you will need a few more days after the established deadline to complete the submission.
We would also appreciate the dissemination of this information to those who might be interested.
Best regards,
Miguel J. Hornos IE’21 Demos & Videos Co-Chair https://mdx.ac.ae/ie2021
Question
Dear Colleages,
We would like to invite you to submit a paper to the 9th International Workshop on the Reliability of Intelligent Environments (WoRIE’20), which will be held within the 16th International Conference on Intelligent Environments (IE 2020) in Madrid (Spain) on 22-25 June 2020. For more information, please consult the Call for Papers (which can be downloaded from https://www.ugr.es/~worie/2020/CFP-WoRIE2020.pdf) or visit its website at https://www.ugr.es/~worie/2020/.
Note that the paper submission deadline is 25 March 2020.
As in previous editions, the proceedings of the workshop will be both open access and indexed in the Conference Proceedings Citation Index - Science (CPCI-S) by Thomson Reuters.
Moreover, quality papers presented in the workshop will be invited to submit extended versions to the closely related Journal of Reliable Intelligent Environments (published by Springer).
Please let us know if you are considering submitting a paper to WoRIE 2020.
We also encourage you to disseminate this information among those who might be interested.
Should you have any enquiries or doubts, please do not hesitate to contact us.
Best regards,
Miguel J. Hornos & Juan C. Augusto
Co-chairs of WoRIE 2020

Network

Cited By

Projects

Projects (3)
Project
The general objective of this project is to create a design proposal for building comprehensive microservice-oriented IoT systems. This methodology will ensure relevant technical quality properties to support holistic and ecological user assessments in the eHealth domain, particularly to promote healthy and active ageing. For more information, please visit the project website: https://mydass.ugr.es/miot-health