Concepedia

Rafael M. Gasca

RM

23

Publications

417

Citations

15

H-Index

2004

Active since

Affiliations

Universidad de Sevilla(Current)

University of Castilla-La Mancha

University of Florence

Eindhoven University of Technology

Rafael M. Gasca is an author at Universidad de Sevilla specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceSoftware EngineeringVerificationSoftware DesignFormal VerificationSoftware AnalysisFormal MethodsManagement

Publications per year

2004–2024

23

Publications

23

Compliance validation and diagnosis of business data constraints in business processes at runtime

María Teresa Gómez-López, Rafael M. Gasca, José Miguel Pérez-Álvarez · Information Systems · 2014 · 40 citations

Engineering, Business Processes, Business Intelligence +19

Communicating between the kernel and user‐space in Linux using Netlink sockets

Pablo Neira, Rafael M. Gasca, Laurent Lefèvre · Software Practice and Experience · 2010 · 31 citations

Engineering, Communication Interface, Software Developers +19

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

Ángel Jesús Varela‐Vaca, Rafael M. Gasca, Rafael Ceballos et al. · Applied Sciences · 2019 · 28 citations · Full text

Cybersecurity, Engineering, Information Security +23

Diagnosing correctness of semantic workflow models

Diana Borrego, Rik Eshuis, María Teresa Gómez-López et al. · Data & Knowledge Engineering · 2013 · 26 citations · Full text

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

Ángel Jesús Varela‐Vaca, Rafael M. Gasca · Information and Software Technology · 2013 · 20 citations

Mathematical Programming, Constraint Programming Approach, Risk Treatments +12

Rows per page

1–5 of 23