Angel Jesus Varela-Vaca

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 8

Top Topics

Constraint Programming

Workflow Systems

Top Venues

Inf. Softw. Technol.

Comput. Math. Methods

Publications

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)
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) (2021)
Á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)
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 (2019)
Á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)
Angel Jesus Varela-Vaca
OPBUS: A framework for improving the dependability of risk-aware business processes. AI Commun. 29 (1) (2016)
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)
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) (2015)
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)
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) (2013)
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) (2012)
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)
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)
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)
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)
Angel Jesus Varela-Vaca, Rafael Martinez Gasca
OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes. CISIS (2010)
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs. AINA (2010)
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT. ICCSA (2) (2009)
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)
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates. SECURWARE (2008)
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets. SECURWARE (2008)