Concepedia

Jesus Martinez‐Garcia

JM

7

Publications

119

Citations

7

H-Index

2002

Active since

Affiliations

Universidad de Málaga(Current)

Jesus Martinez‐Garcia is an author at Universidad de Málaga specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsFormal VerificationSystems EngineeringSoftware EngineeringComputer ScienceSoftware AnalysisVerificationSoftware DesignSystem Software

Publications per year

2002–2018

7

Publications

7

αSPIN: A tool for abstract model checking

María del Mar Gallardo, Jesus Martinez‐Garcia, Pedro Merino et al. · International Journal on Software Tools for Technology Transfer · 2004 · 28 citations

Engineering, Automated Reasoning, Verification +8

A Model-Driven Approach to Enable Adaptive QoS in DDS-Based Middleware

Juan F. Inglés-Romero, Adrián Romero‐Garcés, Cristina Vicente-Chicote et al. · IEEE Transactions on Emerging Topics in Computational Intelligence · 2017 · 26 citations

Engineering, Quality-of-service, Software Engineering +19

Addressing the 5G Cell Switch-off Problem with a Multi-objective Cellular Genetic Algorithm

Francisco Luna, Rafael Marcos Luque‐Baena, Jesus Martinez‐Garcia et al. · 2018 · 18 citations

Power Consumption Foreseen, Densification Levels, Engineering +14

A Tool for Abstraction in Model Checking

María del Mar Gallardo, Jesus Martinez‐Garcia, Pedro Merino et al. · Electronic Notes in Theoretical Computer Science · 2002 · 13 citations · Full text

Engineering, Verification, Software Systems +19

PiXL: Applying xml standards to support the integration of analysis tools for protocols

María del Mar Gallardo, Jesus Martinez‐Garcia, Pedro Merino et al. · Science of Computer Programming · 2006 · 12 citations

Software Maintenance, Formal Specification, Analysis Tools +15

Rows per page

1–5 of 7