Angel Jesus Varela-Vaca

21 papers B 4C 2Misc 1Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2021 J jnl
Blockchain-based federation of wireless sensor nodes.
J. Supercomput.
Francisco José de Haro-Olmo, José Antonio Álvarez-Bermejo, Angel Jesus Varela-Vaca, Juan Antonio López-Ramos
2021 — conf
CC4Spark: Distributing event logs and big complex conformance checking problems.
BPM (PhD/Demos)
Álvaro Valencia-Parra, Angel Jesus Varela-Vaca, María Teresa Gómez-López, Josep Carmona
2021 J jnl
Data curation in the Internet of Things: A decision model approach.
Comput. Math. Methods
Francisco José de Haro-Olmo, Álvaro Valencia-Parra, Angel Jesus Varela-Vaca, José Antonio Álvarez-Bermejo
2019 J jnl
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models.
IEEE Access
Angel Jesus Varela-Vaca, Luisa Parody, Rafael M. Gasca, María Teresa Gómez-López
2019 — conf
Enabling process mining in aircraft manufactures: extracting event logs and discovering processes from complex data.
BPM (Industry Forum)
Álvaro Valencia-Parra, Belén Ramos-Gutiérrez, Angel Jesus Varela-Vaca, María Teresa Gómez-López, Antonio Garcia Bernal
2016 — conf
Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps.
Business Process Management Workshops
José Miguel Pérez-Álvarez, María Teresa Gómez-López, Angel Jesus Varela-Vaca, Francisco Fernando de la Rosa Troyano, Rafael M. Gasca
2016 J jnl
OPBUS: A framework for improving the dependability of risk-aware business processes.
AI Commun.
Angel Jesus Varela-Vaca
2015 J jnl
Formalization of security patterns as a means to infer security controls in business processes.
Log. J. IGPL
Angel Jesus Varela-Vaca, Rafael M. Gasca
2013 B conf
CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper.
RCIS
Luisa Parody, María Teresa Gómez-López, Rafael M. Gasca, Angel Jesus Varela-Vaca
2013 J jnl
Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach.
Inf. Softw. Technol.
Angel Jesus Varela-Vaca, Rafael M. Gasca
2012 — conf
A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes.
CISIS/ICEUTE/SOCO Special Sessions
Angel Jesus Varela-Vaca, Robert Warschofsky, Rafael M. Gasca, Sergio Pozo, Christoph Meinel
2012 J jnl
CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework.
J. Syst. Softw.
Sergio Pozo, Rafael M. Gasca, Antonia M. Reina Quintero, Angel Jesus Varela-Vaca
2011 B conf
A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models.
RCIS
Angel Jesus Varela-Vaca, Rafael Martinez Gasca, Andres Jimenez Ramirez
2011 B conf
Contract-based test generation for data flow of business processes using constraint programming.
RCIS
Andres Jimenez Ramirez, Rafael Martinez Gasca, Angel Jesus Varela-Vaca
2011 C conf
OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes.
SECRYPT
Angel Jesus Varela-Vaca, Rafael M. Gasca, Sergio Pozo
2010 B conf
A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs.
AINA
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca
2010 Misc conf
OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes.
CISIS
Angel Jesus Varela-Vaca, Rafael Martinez Gasca
2009 C conf
Efficient Algorithms and Abstract Data Types for Local Inconsistency Isolation in Firewall ACLs.
SECRYPT
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca, Rafael Ceballos
2009 — conf
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT.
ICCSA (2)
Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca
2008 — conf
Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.
SECURWARE
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca
2008 — conf
Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets.
SECURWARE
Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca