Jesús Martínez

23 papers B 1C 4Misc 2Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2022 J jnl
QoS metrics-in-the-loop for endowing runtime self-adaptation to robotic software architectures.
Multim. Tools Appl.
Adrián Romero-Garcés, Renan Salles De Freitas, Rebeca Marfil, Cristina Vicente-Chicote, Jesús Martínez, Juan F. Inglés-Romero, Antonio Bandera
2019 — conf
Modeling and Estimation of Non-functional Properties: Leveraging the Power of QoS Metrics.
IWINAC (2)
Cristina Vicente-Chicote, Daniel García-Pérez, Pablo García-Ojeda, Juan F. Inglés-Romero, Adrián Romero-Garcés, Jesús Martínez
2018 — conf
A Component-Based and Model-Driven Approach to Deal with Non-Functional Properties through Global QoS Metrics.
MoDELS (Workshops)
Cristina Vicente-Chicote, Juan F. Inglés-Romero, Jesús Martínez, Dennis Stampfer, Alex Lotz, Matthias Lutz, Christian Schlegel
2018 B conf
Towards a robust robotic assistant for Comprehensive Geriatric Assessment procedures: updating the CLARC system.
RO-MAN
Jesús Martínez, Adrián Romero-Garcés, Cristina Suarez, Rebeca Marfil, Karine Lan Hing Ting, Ana Iglesias, Javier García, Fernando Fernández, Alvaro Dueñas-Ruiz, Luis V. Calderita, Antonio Bandera, Juan Pedro Bandera Rubio
2017 J jnl
A Model-Driven Approach to Enable Adaptive QoS in DDS-Based Middleware.
IEEE Trans. Emerg. Top. Comput. Intell.
Juan F. Inglés-Romero, Adrián Romero-Garcés, Cristina Vicente-Chicote, Jesús Martínez
2010 — conf
A Visual Methodology for the Design of Course Contents - A Case Study in Communications Software.
CSEDU (1)
Jesús Martínez
2010 — conf
Improving a Robotics Framework with Real-Time and High-Performance Features.
SIMPAR
Jesús Martínez, Adrián Romero-Garcés, Luis Manso, Pablo Bustos
2009 J jnl
UML-Based Model-Driven Development for HSDPA Design.
IEEE Softw.
Jesús Martínez, Pedro Merino, Alberto Salmerón, Francisco Malpartida
2008 — conf
Software Model Checking for Internet Protocols with Java PathFinder.
MSVVEIS
Jesús Martínez, Cristóbal Jiménez
2007 Misc conf
Applying MDE Methodologies to Design Communication Protocols for Distributed Systems.
CISIS
Jesús Martínez, Pedro Merino, Alberto Salmerón
2007 J jnl
PiXL: Applying xml standards to support the integration of analysis tools for protocols.
Sci. Comput. Program.
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel
2006 C conf
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing.
ISoLA
José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino, Francisco C. Perez, Victoria Morillo
2006 J jnl
On the Evolution of reliability Methods for Critical Software.
Trans. SDPS
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2006 — conf
PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols.
MSVVEIS
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel
2005 J jnl
Model checking active networks with SPIN.
Comput. Commun.
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino
2004 C conf
Integration of Reliability and Performance Analyses for Active Network Services.
FMICS
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodríguez
2004 J jnl
aSPIN: A tool for abstract model checking.
Int. J. Softw. Tools Technol. Transf.
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2003 — conf
Abstract Model Checking and Refinement of Temporal Logic in aSPIN.
ACSD
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2003 C conf
Applying Data Abstraction to XML Formal Designs.
SNPD
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2002 C conf
A Tool for Abstraction in Model Checking.
FMICS
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
2002 Misc conf
Using XML to implement abstraction for Model Checking.
SAC
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales
2002 — conf
alpha SPIN: Extending SPIN with Abstraction.
SPIN
María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel
1998 — conf
The Eva Teleteaching Project - The Concept and the FTurcsányiirst Experience in the Development of Virtual Learning Spaces.
Teleteaching
Gustavo Núñez, Leonid Sheremetov, Jesús Martínez, Adolfo Guzmán