Juan Antonio Holgado Terriza

According to our database, Juan Antonio Holgado Terriza authored at least 24 papers between 2004 and 2021.

Collaborative distances:

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

2021

AMon: A Monitoring Multidimensional Feature Application to Secure Android Environments.

José Antonio Gómez-Hernández, Pedro García-Teodoro, Juan Antonio Holgado Terriza, Gabriel Maciá-Fernández, José Camacho-Páez, M. Robles-Carrillo

Proceedings of the IEEE Security and Privacy Workshops, 2021

Monitoring Android Communications for Security.

José Antonio Gómez-Hernández, Pedro García-Teodoro, Juan Antonio Holgado Terriza, Gabriel Maciá-Fernández, José Camacho-Páez, J. M. Noguera-Comino

Proceedings of the 2021 IEEE Conference on Computer Communications Workshops, 2021

2019

Smart Home: Multimodal Interaction for Control of Home Devices.

Miguel Angel Contreras-Castañeda, Juan Antonio Holgado Terriza, W. Gonzalo Pomboza-Junez, Patricia Paderewski-Rodríguez, Francisco Luis Gutiérrez Vela

Proceedings of the XX International Conference on Human Computer Interaction, 2019

2016

Semantic Agent Contracts for Internet of Agents.

Pablo Pico-Valencia, Juan Antonio Holgado Terriza

Proceedings of the 2016 IEEE/WIC/ACM International Conference on Web Intelligence, 2016

ADELE: A Middleware for Supporting the Evolution of Multi-agents Systems Based on a Metaprogramming Approach.

Pablo Pico-Valencia, Juan Antonio Holgado Terriza

Proceedings of the Trends in Practical Applications of Scalable Multi-Agent Systems, 2016

Gestural Interaction with Mobile Devices: An analysis based on the user's posture.

W. Gonzalo Pomboza-Junez, Juan Antonio Holgado Terriza

Proceedings of the XVII International Conference on Human Computer Interaction, 2016

A Framework for the Development of Smart Ubiquitous Real-Time Systems Based on the Internet of Agents and Internet of Services Approaches.

Pablo Pico-Valencia, Juan Antonio Holgado Terriza

Proceedings of the Intelligent Environments 2016, 2016

Hand gesture recognition based on sEMG signals using Support Vector Machines.

W. Gonzalo Pomboza-Junez, Juan Antonio Holgado Terriza

Proceedings of the IEEE 6th International Conference on Consumer Electronics - Berlin, 2016

An Agent Middleware for Supporting Ecosystems of Heterogeneous Web Services.

Pablo A. Pico-Valencia, Juan Antonio Holgado Terriza

Proceedings of the 11th International Conference on Future Networks and Communications (FNC 2016) / The 13th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2016) / Affiliated Workshops, 2016

2014

mHealthDroid: A Novel Framework for Agile Development of Mobile Health Applications.

Oresti Baños, Rafael García, Juan Antonio Holgado Terriza, Miguel Damas, Héctor Pomares, Ignacio Rojas Ruiz, Alejandro Saez, Claudia Villalonga

Proceedings of the Ambient Assisted Living and Daily Activities, 2014

Towards sustainability in multi-modal urban planners.

Manuel J. Baena-Toquero, Jesús Luis Muros-Cobos, Sandra Rodríguez-Valenzuela, Juan Antonio Holgado Terriza

Proceedings of the International Conference on Connected Vehicles and Expo, 2014

2011

Services Composition Model for Home-Automation peer-to-peer Pervasive Computing.

Juan Antonio Holgado Terriza, Sandra Rodríguez-Valenzuela

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2009

A flexible Java framework for embedded systems.

Juan Antonio Holgado Terriza, Jaime Viúdez-Aivar

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

2008

A Home-Automation Platform towards Ubiquitous Spaces Based on a Decentralized P2P Architecture.

Sandra S. Rodríguez, Juan Antonio Holgado Terriza

Proceedings of the International Symposium on Distributed Computing and Artificial Intelligence, 2008

2007

An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T.

Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales

Proceedings of the Modelling, 2007

Java-Based Adaptable Middleware Platform for Virtual Instrumentation.

Juan Antonio Holgado Terriza, Alfredo Moreno Guillén, Manuel I. Capel Tuñón

Proceedings of the IEEE International Conference on Virtual Environments, 2007

Towards UML-RT Behavioural Consistency.

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales

Proceedings of the ICEIS 2007, 2007

2006

CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code.

Agustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel

Proceedings of the Modelling, 2006

Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models.

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales

Proceedings of the Modelling, 2006

A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification.

Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza

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

Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications.

Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza

Proceedings of the ICEIS 2006, 2006

2005

An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case.

Manuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez

Proceedings of the Modelling, 2005

Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models.

Manuel I. Capel, Juan Antonio Holgado Terriza

Proceedings of the ICEIS 2005, 2005

2004

Systematic Design of Real-Time Systems Based on CSP+T Process Algebra.

Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza

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