Juan Antonio Holgado Terriza

28 papers B 1C 1Misc 1Journal 4Unranked 21
YearRankTypeTitle / Venue / Authors
2021 — conf
AMon: A Monitoring Multidimensional Feature Application to Secure Android Environments.
SP (Workshops)
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
2021 — conf
Monitoring Android Communications for Security.
INFOCOM Workshops
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
2020 J jnl
Empirical Model of Radio Wave Propagation in the Presence of Vegetation inside Greenhouses Using Regularized Regressions.
Sensors
Dora Cama-Pinto, Miguel Damas, Juan Antonio Holgado Terriza, Francisco Manuel Arrabal-Campos, Francisco Gómez-Mula, Juan Antonio Martínez Martínez-Lao, Alejandro Cama-Pinto
2019 — conf
Smart Home: Multimodal Interaction for Control of Home Devices.
Interacción
Miguel Angel Contreras-Castañeda, Juan Antonio Holgado Terriza, W. Gonzalo Pomboza-Junez, Patricia Paderewski-Rodríguez, Francisco Luis Gutiérrez Vela
2016 B conf
A Framework for the Development of Smart Ubiquitous Real-Time Systems Based on the Internet of Agents and Internet of Services Approaches.
Intelligent Environments (Workshops)
Pablo Pico-Valencia, Juan Antonio Holgado Terriza
2016 — conf
ADELE: A Middleware for Supporting the Evolution of Multi-agents Systems Based on a Metaprogramming Approach.
PAAMS (Special Sessions)
Pablo Pico-Valencia, Juan Antonio Holgado Terriza
2016 — conf
An Agent Middleware for Supporting Ecosystems of Heterogeneous Web Services.
FNC/MobiSPC
Pablo A. Pico-Valencia, Juan Antonio Holgado Terriza
2016 — conf
Gestural Interaction with Mobile Devices: An analysis based on the user's posture.
Interacción
W. Gonzalo Pomboza-Junez, Juan Antonio Holgado Terriza
2016 — conf
Hand gesture recognition based on sEMG signals using Support Vector Machines.
ICCE-Berlin
W. Gonzalo Pomboza-Junez, Juan Antonio Holgado Terriza
2016 — conf
Semantic Agent Contracts for Internet of Agents.
WI Workshops
Pablo Pico-Valencia, Juan Antonio Holgado Terriza
2014 J jnl
Distributed Service-Based Approach for Sensor Data Fusion in IoT Environments.
Sensors
Sandra Rodríguez-Valenzuela, Juan Antonio Holgado Terriza, José M. Gutiérrez-Guerrero, Jesús Luis Muros-Cobos
2014 — conf
Towards sustainability in multi-modal urban planners.
ICCVE
Manuel J. Baena-Toquero, Jesús Luis Muros-Cobos, Sandra Rodríguez-Valenzuela, Juan Antonio Holgado Terriza
2014 — conf
mHealthDroid: A Novel Framework for Agile Development of Mobile Health Applications.
IWAAL
Oresti Baños, Rafael García, Juan Antonio Holgado Terriza, Miguel Damas, Héctor Pomares, Ignacio Rojas Ruiz, Alejandro Saez, Claudia Villalonga
2012 J jnl
A Componentizable Server-Side Framework for Building Remote and Virtual Laboratories.
Int. J. Online Eng.
Jesús Luis Muros-Cobos, Juan Antonio Holgado Terriza
2011 C conf
Services Composition Model for Home-Automation peer-to-peer Pervasive Computing.
FedCSIS
Juan Antonio Holgado Terriza, Sandra Rodríguez-Valenzuela
2009 — conf
A flexible Java framework for embedded systems.
JTRES
Juan Antonio Holgado Terriza, Jaime Viúdez-Aivar
2008 Misc conf
A Home-Automation Platform towards Ubiquitous Spaces Based on a Decentralized P2P Architecture.
DCAI
Sandra S. Rodríguez, Juan Antonio Holgado Terriza
2007 J jnl
A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models.
Sci. Comput. Program.
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
2007 — conf
An Interpretation of Behavioral Consistency of UML-RT Diagrams in Terms of CSP+T.
MSVVEIS
Manuel I. Capel Tuñón, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
2007 — conf
Java-Based Adaptable Middleware Platform for Virtual Instrumentation.
VECIMS
Juan Antonio Holgado Terriza, Alfredo Moreno Guillén, Manuel I. Capel Tuñón
2007 — conf
Towards UML-RT Behavioural Consistency.
ICEIS (3)
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
2006 — conf
A Semantic Formalization of UML-RT Models with csp+t Processes Applicable to Real-time Systems Verification.
JISBD
Manuel I. Capel, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza
2006 — conf
CSPJade: Architectural Driven Development of Complex Embedded System Software Using a CSP Paradigm Based Generation Tool Code.
MSVVEIS
Agustín Escámez, Kawtar Benghazi Akhlaki, Juan Antonio Holgado Terriza, Manuel I. Capel
2006 — conf
Design of Real-Time Systems by Systematic Transformation of UML/RT Models into Simple Timed Process Algebra System Specifications.
ICEIS (3)
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza
2006 — conf
Formal Specification of Real-Time Systems by Transformation of UML-RT Design Models.
MSVVEIS
Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales
2005 — conf
An Integration Scheme for CPN and Process Algebra Applied to a Manufacturing Industry Case.
MSVVEIS
Manuel I. Capel, Juan Antonio Holgado Terriza, Agustín Escámez
2005 — conf
Transforming SA/RT Graphical Specifications into CSP+T Formalism - Obtaining a Formal Specification from Semi-Formal SA/RT Essential Models.
ICEIS (3)
Manuel I. Capel, Juan Antonio Holgado Terriza
2004 — conf
Systematic Design of Real-Time Systems Based on CSP+T Process Algebra.
VVEIS
Manuel I. Capel, José R. Balsas, Juan Antonio Holgado Terriza