Theo dõi
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
Email được xác minh tại us.es - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
782020
Smart Contract Languages: A Multivocal Mapping Study
ÁJ Varela-Vaca, AMR Quintero
ACM Computing Surveys (CSUR) 54 (1), 1-38, 2022
482022
DMN4DQ: When data quality meets DMN
Á Valencia-Parra, L Parody, ÁJ Varela-Vaca, I Caballero, ...
Decision Support Systems 141 (113450), 1-13, 2020
322020
Enabling process mining in aircraft manufactures: extracting event logs and discovering processes from complex data.
Á Valencia-Parra, B Ramos-Gutiérrez, AJ Varela-Vaca, MT Gómez-López, ...
BPM (Industry Forum), 166-177, 2019
322019
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
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
272020
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
272019
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
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
212021
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
202021
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
202019
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
192020
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
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
182015
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
172021
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
172009
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
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
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
142012
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20