Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Angel Jesus Varela-Vaca

Ángel Jesús Varela-Vaca

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/Varela-VacaBLGM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/Varela-VacaBLGM23
Ángel Jesús Varela-Vaca, Diana Borrego, María Teresa Gómez López, Rafael M. Gasca, A. Germán Márquez:
Feature models to boost the vulnerability management process. J. Syst. Softw. 195: 111541 (2023)
2022
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/EstanolVLTG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/EstanolVLTG22
Montserrat Estañol, Ángel Jesús Varela-Vaca, María Teresa Gómez López, Ernest Teniente, Rafael M. Gasca:
Reasoning on the usage control security policies over data artifact business process models. Comput. Sci. Inf. Syst. 19(2): 547-572 (2022)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/csur/Varela-VacaQ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csur/Varela-VacaQ21
Ángel Jesús Varela-Vaca, Antonia M. Reina Quintero:
Smart Contract Languages: A Multivocal Mapping Study. ACM Comput. Surv. 54(1): 3:1-3:38 (2022)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/istr/QuinteroPVLC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/istr/QuinteroPVLC22
Antonia M. Reina Quintero, Salvador Martínez Perez, Ángel Jesús Varela-Vaca, María Teresa Gómez López, Jordi Cabot:
A domain-specific language for the specification of UCON policies. J. Inf. Secur. Appl. 64: 103006 (2022)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/MartinezV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/MartinezV22
Jabier Martinez, Ángel Jesús Varela-Vaca:
Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert. SAFECOMP Workshops 2022: 158-165
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/MarquezGVL022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/MarquezGVL022
A. Germán Márquez, José A. Galindo, Ángel Jesús Varela-Vaca, María Teresa Gómez López, David Benavides:
Advisory: vulnerability analysis in software development project dependencies. SPLC (B) 2022: 99-102
2021
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cii/Varela-VacaRSLG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cii/Varela-VacaRSLG21
Ángel Jesús Varela-Vaca, David G. Rosado, Luís Enrique Sanchez, María Teresa Gómez López, Rafael M. Gasca, Eduardo Fernández-Medina:
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems. Comput. Ind. 132: 103524 (2021)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/cmm/HaroOlmoVVA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cmm/HaroOlmoVVA21
Francisco José de Haro-Olmo, Álvaro Valencia-Parra, Angel Jesus Varela-Vaca, José Antonio Álvarez-Bermejo:
Data curation in the Internet of Things: A decision model approach. Comput. Math. Methods 3(6) (2021)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/dss/Valencia-ParraP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dss/Valencia-ParraP21
Álvaro Valencia-Parra, Luisa Parody, Ángel Jesús Varela-Vaca, Ismael Caballero, María Teresa Gómez López:
DMN4DQ: When data quality meets DMN. Decis. Support Syst. 141: 113450 (2021)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/Ramos-Gutierrez21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/Ramos-Gutierrez21
Belén Ramos-Gutiérrez, Ángel Jesús Varela-Vaca, José A. Galindo, María Teresa Gómez López, David Benavides:
Discovering configuration workflows from existing logs using process mining. Empir. Softw. Eng. 26(1): 11 (2021)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/is/Valencia-ParraV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/Valencia-ParraV21
Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, María Teresa Gómez López, Josep Carmona, Robin Bergenthum:
Empowering conformance checking using Big Data through horizontal decomposition. Inf. Syst. 99: 101731 (2021)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tjs/Haro-OlmoAVL21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tjs/Haro-OlmoAVL21
Francisco José de Haro-Olmo, José Antonio Álvarez-Bermejo, Angel Jesus Varela-Vaca, Juan Antonio López-Ramos:
Blockchain-based federation of wireless sensor nodes. J. Supercomput. 77(7): 7879-7891 (2021)
[c23]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/bpm/Valencia-ParraV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/Valencia-ParraV21
Álvaro Valencia-Parra, Angel Jesus Varela-Vaca, María Teresa Gómez López, Josep Carmona:
CC4Spark: Distributing event logs and big complex conformance checking problems. BPM (PhD/Demos) 2021: 136-140
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/Ramos-Gutierrez21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/Ramos-Gutierrez21
Belén Ramos-Gutiérrez, Ángel Jesús Varela-Vaca, F. Javier Ortega, María Teresa Gómez López, Moe Thandar Wynn:
A NLP-Oriented Methodology to Enhance Event Log Quality. BPMDS/EMMSAD@CAiSE 2021: 19-35
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/21/Valencia-ParraRVLB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/21/Valencia-ParraRVLB21
Álvaro Valencia-Parra, Belén Ramos-Gutiérrez, Ángel Jesús Varela-Vaca, María Teresa Gómez López, Antonio Garcia Bernal:
Enabling Process Mining in Airbus Manufacturing. Business Process Management Cases (2) 2021: 125-138
2020
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jocs/Valencia-ParraV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jocs/Valencia-ParraV20
Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, Luisa Parody, María Teresa Gómez López:
Unleashing Constraint Optimisation Problem solving in Big Data environments. J. Comput. Sci. 45: 101180 (2020)
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sensors/Haro-OlmoVA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sensors/Haro-OlmoVA20
Francisco José de Haro-Olmo, Ángel Jesús Varela-Vaca, José Antonio Álvarez-Bermejo:
Blockchain from the Perspective of Privacy and Anonymisation: A Systematic Literature Review. Sensors 20(24): 7171 (2020)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tjs/Fernandez-Cerero20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tjs/Fernandez-Cerero20
Damián Fernández-Cerero, Ángel Jesús Varela-Vaca, Alejandro Fernández-Montes, María Teresa Gómez López, José Antonio Álvarez-Bermejo:
Measuring data-centre workflows complexity through process mining: the Google cluster case. J. Supercomput. 76(4): 2449-2478 (2020)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/Varela-VacaRSLG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/Varela-VacaRSLG20
Ángel Jesús Varela-Vaca, David G. Rosado, Luís Enrique Sanchez, María Teresa Gómez López, Rafael M. Gasca, Eduardo Fernández-Medina:
Definition and Verification of Security Configurations of Cyber-Physical Systems. CyberICPS/SECPRE/ADIoT@ESORICS 2020: 135-155
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/Varela-VacaGCL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/Varela-VacaGCL20
Ángel Jesús Varela-Vaca, Rafael M. Gasca, Jose Antonio Carmona-Fombella, María Teresa Gómez López:
AMADEUS: towards the AutoMAteD secUrity teSting. SPLC (A) 2020: 11:1-11:12

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/Varela-VacaPGL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/Varela-VacaPGL19
Angel Jesus Varela-Vaca, Luisa Parody, Rafael M. Gasca, María Teresa Gómez López:
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models. IEEE Access 7: 26448-26465 (2019)
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entropy/Ramirez-LopezVR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entropy/Ramirez-LopezVR19
Francisco José Ramírez-López, Ángel Jesús Varela-Vaca, Jorge Ropero, Joaquín Luque, Alejandro Carrasco:
A Framework to Secure the Development and Auditing of SSL Pinning in Mobile Applications: The Case of Android Devices. Entropy 21(12): 1136 (2019)
[c19]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/bpm/Valencia-ParraR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/Valencia-ParraR19
Álvaro Valencia-Parra, Belén Ramos-Gutiérrez, Angel Jesus Varela-Vaca, María Teresa Gómez López, Antonio Garcia Bernal:
Enabling process mining in aircraft manufactures: extracting event logs and discovering processes from complex data. BPM (Industry Forum) 2019: 166-177
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/Valencia-ParraP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/Valencia-ParraP19
Álvaro Valencia-Parra, Luisa Parody, Ángel Jesús Varela-Vaca, Ismael Caballero, María Teresa Gómez López:
DMN for Data Quality Measurement and Assessment. Business Process Management Workshops 2019: 362-374
[c17]
- view
  - electronic edition @ aisnet.org
  - no references & citations available
- export record
  dblp key:
  - conf/icis/Valencia-ParraV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icis/Valencia-ParraV19
Álvaro Valencia-Parra, Ángel Jesús Varela-Vaca, María Teresa Gómez López, Paolo Ceravolo:
CHAMALEON: Framework to improve Data Wrangling with Complex Data. ICIS 2019
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/Varela-VacaGRLB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/Varela-VacaGRLB19
Ángel Jesús Varela-Vaca, José Angel Galindo, Belén Ramos-Gutiérrez, María Teresa Gómez López, David Benavides:
Process mining to unleash variability management: discovering configuration workflows using logs. SPLC (A) 2019: 37:1-37:12
2017
[c15]
- view
  - electronic edition @ aisnet.org
  - no references & citations available
- export record
  dblp key:
  - conf/isdevel/ParodyVLG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isdevel/ParodyVLG17
Luisa Parody, Ángel Jesús Varela-Vaca, María Teresa Gómez López, Rafael M. Gasca:
FABIOLA: Defining the Components for Constraint Optimization Problems in Big Data Environment. ISD 2017
2016
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/aicom/Varela-Vaca15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aicom/Varela-Vaca15
Angel Jesus Varela-Vaca:
OPBUS: A framework for improving the dependability of risk-aware business processes. AI Commun. 29(1): 233-235 (2016)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/bis/Varela-VacaBLG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bis/Varela-VacaBLG16
Ángel Jesús Varela-Vaca, Diana Borrego, María Teresa Gómez López, Rafael M. Gasca:
A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models. BIS 2016: 289-301
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/Perez-AlvarezLV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/Perez-AlvarezLV16
José Miguel Pérez-Álvarez, María Teresa Gómez López, Angel Jesus Varela-Vaca, Fco. Fernando de la Rosa Troyano, Rafael M. Gasca:
Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps. Business Process Management Workshops 2016: 208-219
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/LopezPVG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/LopezPVG16
María Teresa Gómez López, José Miguel Pérez-Álvarez, Ángel Jesús Varela-Vaca, Rafael M. Gasca:
Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models. Business Process Management Workshops 2016: 239-251
2015
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Varela-VacaG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Varela-VacaG15
Angel Jesus Varela-Vaca, Rafael M. Gasca:
Formalization of security patterns as a means to infer security controls in business processes. Log. J. IGPL 23(1): 57-72 (2015)
2013
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/Varela-VacaG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/Varela-VacaG13
Angel Jesus Varela-Vaca, Rafael M. Gasca:
Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach. Inf. Softw. Technol. 55(11): 1948-1973 (2013)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/rcis/ParodyLGV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcis/ParodyLGV13
Luisa Parody, María Teresa Gómez López, Rafael M. Gasca, Angel Jesus Varela-Vaca:
CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper. RCIS 2013: 1-2
2012
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/PozoGRV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/PozoGRV12
Sergio Pozo, Rafael M. Gasca, Antonia M. Reina Quintero, Angel Jesus Varela-Vaca:
CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework. J. Syst. Softw. 85(2): 425-457 (2012)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/softcomp/Varela-VacaWGPM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/softcomp/Varela-VacaWGPM12
Angel Jesus Varela-Vaca, Robert Warschofsky, Rafael M. Gasca, Sergio Pozo, Christoph Meinel:
A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes. CISIS/ICEUTE/SOCO Special Sessions 2012: 13-23
2011
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/rcis/RamirezGV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcis/RamirezGV11
Andres Jimenez Ramirez, Rafael Martinez Gasca, Angel Jesus Varela-Vaca:
Contract-based test generation for data flow of business processes using constraint programming. RCIS 2011: 1-12
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/rcis/Varela-VacaGR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcis/Varela-VacaGR11
Angel Jesus Varela-Vaca, Rafael Martinez Gasca, Andres Jimenez Ramirez:
A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models. RCIS 2011: 1-6
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/secrypt/Varela-VacaGP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/Varela-VacaGP11
Angel Jesus Varela-Vaca, Rafael M. Gasca, Sergio Pozo:
OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes. SECRYPT 2011: 370-374
2010
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/aina/PozoVG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aina/PozoVG10
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca:
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs. AINA 2010: 1037-1046
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cisis-spain/Varela-VacaG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cisis-spain/Varela-VacaG10
Angel Jesus Varela-Vaca, Rafael Martinez Gasca:
OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes. CISIS 2010: 213-222

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iccsa/PozoVG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccsa/PozoVG09
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca:
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT. ICCSA (2) 2009: 130-144
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/secrypt/PozoVGC09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secrypt/PozoVGC09
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca, Rafael Ceballos:
Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs. SECRYPT 2009: 42-53
2008
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/securware/HidalgoCGV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/securware/HidalgoCGV08
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca:
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. SECURWARE 2008: 53-61
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/securware/HidalgoCGV08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/securware/HidalgoCGV08a
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca:
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates. SECURWARE 2008: 381-390

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.