Directorio
ANGEL JESUS VARELA VACA
°ä²¹³Ù±ð²µ´Ç°ùò¹
Profesor Titular de Universidad
Contacto
Correo electrónico
Departamento
ðù±ð²¹
Lenguajes y Sistema Informáticos
Docencia
±õ²Ô±¹±ð²õ³Ù¾±²µ²¹³¦¾±Ã³²Ô
Grupo de investigación
Data-centric Computing Research Hub (IDEA)
Proyectos y contratos de investigación
AUTOMATIZACIÓN DE LA DETECCIÓN, DIAGNOSIS Y TOLERANCIA A FALLOS EN SISTEMAS CON INCERTIDUMBRE Y EN SISTEMAS DISTRIBUIDOS (DPI2006-15476-C02-01 - Investigador/a)
OPBUS:MEJORA DE LA CALIDAD DE PROCESOS DE NEGOCIOS MEDIANTE TECNOLOGÃAS DE OPTIMIZACIÓN Y TOLERANCIA A FALLOS (P08-TIC-4095 - Investigador/a)
TECNICAS PARA LA DIAGNOSIS, CONFIABILIDAD Y OPTIMIZACION EN LOS SISTEMAS DE GESTION DE PROCESOS DE NEGOCIO (TIN2009-13714 - Investigador/a)
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 - Investigador Principal Consolidado)
Enhancing Data Quality and Security for Improving Business Processes and Strategic Decisions in Cyber Physical Systems (ECLIPSE-US) (RTI2018-094283-B-C33 - Investigador/a)
Extensión de Wonder: Módulo para la generación de etiquetas virtuales de manera segura. (P084-16/E08 - Responsable)
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 - Responsable)
Sequoia-US: Support Intelligent Decisions for Business Processes Requirements Based on Big Data and Multiple Instances (TIN2015-63502-C3-2-R - Investigador/a)
SEQUOIA: SUPPORT INTELLIGENT DECISIONS FOR BUSINESS PROCESSES REQUIREMENTS BASED ON BIG DATA AND MULTIPLE INSTANCES (TIN2015-63502 - Investigador/a)
Libros publicados
GarcÃa-Vallejo, Carlos A.;Fuentes-Brenes, Daniel;Gómez-López, Mª Teresa;Varela-Vaca, Ãngel Jesús;Ãlvarez-GarcÃa, Juan Antonio;De La Rosa-Troyano, Fco Fernando;Gutiérrez-RodrÃguez, Javier Jesús;Ceballos-Guerrero, Rafael;Barba-RodrÃguez, Irene;Pozo-Hidalgo, Sergio;Del Valle-Sevillano, Carmelo:
ESTRUCTURAS DE DATOS Y ALGORTIMOS. UNIVERSIDAD DE SEVILLA.. 2009. 978-84-692-5205-5
ESTRUCTURAS DE DATOS Y ALGORTIMOS. UNIVERSIDAD DE SEVILLA.. 2009. 978-84-692-5205-5
Del Valle-Sevillano, Carmelo;Fuentes-Brenes, Daniel;Varela-Vaca, Ãngel Jesús;Gómez-López, Mª Teresa;GarcÃa-Vallejo, Carlos A.;Barba-RodrÃguez, Irene;Ortega-RodrÃguez, Francisco Javier;MartÃnez-Gasca, Rafael;De La Rosa-Troyano, Fco Fernando;Ãlvarez-GarcÃa, Juan Antonio;Gutiérrez-RodrÃguez, Javier Jesús:
ANÃLISIS Y DISEÑO DE ALGORITMOS. UNIVERSIDAD DE SEVILLA.. 2009. 978-84-692-5206-2
ANÃLISIS Y DISEÑO DE ALGORITMOS. UNIVERSIDAD DE SEVILLA.. 2009. 978-84-692-5206-2
CapÃtulos en Libros
MartÃnez-Gasca, Rafael;Varela-Vaca, Ãngel Jesús;Ceballos-Guerrero, Rafael:
Constraint-driven fault diagnosis. Pág. 347-364. Springer. Springer. 2019.
Constraint-driven fault diagnosis. Pág. 347-364. Springer. Springer. 2019.
Ceballos-Guerrero, Rafael;Abreu, Rui;Varela-Vaca, Ãngel Jesús;MartÃnez-Gasca, Rafael:
Model-based software debugging. Pág. 365-387. Springer. Springer. 2019.
Model-based software debugging. Pág. 365-387. Springer. Springer. 2019.
Asistencia a congresos
Valencia-Parra, Ãlvaro;Parody-Núñez, Maria Luisa;Varela-Vaca, Ãngel Jesús;Gómez-López, Mª Teresa:
Unleashing Constraint Optimisation Problem solving in Big Data environments (Summary). Comunicación en congreso. XXV Jornadas en IngenierÃa del Software y Bases de Datos. Málaga. 2021
Unleashing Constraint Optimisation Problem solving in Big Data environments (Summary). Comunicación en congreso. XXV Jornadas en IngenierÃa del Software y Bases de Datos. Málaga. 2021
Valencia-Parra, Ãlvaro;Parody-Núñez, Maria Luisa;Varela-Vaca, Ãngel Jesús;Caballero-Muñoz-Reja, Ismael;Gómez-López, Mª Teresa:
DMN4DQ: When data quality meets DMN (Summary). Comunicación en congreso. Jornadas de Ciencia e IngenierÃa de ServiciosJornadas de la Sociedad de IngenierÃa de Software y TecnologÃas de Desarrollo de Software. Málaga, España. 2021
DMN4DQ: When data quality meets DMN (Summary). Comunicación en congreso. Jornadas de Ciencia e IngenierÃa de ServiciosJornadas de la Sociedad de IngenierÃa de Software y TecnologÃas de Desarrollo de Software. Málaga, España. 2021
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
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;Garcia-Rosado, David;Enrique-sanchez, Luis;Gómez-López, Mª Teresa;MartÃnez-Gasca, Rafael;Fernández-medina, Eduardo:
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
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
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
CHAMALEON: Framework to improve Data Wrangling with Complex Data. Sesión no plenaria en Congreso. INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS. Munich, Germany. 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
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;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
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
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
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
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
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 ±õ²Ô±¹±ð²õ³Ù¾±²µ²¹³¦¾±Ã³²Ô en Ciberseguridad (JNIC 2019). Cáceres (España). 2019
Guidelines Towards Secure SSL Pinning in Mobile Applications. Ponencia en Congreso. V Jornadas Nacionales de ±õ²Ô±¹±ð²õ³Ù¾±²µ²¹³¦¾±Ã³²Ô en Ciberseguridad (JNIC 2019). Cáceres (España). 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
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
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
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
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
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.;Abad-Herrera, Pedro J.:
An open-source proactive security infrastructure for business process management. Comunicación en congreso. 26th international business information management association conference. . 2015
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
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 Systems . OSTRAVA, CZECH REPUBLIC. 2012
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 Systems . OSTRAVA, CZECH REPUBLIC. 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
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
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 (RCIS) (5) (5.2011.GOSIER, GUADALOUPE, FRANCE). GOSIER, GUADALOUPE, FRANCE. 2011
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 (RCIS) (5) (5.2011.GOSIER, GUADALOUPE, FRANCE). GOSIER, GUADALOUPE, FRANCE. 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
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
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 (RCIS) (5) (5.2011.GOSIER, GUADALOUPE, FRANCE). GOSIER, GUADALOUPE, FRANCE. 2011
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 (RCIS) (5) (5.2011.GOSIER, GUADALOUPE, FRANCE). GOSIER, GUADALOUPE, FRANCE. 2011
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 (3) (3.2010.LEÓN, ESPAÑA). LEÓN, ESPAÑA. 2010
OPBUS: FAULT TOLERANCE AGAINST INTEGRITY ATTACKS IN BUSINESS PROCESSES. Comunicación en congreso. INTERNATIONAL CONFERENCE COMPUTATIONAL INTELLIGENCE IN SECURITY FOR INFORMATION SYSTEMS (3) (3.2010.LEÓN, ESPAÑA). LEÓN, ESPAÑA. 2010
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 (3) (3.2010.VENICE, ITALY). VENICE, ITALY. 2010
TOWARDS DEPENDABLE BUSINESS PROCESSES WITH FAULT-TOLERANCE APPROACH. Comunicación en congreso. THIRD INTERNATIONAL CONFERENCE ON DEPENDABILITY (3) (3.2010.VENICE, ITALY). VENICE, ITALY. 2010
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 (AINA 2010) (24) (24.2010.PERTH, AUSTRALIA). PERTH, AUSTRALIA. 2010
A QUADRATIC, COMPLETE, AND MINIMAL CONSISTENCY DIAGNOSIS PROCESS FOR FIREWALL ACLS. Comunicación en congreso. ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA 2010) (24) (24.2010.PERTH, AUSTRALIA). PERTH, AUSTRALIA. 2010
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
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
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 (2) (2.2009.GREECE). GREECE. 2009
AFPL2, AN ABSTRACT LANGUAGE FOR FIREWALL ACLS WITH NAT SUPPORT. Comunicación en congreso. INTERNATIONAL CONFERENCE ON DEPENDABILITY (2) (2.2009.GREECE). GREECE. 2009
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 (8) (8.2009.SOWON, KOREA). SOWON, KOREA. 2009
MDA-BASED FRAMEWORK FOR AUTOMATIC GENERATION OF CONSISTENT FIREWALL ACLS WITH NAT. Comunicación en congreso. INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (8) (8.2009.SOWON, KOREA). SOWON, KOREA. 2009
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 (SECRYPT) (4) (4.2009.MILA, ITALIA). MILA, ITALIA. 2009
EFFICIENT ALGORITHMS AND ABSTRACT DATA TYPES FOR LOCAL INCONSISTENCY ISOLATION IN FIREWALL ACLS. Comunicación en congreso. INTERNATIONAL CONFERENCE ON SECURITY AND CRYPTOGRAPHY (SECRYPT) (4) (4.2009.MILA, ITALIA). MILA, ITALIA. 2009
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 (10) (10.2008.SALAMANCA, ESPAÑA). SALAMANCA, ESPAÑA. 2008
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 (10) (10.2008.SALAMANCA, ESPAÑA). SALAMANCA, ESPAÑA. 2008
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 (2) (2.2008.CAP ESTEREL, AGAY, FRANCIA). CAP ESTEREL, AGAY, FRANCIA. 2008
POLYNOMIAL HEURISTIC ALGORITHMS FOR INCONSISTENCY CHARACTERIZATION IN FIREWALL RULE SETS. Comunicación en congreso. INTERNATIONAL CONFERENCE ON EMERGING SECURITY INFORMATION, SYSTEMS AND TECHNOLOGIES (2) (2.2008.CAP ESTEREL, AGAY, FRANCIA). CAP ESTEREL, AGAY, FRANCIA. 2008
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 (DEPEND) (1) (1.2008.CAP ESTEREL, AGAY, FRANCIA). CAP ESTEREL, AGAY, FRANCIA. 2008
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 (DEPEND) (1) (1.2008.CAP ESTEREL, AGAY, FRANCIA). CAP ESTEREL, AGAY, FRANCIA. 2008
Varela-Vaca, Ãngel Jesús:
COMITE ORGANIZADOR EN CONGRESO. Conferencia Congreso no publicada. . .
COMITE ORGANIZADOR EN CONGRESO. Conferencia Congreso no publicada. . .
ArtÃculos publicados
De Haro-olmo, Francisco José;Valencia-Parra, Ãlvaro;Varela-Vaca, Ãngel Jesús;Alvarez-Bermejo, Jose Antonio;Gómez-López, Mª Teresa:
ELI: an IoT-aware big data pipeline with data curation and data quality. PeerJ Computer Science. 2023. Pág. 1-24. 10.7717/peerj-cs.1605.
ELI: an IoT-aware big data pipeline with data curation and data quality. PeerJ Computer Science. 2023. Pág. 1-24. 10.7717/peerj-cs.1605.
Estañol, Montserrat;Varela-Vaca, Ãngel Jesús;Gómez-López, Mª Teresa;Teniente, Ernest;MartÃnez-Gasca, Rafael:
Reasoning on the usage control security policies over data artifact business process models. Computer Science and Information Systems. 2022. Pág. 1-26. 10.2298/CSIS210217061E.
Reasoning on the usage control security policies over data artifact business process models. Computer Science and Information Systems. 2022. Pág. 1-26. 10.2298/CSIS210217061E.
Reina-Quintero, Antonia MarÃa;MartÃnez-pérez, Salvador;Varela-Vaca, Ãngel Jesús;Gómez-López, Mª Teresa;Cabot, Jordi:
A domain-specific language for the specification of UCON policies. Journal of Information Security and Applications. 2022. Vol: 64. Pág. 1-14. 10.1016/j.jisa.2021.103006.
A domain-specific language for the specification of UCON policies. Journal of Information Security and Applications. 2022. Vol: 64. Pág. 1-14. 10.1016/j.jisa.2021.103006.
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. Decision Support Systems. 2021. 10.1016/j.dss.2020.113450.
DMN4DQ: When data quality meets DMN. Decision Support Systems. 2021. 10.1016/j.dss.2020.113450.
Varela-Vaca, Ãngel Jesús;Garcia-Rosado, David;Sánchez, Luis Enrique;Gómez-López, Mª Teresa;MartÃnez-Gasca, Rafael;Fernández-Medina-Patón, Eduardo:
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems. Computers in Industry. 2021. Vol: 132. Pág. 1-14. 10.1016/j.compind.2021.103524.
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems. Computers in Industry. 2021. Vol: 132. Pág. 1-14. 10.1016/j.compind.2021.103524.
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. Empirical Software Engineering. 2021. http://dx.doi.org/10.1007/s10664-020-09911-x.
Discovering configuration workflows from existing logs using process mining. Empirical Software Engineering. 2021. http://dx.doi.org/10.1007/s10664-020-09911-x.
Varela-Vaca, Ãngel Jesús;Reina-Quintero, Antonia MarÃa:
Smart Contract Languages: A Multivocal Mapping Study. ACM Computing Surveys. 2021. Vol: 54. Núm: 1. Pág. 1-38. 10.1145/3423166.
Smart Contract Languages: A Multivocal Mapping Study. ACM Computing Surveys. 2021. Vol: 54. Núm: 1. Pág. 1-38. 10.1145/3423166.
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. Computational and Mathematical Methods. 2021. Pág. 1-12. https://onlinelibrary.wiley.com/doi/10.1002/cmm4.1191.
Data Curation in the Internet of Things: a Decision Model approach. Computational and Mathematical Methods. 2021. Pág. 1-12. https://onlinelibrary.wiley.com/doi/10.1002/cmm4.1191.
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. Journal of Supercomputing. 2021. Vol: 77. 10.1007/s11227-020-03605-3.
Blockchain-based federation of wireless sensor nodes. 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. Sensors. 2020. Vol: 20. Núm: 24. Pág. 7171-7194. 10.3390/s20247171.
Blockchain from the Perspective of Privacy and Anonymisation: A Systematic Literature Review. Sensors. 2020. Vol: 20. Núm: 24. Pág. 7171-7194. 10.3390/s20247171.
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. Journal of Supercomputing. 2020. Vol: 76. Pág. 2449-2478. 10.1007/s11227-019-02996-2.
Measuring data-centre workflows complexity through process mining: the Google cluster case. Journal of Supercomputing. 2020. Vol: 76. Pág. 2449-2478. 10.1007/s11227-019-02996-2.
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. Journal of Computational Science. 2020. Vol: 45. https://doi.org/10.1016/j.jocs.2020.101180.
Unleashing Constraint Optimisation Problem solving in Big Data environments. Journal of Computational Science. 2020. Vol: 45. https://doi.org/10.1016/j.jocs.2020.101180.
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. IEEE Access. 2019. Vol: 7. Pág. 26448-26465. 10.1109/ACCESS.2019.2901408.
Automatic verification and diagnosis of security risk assessments in business process models. IEEE Access. 2019. Vol: 7. Pág. 26448-26465. 10.1109/ACCESS.2019.2901408.
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. Entropy : An International and Interdisciplinary Journal of Entropy and Information Studies. 2019. Vol: 21. Núm: 12 (1136). Pág. 1-19. 10.3390/e21121136.
A Framework to Secure the Development and Auditing of SSL Pinning in Mobile Applications: The Case of Android Devices. Entropy : An International and Interdisciplinary Journal of Entropy and Information Studies. 2019. Vol: 21. Núm: 12 (1136). Pág. 1-19. 10.3390/e21121136.
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. Applied Sciences. 2018. Vol: 8. Núm: 10. Pág. 1-26. https://doi.org/10.3390/app8102008.
Business Process Configuration According to Data Dependency Specification. Applied Sciences. 2018. Vol: 8. Núm: 10. Pág. 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. Interest Group in Pure and Applied Logics. Logic Journal. 2015. Vol: 23. Núm: 1. Pág. 57-72. 10.1093/jigpal/jzu042.
Formalization of Security Patterns as a Means to Infer Security Controls in Business Processes. Interest Group in Pure and Applied Logics. Logic Journal. 2015. Vol: 23. Núm: 1. Pág. 57-72. 10.1093/jigpal/jzu042.
Varela-Vaca, Ãngel Jesús:
OPBUS: A framework for improving the dependability of risk-aware business processes. AI communications. 2014. 10.3233/AIC-140651.
OPBUS: A framework for improving the dependability of risk-aware business processes. 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. Information and Software Technology. 2013. http://dx.doi.org/10.1016/j.infsof.2013.05.007.
Towards the Automatic and Optimal Selection of Risk Treatments for Business Processes using a Constraint Programming Approach. 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. IBIMA Communications. 2012. Vol: 2012. Pág. 1-15. 10.5171/2012/959796.
Improvement of Optimization Agreements in Business Processes involving Web Services. IBIMA Communications. 2012. Vol: 2012. Pág. 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. The Journal of Systems and Software. 2012. Vol: 85. Núm: 2. Pág. 425-457. http://dx.doi.org/10.1016/j.jss.2011.09.008.
CONFIDDENT: A Model-Driven Consistent and Non-Redundant Layer-3 Firewall ACL Design, Development and Maintenance Framework. The Journal of Systems and Software. 2012. Vol: 85. Núm: 2. Pág. 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. International Journal On Advances in Security. 2011. Pág. 11-22.
FAULT TOLERANCE FRAMEWORK USING MODEL-BASED DIAGNOSIS: TOWARDS DEPENDABLE BUSINESS PROCESSES. International Journal On Advances in Security. 2011. Pág. 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. Lecture Notes in Computer Science. 2009. Pág. 130-144.
MDA-BASED FRAMEWORK FOR AUTOMATIC GENERATION OF CONSISTENT FIREWALL ACLS WITH NAT. Lecture Notes in Computer Science. 2009. Pág. 130-144.
Patentes
Varela-Vaca, Ãngel Jesús;Gómez-López, Mª Teresa;MartÃnez-Gasca, Rafael: CombiS-BP Editor. Número de patente:
Parody-Núñez, Maria Luisa;Varela-Vaca, Ãngel Jesús;Gómez-López, Mª Teresa;MartÃnez-Gasca, Rafael: CombiS-BP Editor. Número de patente: 201399900807048
