Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems. - José Miguel Horcas Aguilera; Antonio Germán Márquez; José A. Galindo; David Benavides 001 (ConfWS, 2021)

Advisory: vulnerability analysis in software development project dependencies. - Antonio Germán Márquez; José A. Galindo; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; David Benavides 001 (SPLC (B), 2022)

Feature models to boost the vulnerability management process. - Ángel Jesús Varela-Vaca; Diana Borrego; María Teresa Gómez-López; Rafael M. Gasca; Antonio Germán Márquez (J. Syst. Softw., 2023)

Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT). - Antonio Germán Márquez; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; José A. Galindo; David Benavides 001 (Comput. Secur., 2024)

Depex: A software for analysing and reasoning about vulnerabilities in software projects dependencies. - Antonio Germán Márquez; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; José A. Galindo; David Benavides 001 (SoftwareX, 2025)