Mirlabs
Angel Jesus Varela-Vaca
Angel Jesus Varela-Vaca
Assitant Profesor, Seville
PhD Student
Personal Web Site: http://www.idea.us.es/staff/angel-jesus-varela-vaca-phd/
Main page: http://www.mirlabs.net/global/index.php?c=main&a=person&id=735
Short Biography
Angel J. Varela-Vaca received a B.S. degree in Computer Engineering at the University of Seville (Spain) and graduated in July 2008. M.Sc. on Software Engineering and Technology (2009) and obtained his PhD with honours at the University of Seville (2013). Angel is currently working as Assistant Professor at Languages and System Informatics Department at the Universidad Sevilla and belongs to the Idea Research Group. Angel has and led various private projects and participated in several public research projects and he has published several impact papers. He was nominated as a member of Program Committees such as ISD 2016, BPM Workshops 2017, SIMPDA 2018. He has been reviewer for international journals such as Journal of Supercomputing, International Journal of Management Science and Engineering Management Multimedia Tools and Applications, Human-Centric Computational and Information Sciences, Mathematical Methods in Applied Sciences among others.
List of top 5 publications in the last 5 years

Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, Luisa Parody, and María Teresa Gómez-López. Unleashing constraint optimisation problem solving in big data environments. Journal of computational science, 45:101180, 2020. Índice de Impacto: JCR 2.644 Posición 28/108, (Computer Science, Theory & Methods, Q2)

Ángel Jesús Varela-Vaca, Luisa Parody, Rafael M. Gasca, and María Teresa Gómez-López. Automatic verification and diagnosis of security risk assessments in business process models. IEEE Access, 7:26448-26465, 2019. Índice de Impacto: JCR 4.098 Posición 23/155, (Computer Science, Information Systems, Q1)

Damián Fernández-Cerero, Ángel Jesús Varela-Vaca, Alejandro Fernández-Montes, María Teresa Gómez-López, and José Antonio Alvárez-Bermejo. Measuring data-centre workflows complexity through process mining: the google cluster case. The Journal of Supercomputing, 2019 DOI: 10.1007/s11227-019-02996-2. Índice de Impacto: JCR 2.157 Posición 35/105, (Computer Science, Theory & Methods, Q2)

Francisco José Ramírez-López, Ángel Jesús Varela-Vaca, Jorge Ropero, Joaquín Luque, and Alejandro Carrasco. A framework to secure the development and auditing of SSL pinning in mobile applications: the case of android devices. Entropy (Special issue – Blockchain: security, challenges, and opportunities), 21(12), 2019. Índice de Impacto: JCR 2.419 Posición 28/81, (Multidisciplinary, Physics, Q2)

Ángel Jesús Varela-Vaca, Rafael M. Gasca, Rafael Ceballos, María Teresa Gómez-López, and Pedro Bernáldez Torres. CyberSPL: a framework for the verification of cybersecurity policy compliance of system configurations using software product lines. Applied sciences (Special issue – Machine Learning for Cybersecurity Threats, Challenges, and Opportunities), 9(24), 2019. Índice de Impacto: JCR 2.217 Posición 28/81, (Applied, Physics, Q2)


Angel Jesus Varela-Vaca and Rafael M. Gasca, “Formalization of Security Patterns as a Means to Infer Security Controls in Business Processes", Logic Journal of the IGPL, ISSN 1368-9894, Volumen 23(1), Pages 57-72, Oxford Journals, 2014. Índice de Impacto: 0.461 Posición 12/21 (Logic, Q3)


Angel Jesus Varela-Vaca and Rafael M. Gasca, "Towards the Automatic and Optimal Selection of Risk Treatments for Business Processes using a Constraint Programming Approach", Information and Software Technology, ISSN 0950-5849, Volume 55, Issue 11, Pages 1948–1973, Elsevier, 2013. Índice de Impacto: 1.522 Posición 31/105 (Computer Science, Q1)


List of top 5 academic activities during the last 5 years