Logotipo de Universidad de Sevilla
VICERRECTORADO DE INVESTIGACIÓN
Logotipo Andalucía Tech
Letras Universidad de Sevilla

Ficha personal - Ángel Jesús Varela Vaca


Ángel Jesús Varela Vaca
Telefono: 954556328
Email: Solicitar correo
Página personal: http://www.idea.us.es/staff/angel-jesus-varela-vaca-phd/
Perfil en ORCID: 0000-0001-9953-6005
Perfil en ResearcherID: K-8149-2014
Perfil en Scopus: 25642067800
Perfil en Dialnet: 2550804

Grupo de Investigación: Data-Centric Computing Research Hub
Departamento/Unidad: Lenguajes y Sistemas Informáticos
Situación profesional: Profesor Contratado Doctor

Responsable de los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
    • Aether-US:Una aproximación holística de smart data para el análisis de datos guiado por el contexto: procesos de negocio inteligentes (PID2020-112540RB-C44)

  • Contrato con empresas (Arts. 68/83 LOU):
    • Extensión de Wonder: Módulo para la generación de etiquetas virtuales de manera segura. (P084-16/E08)
    • WONDER: Diseño y Desarrollo de Plataforma ciega intermodal de reposición de incidencias y reasignación de envíos para el sector logístico. (P001-15/E08)

  • Ayuda a la investigación:
    • Estancia: Hasso Plattner Institut (Postdam - Alemania), 90 días (PP2011-05-084)

Participa en los siguientes proyectos/ayudas en la US:

  • Proyecto de investigación:
    • COPERNICA: Colaboración en procesos de negocio para el buen gobierno de servicios y datos compartidos (P20_01224 - Equipo de Investigación)
    • Eclipse - Mejora de la Calidad de Datos y la Seguridad en Sistemas Ciberfísicos para Enriquecer los Procesos de Negocio y las Decisiones Estratégicas (RTI2018-094283-B-C33 - Equipo de Investigación)
    • Sequoia-US: Support Intelligent Decisions for Business Processes Requirements Based on Big Data and Multiple Instances (TIN2015-63502-C3-2-R - Equipo de Investigación (Alta/Baja))
    • Técnicas para la diagnosis, confiabilidad y optimización en los sistemas de gestión de procesos de negocio (TIN2009-13714 - Investigador)
    • Opbus: Mejora de la Calidad de Procesos de Negocios Mediante Tecnologías de Optimización y Tolerancia a Fallos (P08-TIC-04095 - Becario)
    • Automatización de la detección, diagnosis y tolerancia a fallos en sistemas con incertidumbre y en sistemas distribuidos (DPI2006-15476-C02-01 - Investigador)

  • Contrato con empresas (Arts. 68/83 LOU):
    • Troubleshooting para Sistemas Ciberfísicos (P033-19/E08 - Investigador)
    • Clean Sky 2: A-24 One Step Beyond Onautomated Testing Technologies (P036-19/E08 - Investigador)
    • Clean Sky 2: A-24 ONE STEP BEYOND ON AUTOMATED TESTING TECHNOLOGIES (P011-18/E08 - Investigador)

  • Ayuda a la investigación:
    • Incentivo al Grupo de Investigación TIC-134 (2017/TIC-134 - Investigador)
    • Incentivo al Grupo de Investigación TIC-134 (2011/TIC-134 - Investigador)
    • Incentivo al Grupo de Investigación TIC-134 (2010/TIC-134 - Investigador)
    • Ayuda a la Consolidación del Grupo de Investigación TIC-134 (2009/TIC-134 - Investigador)

Cobertura de la base de datos de proyectos, véase aqui


Publicaciones:

Libros
Del Valle Sevillano, Carmelo, Gómez López, Mª Teresa, García Vallejo, Carlos A., Barba Rodríguez, Irene, Ortega Rodríguez, Francisco Javier, et. al.:
Análisis y Diseño de Algoritmos. Ed. 1. Universidad de Sevilla. 2009. ISBN 978-84-692-5206-2

García Vallejo, Carlos A., Álvarez García, Juan Antonio, De la Rosa Troyano, Fco Fernando, Gutiérrez Rodríguez, Javier Jesús, Ceballos Guerrero, Rafael, et. al.:
Estructuras de Datos y Algortimos. Ed. 1. Sevilla,. Universidad de Sevilla. 2009. ISBN 978-84-692-5205-5

Capítulos en Libros
Ceballos Guerrero, Rafael, Abreu, Rui, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
Model-based software debugging. Pag. 365-387. En: Fault Diagnosis of Dynamic Systems. Springer. 2019. ISBN 978-3-030-17728-7

Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús, Ceballos Guerrero, Rafael:
Constraint-driven fault diagnosis. Pag. 347-364. En: Fault Diagnosis of Dynamic Systems. Springer. 2019. ISBN 978-3-030-17728-7

Publicaciones en Revistas
De Haro Olmo, Francisco José, Valencia Parra, Álvaro, Varela Vaca, Ángel Jesús, Alvarez Bermejo, Jose Antonio:
Data Curation in the Internet of Things: a Decision Model approach. En: Computational and Mathematical Methods. 2021. Pag. 1-12. https://onlinelibrary.wiley.com/doi/10.1002/cmm4.1191

Varela Vaca, Ángel Jesús, Reina Quintero, Antonia María:
Smart Contract Languages: A Multivocal Mapping Study. En: ACM Computing Surveys. 2021. Vol. 54. Núm. 1. Pag. 1-38. 10.1145/3423166

Ramos, Belén, Varela Vaca, Ángel Jesús, Galindo Duarte, José Ángel, Gómez López, Mª Teresa, David Benavides:
Discovering configuration workflows from existing logs using process mining. En: Empirical Software Engineering. 2021. http://dx.doi.org/10.1007/s10664-020-09911-x

Alvarez Bermejo, Jose Antonio, Varela Vaca, Ángel Jesús, Lopez Ramos, Juan Antonio, De Haro Olmo, Francisco José:
Blockchain-based federation of wireless sensor nodes. En: Journal of Supercomputing. 2021. Vol. 77. 10.1007/s11227-020-03605-3

De Haro Olmo, Francisco José, Varela Vaca, Ángel Jesús, Alvarez Bermejo, J.A.:
Blockchain from the Perspective of Privacy and Anonymisation: A Systematic Literature Review. En: Sensors. 2020. Vol. 20. Núm. 24. Pag. 7171-7194. 10.3390/s20247171

Valencia Parra, Álvaro, Parody Núñez, Maria Luisa, Varela Vaca, Ángel Jesús, Caballero, Ismael, Gómez López, Mª Teresa:
DMN4DQ: When data quality meets DMN. En: Decision Support Systems. 2020. 10.1016/j.dss.2020.113450

Valencia Parra, Álvaro, Varela Vaca, Ángel Jesús, Parody Núñez, Maria Luisa, Gómez López, Mª Teresa:
Unleashing Constraint Optimisation Problem solving in Big Data environments. En: Journal of Computational Science. 2020. Vol. 45. https://doi.org/10.1016/j.jocs.2020.101180

Fernández Cerero, Damián, Varela Vaca, Ángel Jesús, Fernández Montes, Alejandro, Gómez López, María Teresa, Alvarez Bermejo, Jose Antonio:
Measuring data-centre workflows complexity through process mining: the Google cluster case. En: Journal of Supercomputing. 2020. Vol. 76. Pag. 2449-2478. 10.1007/s11227-019-02996-2

Ramirez, Francisco Jose, Varela Vaca, Ángel Jesús, Ropero, Jorge, Luque Rodríguez, Joaquín, Carrasco, Alejandro:
A Framework to Secure the Development and Auditing of SSL Pinning in Mobile Applications: The Case of Android Devices. En: Entropy. 2019. Vol. 21. Núm. 12 (1136). Pag. 1-19. 10.3390/e21121136

Varela Vaca, Ángel Jesús, Parody Núñez, Maria Luisa, Martínez Gasca, Rafael, Gómez López, Mª Teresa:
Automatic verification and diagnosis of security risk assessments in business process models. En: IEEE Access. 2019. Vol. 7. Pag. 26448-26465. 10.1109/Access.2019.2901408

Parody Núñez, Maria Luisa, Gómez López, Mª Teresa, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
Business Process Configuration According to Data Dependency Specification. En: Applied Sciences. 2018. Vol. 8. Núm. 10. Pag. 1-26. https://doi.org/10.3390/app8102008

Varela Vaca, Ángel Jesús:
Formalization of Security Patterns as a Means to Infer Security Controls in Business Processes. En: Interest Group in Pure and Applied Logics. Logic Journal. 2015. Vol. 23. Núm. 1. Pag. 57-72. 10.1093/jigpal/jzu042

Varela Vaca, Ángel Jesús:
OPBUS: A framework for improving the dependability of risk-aware business processes. En: AI communications. 2014. 10.3233/Aic-140651

Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
Towards the Automatic and Optimal Selection of Risk Treatments for Business Processes using a Constraint Programming Approach. En: Information and Software Technology. 2013. http://dx.doi.org/10.1016/j.infsof.2013.05.007

Parody Núñez, Maria Luisa, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús:
Improvement of Optimization Agreements in Business Processes involving Web Services. En: IBIMA Communications. 2012. Vol. 2012. Pag. 1-15. 10.5171/2012/959796

Pozo Hidalgo, Sergio, Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús:
CONFIDDENT: A Model-Driven Consistent and Non-Redundant Layer-3 Firewall ACL Design, Development and Maintenance Framework. En: The Journal of Systems and Software. 2012. Vol. 85. Núm. 2. Pag. 425-457. http://dx.doi.org/10.1016/j.jss.2011.09.008

Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael, Borrego, Diana, Pozo Hidalgo, Sergio:
Fault Tolerance Framework Using Model-Based Diagnosis: Towards Dependable Business Processes. En: International Journal On Advances in Security. 2011. Pag. 11-22

Pozo Hidalgo, Sergio, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
MDA-Based Framework for Automatic Generation of Consistent Firewall Acls With Nat. En: Lecture Notes in Computer Science. 2009. Pag. 130-144

Aportaciones a Congresos
De Haro Olmo, Francisco José, Varela Vaca, Ángel Jesús, Alvarez Bermejo, Jose Antonio:
Curso de Especialización en Ciberseguridad, ¿están preparados nuestros docentes?. Ponencia en Jornada. VI Jornadas Nacionales de Investigación en Ciberseguridad. Universidad de Castilla La Mancha. 2021

Varela Vaca, Ángel Jesús, Garcia Rosado, David, Enrique Sanchez, Luis, Gómez López, Mª Teresa, Martínez Gasca, Rafael, et. al.:
4th International Workshop on SECurity and Privacy Requirements Engineering SECPRE 2020. Comunicación en congreso. 4th International Workshop on SECurity and Privacy Requirements Engineering SECPRE 2020. Surrey, Inglaterra. 2020

Varela Vaca, Ángel Jesús, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Carmona Fombella, José Antonio:
AMADEUS: towards the AutoMAteD secUrity teSting. Comunicación en congreso. 24th ACM Conference on Systems and Software Product Line. Montreal, Canada. 2020

Varela Vaca, Ángel Jesús, Parody Núñez, Maria Luisa, Martínez Gasca, Rafael, Gómez López, Mª Teresa:
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models (Summary). Comunicación en congreso. XV Jornadas de Ingeniería de Ciencia e Ingeniería de Servicios. - Cáceres, España. 2019

Valencia Parra, Álvaro, Parody Núñez, Maria Luisa, Varela Vaca, Ángel Jesús, Caballero Muñoz Reja, Ismael, Gómez López, Mª Teresa:
DMN for Data Quality Measurement and Assessment. Comunicación en congreso. 7th International Workshop on DEClarative, DECision and Hybrid approaches to processes. Viena, Austria. 2019

Valencia Parra, Álvaro, Varela Vaca, Ángel Jesús, Gómez López, Mª Teresa, Ramos, Belén:
Enabling Process Mining in Aircraft Manufactures: Extracting Event Logs and Discovering Processes from Complex Data. Comunicación en congreso. International Conference on Business Process Management. Viena, Austria. 2019

Ramirez, Francisco Jose, Varela Vaca, Ángel Jesús, Ropero, Jorge, Carrasco, Alejandro:
Guidelines Towards Secure SSL Pinning in Mobile Applications. Ponencia en Congreso. V Jornadas Nacionales de Investigación en Ciberseguridad (JNIC 2019). Cáceres (España). 2019

Varela Vaca, Ángel Jesús, Ramos, Belén, Galindo Duarte, José Ángel, Gómez López, Mª Teresa, David Benavides:
Process Mining to Unleash Variability Management:Discovering Configuration Workflows Using Logs. Sesión no plenaria en Congreso. 23rd International Systems and Software Product Line Conference. París, Franci. 2019

Valencia Parra, Álvaro, Varela Vaca, Ángel Jesús, Gómez López, Mª Teresa, Ceravolo, Paolo:
CHAMALEON: Framework to improve Data Wrangling with Complex Data. Sesión no plenaria en Congreso. International Conference on Information Systems. Munich, Germany. 2019

Cisneros Carreño, Kevin Daniel, Varela Vaca, Ángel Jesús, Parody Núñez, Maria Luisa, Gómez López, Mª Teresa:
Análisis de los datos y coreografia de múltiples procesos en entornos logísticos. Comunicación en congreso. XIV Jornadas de Ciencia e Ingeniería de Servicios. Sevilla. 2018

Parody Núñez, Maria Luisa, Varela Vaca, Ángel Jesús, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
FABIOLA: Defining the Components for Constraint Optimization Problems in Big Data Environment. Comunicación en congreso. 26th International Conference on Information Systems Development. Lanarca, Chipre. 2017

Pérez, José Miguel, Gómez López, Mª Teresa, Varela Vaca, Ángel Jesús, De la Rosa Troyano, Fco Fernando, Martínez Gasca, Rafael:
Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps. Comunicación en congreso. Business Process Management Workshops. 2016

Gómez López, Mª Teresa, Pérez, José Miguel, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models. Comunicación en congreso. Business Process Management Workshops. 2016

Varela Vaca, Ángel Jesús, Borrego, Diana, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
A usage control model extension for the verification of security policies in artifact-centric business process models. Comunicación en congreso. 19th international conference Business Information Systems. Leipzig - Alemania. 2016

Varela Vaca, Ángel Jesús, Gómez López, Mª Teresa, Jiménez Vargas, David, Martínez Gasca, Rafael, Suarez Fabrega, Antonio J., et. al.:
An open-source proactive security infrastructure for business process management. Comunicación en congreso. 26th international business information management association conference. 2015

Parody Núñez, Maria Luisa, Gomez Lopez, Maria Teresa, Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús:
CombiS-BP Editor: Combining Declarative and Imperative Languages in BP Modelling. Demostración en Congreso. 7th IEEE International Conference on Research Challenges in Information Science. Paris, France. 2013

Varela Vaca, Ángel Jesús, Warschofsky, Robert, Martínez Gasca, Rafael, Pozo Hidalgo, Sergio, Meinel, Christoph:
A Security Pattern-Driven Approach Toward the Automation of Risk Treatment in Business Processeses. Comunicación en congreso. CISIS'12. Comité de Programa en 5th International Conference on Computational Intelligence in Security for Information System. Ostrava, Czech Republic. 2012

Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
Propuesta para la generación y selección adaptable de configuraciones de seguridad para sistemas de gestión de procesos de negocio. Ponencia en Taller de trabajo. Primer workshop Investigación en Tecnologías de Seguridad TIC. León, España. 2012

Parody Núñez, Maria Luisa, Gómez López, Mª Teresa, Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús:
An Approach For Optimization Agreements In Business Processes Based On Web Services. Comunicación en congreso. 17th IBIMA Conference on Creating Global Competitive Economies. Milan, Italia. 2011

Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael, Pozo Hidalgo, Sergio:
OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes. Comunicación en congreso. International on Security and Cryptography (SECRYPT). 2011

Jiménez Ramírez, Andrés, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
Contract-Based Test Generation for Data Flow of Business Processes Using Constraint Programming. Comunicación en congreso. International Conference on Research Challenges in Information Science. Gosier, Guadaloupe, France. 2011. Fifth International Conference on Research Challenges in Information Science (Rcis), 2011. 1. 12

Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael, Jiménez Ramírez, Andrés:
A Model-Driven Engineering Approach With Diagnosis of Non-Conformance of Security Objectives in Business Process Models. Comunicación en congreso. International Conference on Research Challenges in Information Science. Gosier, Guadaloupe, France. 2011. Fifth International Conference on Research Challenges in Information Science (Rcis), 2011. 1. 6

Pozo Hidalgo, Sergio, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall Acls. Comunicación en congreso. Advanced Information Networking and Applications. Perth, Australia. 2010. The 24th IEEE International Conference on Advanced Information Networking and Applications (Aina 2010) to Be Held in Perth, Western Australia, 20-23 April 2010. 1. 8

Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael, Borrego, Diana, Pozo Hidalgo, Sergio:
Towards Dependable Business Processes With Fault-Tolerance Approach. Comunicación en congreso. Third International Conference on Dependability. Venice, Italy. 2010. 2010 Third International Conference on Dependability (Depend 2010). 104. 111

Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael, Parody Núñez, Maria Luisa:
Opbus: Automating Structural Fault Diagnosis for Graphical Models in the Design of Business Processes. Comunicación en congreso. (Dx-10) 21st International Workshop on Principles of Diagnosis (21) (21.2010.portland, USA. Portland, USA. 2010. Proceedings of the 21st International Workshop on Principles of Diagnosis. 337. 344

Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
Opbus: Fault Tolerance Against Integrity Attacks in Business Processes. Comunicación en congreso. International Conference Computational Intelligence in Security for Information Systems. León, España. 2010. Computational Intelligence in Security for Information Systems 2010. 213. 222

Pozo Hidalgo, Sergio, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
MDA-Based Framework for Automatic Generation of Consistent Firewall Acls With Nat. Comunicación en congreso. International Conference on Computational Science and Its Applications. Sowon, Korea. 2009. International Conference on Computational Science and Its Applications Proceedings. 130. 144

Pozo Hidalgo, Sergio, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall Acls. Comunicación en congreso. International Conference on Security and Cryptography. Mila, Italia. 2009. Secrypt 2009, Proceedings of the International Conference on Security and Cryptography, Milan, Italy, July 7-10, 2009, Secrypt is Part of Icete - the International Joint Conference on e-Business and Telecommunications 2009. 43. 52

Pozo Hidalgo, Sergio, Varela Vaca, Ángel Jesús, Martínez Gasca, Rafael:
Afpl2, an Abstract Language for Firewall Acls With Nat Support. Comunicación en congreso. International Conference on Dependability. Greece. 2009. Second International Conference on Dependability. Depend2009. June18-23, 2009. Athens/Glyfada, Greece. 52. 59

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús:
Fast Algorithms for Local Inconsistency Detection in Firewall Acl Updates. Comunicación en congreso. International Workshop on Dependability and Security in Complex and Critical Information Systems. Cap Esterel, Agay, Francia. 2008. Proceedings of the 1st International Workshop on Dependability and Security in Complex and Critical Information Systems (Depend). 1. 10

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús:
An Order Independent Consistency-Based Diagnosis Process for Firewall Rule Sets. Comunicación en congreso. Reunión Española de Criptología y Seguridad de la Información. Salamanca, España. 2008. Actas de la X Reunión Española de Criptología y Seguridad de la Información. 1. 10

Pozo Hidalgo, Sergio, Ceballos Guerrero, Rafael, Martínez Gasca, Rafael, Varela Vaca, Ángel Jesús:
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. Comunicación en congreso. International Conference on Emerging Security Information, Systems and Technologies. Cap Esterel, Agay, Francia. 2008. Proceedings of the Second International Conference on Emerging Security Information, Systems and Technologies. 1. 9

Varela Vaca, Ángel Jesús:
Comite Organizador en Congreso. Conferencia Congreso no publicada

Otras Publicaciones
Gómez López, Mª Teresa, Varela Vaca, Ángel Jesús, De la Rosa Troyano, Fco Fernando, Martínez Gasca, Rafael:
Governance Knowledge Management and Decision Support using Fuzzy Governance Maps. Otras Publicaciones. 2016. Inglés

Patentes:


Parody Núñez, Maria Luisa, Varela Vaca, Ángel Jesús, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
CombiS-BP Editor. Otra modalidad de propiedad intelectual. Solicitud: 2013-07-20

Varela Vaca, Ángel Jesús, Gómez López, Mª Teresa, Martínez Gasca, Rafael:
CombiS-BP Editor. Otra modalidad de propiedad intelectual. Solicitud: 2013-07-20

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla