Login / Signup
A. Germán Márquez
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 4
Top Topics
Satisfiability Modulo Theories
Software Development Projects
Monte Carlo Simulation
Impact Analysis
Top Venues
ConfWS
J. Syst. Softw.
Comput. Secur.
SPLC (B)
</>
Publications
</>
A. Germán Márquez
,
Ángel Jesús Varela-Vaca
,
María Teresa Gómez-López
,
José A. Galindo
,
David Benavides
Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT).
Comput. Secur.
139 (2024)
Ángel Jesús Varela-Vaca
,
Diana Borrego
,
María Teresa Gómez López
,
Rafael M. Gasca
,
A. Germán Márquez
Feature models to boost the vulnerability management process.
J. Syst. Softw.
195 (2023)
A. Germán Márquez
,
José A. Galindo
,
Ángel Jesús Varela-Vaca
,
María Teresa Gómez López
,
David Benavides
Advisory: vulnerability analysis in software development project dependencies.
SPLC (B)
(2022)
José Miguel Horcas Aguilera
,
A. Germán Márquez
,
José A. Galindo
,
David Benavides
Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems.
ConfWS
(2021)