Contact

All Stories

  1. VEXGen: Automating Vulnerability Exploitability eXchange Generation for software projects

    Article • Computers & Security, January 2027, Elsevier

    PhD Ángel Jesús Varela-Vaca

  2. Edge process mining for indoor positioning

    Article • Internet of Things, September 2026, Elsevier

    PhD Ángel Jesús Varela-Vaca

  3. DMN4DQ+: Optimising data repair to enhance data usability

    Article • Expert Systems with Applications, January 2026, Elsevier

    PhD Ángel Jesús Varela-Vaca

  4. A dataset on vulnerabilities affecting dependencies in software package managers

    Article • Data in Brief, October 2025, Elsevier

    PhD Ángel Jesús Varela-Vaca

  5. Optimising secure and sustainable smart home configurations

    Article • Internet of Things, July 2025, Elsevier

    PhD Ángel Jesús Varela-Vaca

  6. Informed decision-making in prioritising product variants

    Article • PeerJ Computer Science, June 2025, PeerJ

    PhD Ángel Jesús Varela-Vaca

  7. Business process models and simulation to enable GDPR compliance

    Article • International Journal of Information Security, December 2024, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  8. Enabling security risk assessment and management for business process models

    Article • Journal of Information Security and Applications, August 2024, Elsevier

    PhD Ángel Jesús Varela-Vaca

  9. Automated trusted collaborative processes through blockchain & IoT integration: The fraud detection case

    Article • Internet of Things, April 2024, Elsevier

    PhD Ángel Jesús Varela-Vaca

  10. Vulnerability impact analysis in software project dependencies based on Satisfiability Modulo Theories (SMT)

    Article • Computers & Security, April 2024, Elsevier

    PhD Ángel Jesús Varela-Vaca

  11. BIGOWL4DQ: Ontology-driven approach for Big Data quality meta-modelling, selection and reasoning

    Article • Information and Software Technology, March 2024, Elsevier

    PhD Ángel Jesús Varela-Vaca

  12. Onto-CARMEN: Ontology-driven approach for Cyber–Physical System Security Requirements meta-modelling and reasoning

    Article • Internet of Things, December 2023, Elsevier

    PhD Ángel Jesús Varela-Vaca

  13. ELI: an IoT-aware big data pipeline with data curation and data quality

    Article • PeerJ Computer Science, October 2023, PeerJ

    PhD Ángel Jesús Varela-Vaca

  14. Paying attention to cyber-attacks: A multi-layer perceptron with self-attention mechanism

    Article • Computers & Security, September 2023, Elsevier

    PhD Ángel Jesús Varela-Vaca, PhD Juan Antonio Álvarez-García

  15. Feature models to boost the vulnerability management process

    Article • Journal of Systems and Software, January 2023, Elsevier

    PhD Ángel Jesús Varela-Vaca

  16. Revealing the Importance of Setting Parameters in Declarative Discovery Algorithms: An Evolutionary-Based Methodology

    Article • January 2023, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  17. Advisory

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

    PhD Ángel Jesús Varela-Vaca

  18. A domain-specific language for the specification of UCON policies

    Article • Journal of Information Security and Applications, February 2022, Elsevier

    PhD Ángel Jesús Varela-Vaca

  19. 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

  20. Dynamic Checks of Evidence Models for Assurance Projects in Eclipse OpenCert

    Article • January 2022, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  21. Reasoning on the usage control security policies over data artifact business process models

    Article • Computer Science and Information Systems, January 2022, National Library of Serbia

    PhD Ángel Jesús Varela-Vaca

  22. CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems

    Article • Computers in Industry, November 2021, Elsevier

    PhD Ángel Jesús Varela-Vaca

  23. Empowering conformance checking using Big Data through horizontal decomposition

    Article • Information Systems, July 2021, Elsevier

    PhD Ángel Jesús Varela-Vaca

  24. DMN4DQ: When data quality meets DMN

    Article • Decision Support Systems, February 2021, Elsevier

    PhD Ángel Jesús Varela-Vaca

  25. Blockchain-based federation of wireless sensor nodes

    Article • The Journal of Supercomputing, January 2021, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  26. Discovering configuration workflows from existing logs using process mining

    Article • Empirical Software Engineering, January 2021, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  27. A NLP-Oriented Methodology to Enhance Event Log Quality

    Article • January 2021, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

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

    Article • January 2021, Universidad Castilla la Mancha

    PhD Ángel Jesús Varela-Vaca

  29. Curso de Especialización en Ciberseguridad, ¿están preparados nuestros docentes?

    Article • January 2021, Universidad Castilla la Mancha

    PhD Ángel Jesús Varela-Vaca

  30. Blockchain from the Perspective of Privacy and Anonymisation: A Systematic Literature Review

    Article • Sensors, December 2020, MDPI AG

    PhD Ángel Jesús Varela-Vaca

  31. AMADEUS

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

    PhD Ángel Jesús Varela-Vaca

  32. Unleashing Constraint Optimisation Problem solving in Big Data environments

    Article • Journal of Computational Science, September 2020, Elsevier

    PhD Ángel Jesús Varela-Vaca

  33. 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

  34. 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

  35. 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

  36. 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

  37. DMN for Data Quality Measurement and Assessment

    Article • January 2019, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  38. Process mining to unleash variability management

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

    PhD Ángel Jesús Varela-Vaca

  39. Constraint-Driven Fault Diagnosis

    Article • January 2019, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  40. Model-Based Software Debugging

    Article • January 2019, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  41. Business Process Configuration according to Data Dependency Specification

    Article • Applied Sciences, October 2018, MDPI AG

    PhD Ángel Jesús Varela-Vaca

  42. Business Process Configuration according to Data Dependency Specification

    Article • October 2018, MDPI AG

    PhD Ángel Jesús Varela-Vaca

  43. 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

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

    Article • January 2017, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  45. 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

  46. 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

  47. 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

  48. 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

  49. 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

  50. 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

  51. 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

  52. 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

  53. 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

  54. 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

  55. 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

  56. Towards Dependable Business Processes with Fault-Tolerance Approach

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

    PhD Ángel Jesús Varela-Vaca

  57. 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

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

    Article • January 2010, Springer Science + Business Media

    PhD Ángel Jesús Varela-Vaca

  59. 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

  60. 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

  61. 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

  62. 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