| 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 | 60 | 2020 |
| Smart Contract Languages: A Multivocal Mapping Study ÁJ Varela-Vaca, AMR Quintero ACM Computing Surveys (CSUR) 54 (1), 1-38, 2022 | 34 | 2022 |
| 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 | 29 | 2019 |
| 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 | 28 | 2013 |
| DMN4DQ: When data quality meets DMN Á Valencia-Parra, L Parody, ÁJ Varela-Vaca, I Caballero, ... Decision Support Systems 141 (113450), 1-13, 2020 | 26 | 2020 |
| 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 | 25 | 2019 |
| 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 | 23 | 2020 |
| 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 | 21 | 2019 |
| 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 | 20 | 2019 |
| 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 | 19 | 2009 |
| 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 | 17 | 2011 |
| 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 | 16 | 2021 |
| 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 | 15 | 2021 |
| 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 | 15 | 2015 |
| 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 | 15 | 2013 |
| 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 | 15 | 2011 |
| 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 | 14 | 2021 |
| 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 | 14 | 2021 |
| 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 | 14 | 2017 |
| 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 | 13 | 2020 |
M. Teresa Gómez LópezCatedrática de Universidad. Universidad de Sevilla在 us.es 的电子邮件经过验证
