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
642020
Smart Contract Languages: A Multivocal Mapping Study
ÁJ Varela-Vaca, AMR Quintero
ACM Computing Surveys (CSUR) 54 (1), 1-38, 2022
402022
DMN4DQ: When data quality meets DMN
Á Valencia-Parra, L Parody, ÁJ Varela-Vaca, I Caballero, ...
Decision Support Systems 141 (113450), 1-13, 2020
302020
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
292019
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
282013
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
272019
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
242020
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
212019
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
212019
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
192011
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
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
ÁJ Varela-Vaca, DG Rosado, LE Sánchez, MT Gómez-López, RM Gasca, ...
Computers in Industry 132, 103524, 2021
182021
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
172021
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
172015
Discovering configuration workflows from existing logs using process mining
B Ramos-Gutiérrez, ÁJ Varela-Vaca, JA Galindo, MT Gómez-López, ...
Empirical Software Engineering 26, 1-41, 2021
162021
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
152020
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
152017
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
152013
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
152011
A NLP-oriented methodology to enhance event log quality
B Ramos-Gutiérrez, ÁJ Varela-Vaca, FJ Ortega, MT Gómez-López, ...
International Conference on Business Process Modeling, Development and …, 2021
142021
The system can't perform the operation now. Try again later.
Articles 1–20