Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Alin A. Carsteanu
Claudia Calabrese
Kyriakos Poyias
Maria Concetta Palumbo
jongseok choi
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
JESÚS MARTÍNEZ
Author Info
Open Visualization
Name
Affiliation
Papers
JESÚS MARTÍNEZ
Dpto. de Lenguajes y Ciencias de la Computacion, University of Malaga, 29071 Malaga, Spain
13
Collaborators
Citations
PageRank
23
51
5.72
Referers
Referees
References
81
211
176
Search Limit
100
211
Publications (13 rows)
Collaborators (23 rows)
Referers (81 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Modeling and Estimation of Non-functional Properties: Leveraging the Power of QoS Metrics.
1
0.41
2019
UML-Based Model-Driven Development for HSDPA Design
2
0.39
2009
PiXL: Applying xml standards to support the integration of analysis tools for protocols
6
0.43
2006
An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing
1
0.40
2006
On The Evolution Of Reliability Methods For Critical Software
1
0.34
2006
Integration of Reliability and Performance Analyses for Active Network Services
3
0.42
2005
Model checking active networks with SPIN
3
0.40
2005
aSPIN: A tool for abstract model checking
9
0.52
2004
Abstract Model Checking and Refinement of Temporal Logic in aSPIN
0
0.34
2003
Applying Data Abstraction to XML Formal Designs
0
0.34
2003
Using XML to implement abstraction for Model Checking
8
0.71
2002
alpha SPIN: Extending SPIN with Abstraction
4
0.41
2002
A Tool for Abstraction in Model Checking
13
0.61
2002
1