Concepedia

Rafael Ceballos

RC

4

Publications

75

Citations

4

H-Index

2007

Active since

Affiliations

Universidad de Sevilla(Current)

Rafael Ceballos is an author at Universidad de Sevilla specializing in computer science, engineering, and information security.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsSoftware DesignSoftware AnalysisFormal VerificationSystems EngineeringInformation SecuritySoftware Engineering

Publications per year

2007–2019

4

Publications

4

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

CSP-Based Firewall Rule Set Diagnosis using Security Policies

S. Pozo, Rafael Ceballos, Rafael M. Gasca · 2007 · 17 citations

Firewall Configuration Process, Engineering, Information Security +19

Developing a labelled object-relational constraint database architecture for the projection operator

María Teresa Gómez-López, Rafael Ceballos, Rafael M. Gasca et al. · Data & Knowledge Engineering · 2008 · 15 citations

Artificial Intelligence, Constraint Solving, Engineering +9

Model-Based Development of firewall rule sets: Diagnosing model inconsistencies

S. Pozo, Rafael Ceballos, Rafael M. Gasca · Information and Software Technology · 2008 · 15 citations · Full text

Rows per page

1–4 of 4