Angel Jesus Varela-Vaca
Angel Jesus Varela-Vaca
Associate Professor at Dept. Languages and Computer Systems of University of Seville
Geverifieerd e-mailadres voor us.es - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
192013
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
162009
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
152011
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
142019
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
132011
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
122019
Enabling process mining in aircraft manufactures: extracting event logs and discovering processes from complex data.
Á Valencia-Parra, B Ramos-Gutiérrez, AJ Varela-Vaca, MTG López, ...
BPM (Industry Forum), 166-177, 2019
102019
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
102015
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
102013
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
102012
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
92020
CyberSPL: a framework for the verification of cybersecurity policy compliance of system configurations using software product lines
ÁJ Varela-Vaca, RM Gasca, R Ceballos, MT Gómez-López, PB Torres
Applied Sciences 9 (24), 5364, 2019
92019
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
International Conference on Business Process Management, 239-251, 2016
92016
Improvement of optimization agreements in business processes involving web services
L Parody, MT Gómez-López, RM Gasca, AJ Varela-Vaca
Communications of the IBIMA 2012, 1, 2012
82012
Towards dependable business processes with fault-tolerance approach
AJ Varela-Vaca, RM Gasca, D Borrego, S Pozo
2010 Third International Conference on Dependability, 104-111, 2010
82010
Fast algorithms for local inconsistency detection in firewall acl updates
S Pozo, R Ceballos, RM Gasca, AJ Varela-Vaca
2008 Second International Conference on Emerging Security Information …, 2008
82008
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
72020
OPBUS: A framework for improving the dependability of risk-aware business processes
AJ Varela-Vaca
AI Communications 29 (1), 233-235, 2016
72016
Fault tolerance framework using model-based diagnosis: towards dependable business processes
AJ Varela-Vaca, RM Gasca, D Borrego, S Pozo
International Journal on Advances in Security Volume 4, Number 1 & 2, 2011, 2011
72011
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
72010
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20