Contact

All Stories

  1. Advisory

    Article • September 2022, ACM (Association for Computing Machinery)

    PhD Ángel Jesús Varela-Vaca

  2. Smart contract languages: A multivocal mapping study.

    Article • ACM Computing Surveys, January 2022, ACM (Association for Computing Machinery)

    PhD Ángel Jesús Varela-Vaca, Phd. Antonia M. Reina Quintero

  3. AMADEUS

    Article • October 2020, ACM (Association for Computing Machinery)

    PhD Ángel Jesús Varela-Vaca

  4. CyberSPL: A Framework for the Verification of Cybersecurity Policy Compliance of System Configurations Using Software Product Lines

    Article • Applied Sciences, December 2019, MDPI AG

    PhD Ángel Jesús Varela-Vaca

  5. A Framework to Secure the Development and Auditing of SSL Pinning in Mobile Applications: The Case of Android Devices

    Article • Entropy, November 2019, MDPI AG

    PhD Ángel Jesús Varela-Vaca

  6. Measuring data-centre workflows complexity through process mining: the Google cluster case

    Article • The Journal of Supercomputing, September 2019, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  7. Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models

    Article • IEEE Access, January 2019, Institute of Electrical & Electronics Engineers (IEEE)

    PhD Ángel Jesús Varela-Vaca

  8. DMN for Data Quality Measurement and Assessment

    Article • January 2019, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  9. Process mining to unleash variability management

    Article • January 2019, ACM (Association for Computing Machinery)

    PhD Ángel Jesús Varela-Vaca

  10. Business Process Configuration according to Data Dependency Specification

    Article • Applied Sciences, October 2018, MDPI AG

    PhD Ángel Jesús Varela-Vaca

  11. Business Process Configuration according to Data Dependency Specification

    Article • October 2018, MDPI AG

    PhD Ángel Jesús Varela-Vaca

  12. FABIOLA: Towards the Resolution of Constraint Optimization Problems in Big Data Environment

    Article • January 2018, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  13. Governance Knowledge Management and Decision Support Using Fuzzy Governance Maps

    Article • January 2017, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  14. Guiding the Creation of Choreographed Processes with Multiple Instances Based on Data Models

    Article • January 2017, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  15. A Usage Control Model Extension for the Verification of Security Policies in Artifact-Centric Business Process Models

    Article • January 2016, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  16. Formalization of security patterns as a means to infer security controls in business processes

    Article • Logic Journal of IGPL, December 2014, Oxford University Press (OUP)

    PhD Ángel Jesús Varela-Vaca

  17. OPBUS: A framework for improving the dependability of risk-aware business processes

    Article • AI Communications, November 2014, IOS Press

    PhD Ángel Jesús Varela-Vaca

  18. Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach

    Article • Information and Software Technology, November 2013, Elsevier

    PhD Ángel Jesús Varela-Vaca

  19. CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper

    Article • May 2013, Institute of Electrical & Electronics Engineers (IEEE)

    PhD Ángel Jesús Varela-Vaca

  20. A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes

    Article • January 2013, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  21. Improvement of Optimization Agreements in Business Processes Involving Web Services

    Article • Communications of the IBIMA, May 2012, IBIMA Publishing

    PhD Ángel Jesús Varela-Vaca

  22. CONFIDDENT: A model-driven consistent and non-redundant layer-3 firewall ACL design, development and maintenance framework

    Article • Journal of Systems and Software, February 2012, Elsevier

    PhD Ángel Jesús Varela-Vaca, Phd. Antonia M. Reina Quintero

  23. Contract-based test generation for data flow of business processes using constraint programming

    Article • May 2011, Institute of Electrical & Electronics Engineers (IEEE)

    PhD Ángel Jesús Varela-Vaca

  24. A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models

    Article • May 2011, Institute of Electrical & Electronics Engineers (IEEE)

    PhD Ángel Jesús Varela-Vaca

  25. Towards Dependable Business Processes with Fault-Tolerance Approach

    Article • July 2010, Institute of Electrical & Electronics Engineers (IEEE)

    PhD Ángel Jesús Varela-Vaca

  26. A Quadratic, Complete, and Minimal Consistency Diagnosis Process for Firewall ACLs

    Article • January 2010, Institute of Electrical & Electronics Engineers (IEEE)

    PhD Ángel Jesús Varela-Vaca

  27. OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes

    Article • January 2010, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  28. AFPL2, an Abstract Language for Firewall ACLs with NAT Support

    Article • June 2009, Institute of Electrical & Electronics Engineers (IEEE)

    PhD Ángel Jesús Varela-Vaca

  29. MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT

    Article • January 2009, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  30. Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates

    Article • August 2008, Institute of Electrical & Electronics Engineers (IEEE)

    PhD Ángel Jesús Varela-Vaca

  31. Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets

    Article • August 2008, Institute of Electrical & Electronics Engineers (IEEE)

    PhD Ángel Jesús Varela-Vaca