Skip to content

Angel Jesus Varela Vaca

  • PhD. Software Engineering
  • PhD Studend and Researcher
  • Computing languages and Systems Department at University of Seville
  • 11PublicationsNumber of items in Angel Jesus's My Publications folder on Mendeley.
  • 9Followers

Research interests

transformations and tools in the model-driven context. Security more precisely in the analysis of security risk management and security policies (networkmeta-modelsModel-driven Architectures/Development (MDA/MDD) focused on defining conceptual models

About

I received the Computer Engineering Grade in 2008 and M.Sc. in Software Engineering and Technologies at 2009 at the University of Seville. Currently, I'm working as a researcher in my PhD in Software Engineering hopefully will present in 2013. At the same time, I work as a novel teacher at the University of Seville, and I am also a member of the Quivir Research Group and belong to IEEE association. Specialties Model-driven Architectures/Development (MDA/MDD) focused on defining conceptual models, meta-models, transformations and tools in the model-driven context. Security more precisely in the analysis of security risk management and security policies (network access control list). Security in Business Process Management. AI techniques in security and business process: model-based diagnosis and diagnosis.

Followers (9)

  • Samuel  Jacob

    Samuel Jacob

  • Daniel Arteaga

    Daniel ArteagaUniversity of Seville Technical School of Computer Engineering

  • Antonio Gamez-Diaz

    Antonio Gamez-DiazETSII - Universidad de Sevilla - University of Sevilla

  • Pablo Fernandez

    Pablo FernandezUniversity of Seville Technical School of Computer Engineering

  • Juan Antonio Alvarez Garcia

    Juan Antonio Alvarez GarciaUniversity of Seville

  • José María García

    José María GarcíaUniversity of Seville

Explore network

Following (7)

Explore network

Publications (5)

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

    • Pozo S
    • Gasca R
    • Reina-Quintero A
    • et al.
    N/AReaders
    N/ACitations
    Get full text
  • Contract-based test generation for data flow of business processes using constraint programming

    • Jimenez-Ramirez A
    • Gasca R
    • Varela-Vaca A
    N/AReaders
    N/ACitations
  • AFPL2, an Abstract Language for Firewall ACLs with NAT Support

    • Pozo S
    • Varela-Vaca A
    • Gasca R
    N/AReaders
    N/ACitations
    Get full text
  • Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates

    • Pozo S
    • Ceballos R
    • Gasca R
    • et al.
    N/AReaders
    N/ACitations
    Get full text
  • Polynomial Heuristic Algorithms for Inconsistency Characterization in Firewall Rule Sets

    • Pozo S
    • Ceballos R
    • Gasca R
    • et al.
    N/AReaders
    N/ACitations
    Get full text

Professional experience

PhD Studend and Researcher

Computing languages and Systems Department at University of Seville

September 2009 - Present

Interim Teacher

Computing languages and Systems Department at University of Seville

September 2008 - October 2009(a year)

Education

Master on Technology and Software Engineering

Computing languages and Systems Department at University of Seville

September 2009

MSc. Computer Engineering

University of Seville

September 2001 - September 2008(7 years)