Author Info
Name
Affiliation
Papers
ANGEL JESUS VARELA-VACA
Univ Seville, ETS, Quivir Res Grp, Comp Languages & Syst Dept, Seville, Spain
17
Collaborators
Citations 
PageRank 
29
14
6.09
Referers 
Referees 
References 
39
196
65
Search Limit
100196
Title
Citations
PageRank
Year
Carmen: A Framework For The Verification And Diagnosis Of The Specification Of Security Requirements In Cyber-Physical Systems00.342021
Discovering Configuration Workflows From Existing Logs Using Process Mining00.342021
Smart Contract Languages: A Multivocal Mapping Study00.342021
Empowering conformance checking using Big Data through horizontal decomposition00.342021
AMADEUS - towards the AutoMAteD secUrity teSting.00.342020
Measuring data-centre workflows complexity through process mining: the Google cluster case00.342020
Definition and Verification of Security Configurations of Cyber-Physical Systems.00.342020
Process mining to unleash variability management: discovering configuration workflows using logs [research]00.342019
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models.00.342019
OPBUS: A framework for improving the dependability of risk-aware business processes.00.342015
Towards the automatic and optimal selection of risk treatments for business processes using a constraint programming approach30.402013
CombiS-BP editor: Combining declarative and imperative languages in BP modelling: Demonstration paper.00.342013
A Security Pattern-Driven Approach toward the Automation of Risk Treatment in Business Processes.10.352012
A Model-Driven engineering approach with diagnosis of non-conformance of security objectives in business process models.70.532011
OPBUS: Risk-aware Framework for the Conformance of Security-quality Requirements in Business Processes.10.352011
Contract-based test generation for data flow of business processes using constraint programming00.342011
OPBUS: Fault Tolerance Against Integrity Attacks in Business Processes.20.402010