Follow
Angel Jesus Varela-Vaca (ORCID: 0000-0001-9953-6005)
Angel Jesus Varela-Vaca (ORCID: 0000-0001-9953-6005)
Associate Professor at Dept. Languages and Computer Systems of University of Seville
Verified email at us.es - Homepage
Title
Cited by
Cited by
Year
Blockchain from the perspective of privacy and anonymisation: A systematic literature review
FJ de Haro-Olmo, ÁJ Varela-Vaca, JA Álvarez-Bermejo
Sensors 20 (24), 7171, 2020
332020
Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach
AJ Varela-Vaca, RM Gasca
Information and Software Technology 55 (11), 1948-1973, 2013
292013
Smart Contract Languages: A Multivocal Mapping Study
ÁJ Varela-Vaca, AMR Quintero
ACM Computing Surveys (CSUR) 54 (1), 1-38, 2022
202022
Automatic verification and diagnosis of security risk assessments in business process models
ÁJ Varela-Vaca, L Parody, RM Gasca, MT Gómez-López
IEEE Access 7, 26448-26465, 2019
202019
Afpl2, an abstract language for firewall acls with nat support
S Pozo, AJ Varela-Vaca, RM Gasca
2009 Second International Conference on Dependability, 52-59, 2009
192009
CyberSPL: a framework for the verification of cybersecurity policy compliance of system configurations using software product lines
ÁJ Varela-Vaca, R M. Gasca, R Ceballos, MT Gómez-López, ...
Applied Sciences 9 (24), 5364, 2019
182019
DMN4DQ: When data quality meets DMN
Á Valencia-Parra, L Parody, ÁJ Varela-Vaca, I Caballero, ...
Decision Support Systems 141 (113450), 1-13, 2020
172020
Measuring data-centre workflows complexity through process mining: The Google cluster case
D Fernández-Cerero, ÁJ Varela-Vaca, A Fernández-Montes, ...
The Journal of Supercomputing 76, 2449–2478, 2020
172020
Process mining to unleash variability management: discovering configuration workflows using logs
ÁJ Varela-Vaca, JA Galindo, B Ramos-Gutiérrez, MT Gómez-López, ...
Proceedings of the 23rd International Systems and Software Product Line …, 2019
162019
Enabling process mining in aircraft manufactures: extracting event logs and discovering processes from complex data
Á Valencia Parra, B Ramos Gutiérrez, ÁJ Varela Vaca, MT Gómez López, ...
BPM2019IF: 17th International Conference on Business Process Management 2019 …, 2019
162019
A model-driven engineering approach with diagnosis of non-conformance of security objectives in business process models
AJ Varela-Vaca, RM Gasca, A Jimenez-Ramirez
2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION …, 2011
162011
Formalization of security patterns as a means to infer security controls in business processes
AJ Varela-Vaca, RM Gasca
Logic Journal of the IGPL 23 (1), 57-72, 2015
142015
A security pattern-driven approach toward the automation of risk treatment in business processes
AJ Varela-Vaca, R Warschofsky, RM Gasca, S Pozo, C Meinel
International Joint Conference CISIS’12-ICEUTE´ 12-SOCO´ 12 Special Sessions …, 2013
142013
Opbus: Risk-aware framework for the conformance of security-quality requirements in business processes
AJ Varela-Vaca, RM Gasca, S Pozo
Proceedings of the international conference on security and cryptography …, 2011
142011
AMADEUS: towards the AutoMAteD secUrity teSting
ÁJ Varela-Vaca, RM Gasca, JA Carmona-Fombella, MT Gómez-López
Proceedings of the 24th ACM Conference on Systems and Software Product Line …, 2020
122020
Guiding the creation of choreographed processes with multiple instances based on data models
MT Gómez-López, JM Pérez-Álvarez, AJ Varela-Vaca, RM Gasca
Business Process Management Workshops: BPM 2016 International Workshops, Rio …, 2017
122017
Confiddent: A model-driven consistent and non-redundant layer-3 firewall acl design, development and maintenance framework
S Pozo, RM Gasca, AM Reina-Quintero, AJ Varela-Vaca
Journal of Systems and Software 85 (2), 425-457, 2012
122012
Blockchain-based federation of wireless sensor nodes
FJ Haro-Olmo, JA Alvarez-Bermejo, AJ Varela-Vaca, JA López-Ramos
The Journal of Supercomputing, 1-13, 2021
102021
Opbus: a framework for improving the dependability of risk-aware business processes
AJ Varela-Vaca
AI Communications 29 (1), 233-235, 2016
92016
A quadratic, complete, and minimal consistency diagnosis process for firewall acls
S Pozo, AJ Varela-Vaca, RM Gasca
2010 24th IEEE International Conference on Advanced Information Networking …, 2010
92010
The system can't perform the operation now. Try again later.
Articles 1–20