default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJesús Martínez
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[j7]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:
QoS metrics-in-the-loop for endowing runtime self-adaptation to robotic software architectures. Multim. Tools Appl. 81(3): 3603-3628 (2022)
2010 – 2019
- 2019
- [c16]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:
Modeling and Estimation of Non-functional Properties: Leveraging the Power of QoS Metrics. IWINAC (2) 2019: 380-388 - 2018
- [c15]Cristina Vicente-Chicote, Juan F. Inglés-Romero, Jesús Martínez, Dennis Stampfer, Alex Lotz, Matthias Lutz, Christian Schlegel:
A Component-Based and Model-Driven Approach to Deal with Non-Functional Properties through Global QoS Metrics. MoDELS (Workshops) 2018: 40-45 - [c14]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:
Towards a robust robotic assistant for Comprehensive Geriatric Assessment procedures: updating the CLARC system. RO-MAN 2018: 820-825 - 2017
- [j6]Juan F. Inglés-Romero, Adrián Romero-Garcés, Cristina Vicente-Chicote, Jesús Martínez:
A Model-Driven Approach to Enable Adaptive QoS in DDS-Based Middleware. IEEE Trans. Emerg. Top. Comput. Intell. 1(3): 176-187 (2017) - 2010
- [c13]Jesús Martínez:
A Visual Methodology for the Design of Course Contents - A Case Study in Communications Software. CSEDU (1) 2010: 434-437 - [c12]Jesús Martínez, Adrián Romero-Garcés, Luis Manso, Pablo Bustos:
Improving a Robotics Framework with Real-Time and High-Performance Features. SIMPAR 2010: 263-274
2000 – 2009
- 2009
- [j5]Jesús Martínez, Pedro Merino, Alberto Salmerón, Francisco Malpartida:
UML-Based Model-Driven Development for HSDPA Design. IEEE Softw. 26(3): 26-33 (2009) - 2008
- [c11]Jesús Martínez, Cristóbal Jiménez:
Software Model Checking for Internet Protocols with Java PathFinder. MSVVEIS 2008: 91-100 - 2007
- [j4]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel:
PiXL: Applying xml standards to support the integration of analysis tools for protocols. Sci. Comput. Program. 65(1): 57-69 (2007) - [c10]Jesús Martínez, Pedro Merino, Alberto Salmerón:
Applying MDE Methodologies to Design Communication Protocols for Distributed Systems. CISIS 2007: 185-190 - 2006
- [j3]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
On the Evolution of reliability Methods for Critical Software. Trans. SDPS 10(4): 55-67 (2006) - [c9]José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino, Francisco C. Perez, Victoria Morillo:
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing. ISoLA 2006: 397-401 - [c8]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Núñez, Ernesto Pimentel:
PiXL: Applying XML Standards to Support the Integration of Analysis Tools for Protocols. MSVVEIS 2006: 57-66 - 2005
- [j2]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino:
Model checking active networks with SPIN. Comput. Commun. 28(6): 609-622 (2005) - 2004
- [j1]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
aSPIN: A tool for abstract model checking. Int. J. Softw. Tools Technol. Transf. 5(2-3): 165-184 (2004) - [c7]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Guillermo Rodríguez:
Integration of Reliability and Performance Analyses for Active Network Services. FMICS 2004: 217-236 - 2003
- [c6]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
Abstract Model Checking and Refinement of Temporal Logic in aSPIN. ACSD 2003: 245-246 - [c5]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
Applying Data Abstraction to XML Formal Designs. SNPD 2003: 315-321 - 2002
- [c4]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Estefanía Rosales:
Using XML to implement abstraction for Model Checking. SAC 2002: 1021-1025 - [c3]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
alpha SPIN: Extending SPIN with Abstraction. SPIN 2002: 254-258 - [c2]María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Ernesto Pimentel:
A Tool for Abstraction in Model Checking. FMICS 2002: 17-32
1990 – 1999
- 1998
- [c1]Gustavo Núñez, Leonid Sheremetov, Jesús Martínez, Adolfo Guzmán:
The Eva Teleteaching Project - The Concept and the FTurcsányiirst Experience in the Development of Virtual Learning Spaces. Teleteaching 1998: 769-778
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
