arrow
Back
R

Rafael M. Gasca

University of Castilla-La Mancha

16H-index
188Paper Count
980Citation Count
Published Papers 21
Publication Date
Environment for the Evaluation of Hybrid (Classical–Quantum) Systems Analyzability [Focus: Quantum Software and Its Engineering]
err2025-09-01
err0
PREAI
errAna Díaz-Muñoz; Javier Verdugo; Moisés Rodríguez; José A. Cruz-Lemus; Rafael Martínez-Gasca; Mario Piattini
errShare
errSave
Enabling security risk assessment and management for business process models
err2024-08-01
err3
errOAAI
errRosado, David G.; Sanchez, Luis E.; Jesus Varela-Vaca, Angel; Santos-Olmo, Antonio; Teresa Goemez-Loepez, Maria; Gasca, Rafael M.; Fernandez-Medina, Eduardo
errShare
errSave
Automated trusted collaborative processes through blockchain & IoT integration: The fraud detection case
err2024-04-01
err1
errOAAI
errVarela-Vaca, angel Jesus; Gasca, Rafael M.; Iglesias, David; Gonzalez-Gutierrez, J. M.
errShare
errSave
Feature models to boost the vulnerability management process?
err2023-01-01
err3
errOAAI
errJesus Varela-Vaca, Angel; Borrego, Diana; Teresa Gomez-Lopez, Maria; Gasca, Rafael M.; German Marquez, A.
errShare
errSave
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
err2021-11-01
err8
errOAAI
errJesus Varela-Vaca, Angel; Rosado, David G.; Sanchez, Luis E.; Teresa Gomez-Lopez, Maria; Gasca, Rafael M.; Fernandez-Medina, Eduardo
errShare
errSave
errShare
errSave
Self-Adaptative Troubleshooting for to Guide Resolution of Malfunctions in Aircraft Manufacturing
err2021-01-01
err0
errOAAI
errRamos-Gutierrez, Belen; Teresa Gomez-Lopez, Maria; Borrego, Diana; Ceballos, Rafael; Gasca, Rafael M.; Barea, Antonio
errShare
errSave
Prognosis of multiple instances in time-aware declarative business process models
err2020-09-01
err1
errOAAI
errBorrego, Diana; Teresa Gomez-Lopez, Maria; Gasca, Rafael M.
errShare
errSave
Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models
err2019-01-01
err16
errOAAI
errVarela-Vaca, Angel J.; Parody, Luisa; Gasca, Rafael M.; Gomez-Lopez, Maria T.
errShare
errSave
Hybrid business process modeling for the optimization of outcome data
err2016-02-01
err10
errOAAI
errParody, Luisa; Teresa Gomez-Lopez, Maria; Gasca, Rafael M.
errShare
errSave
Automating correctness verification of artifact-centric business process models
err2015-06-01
err18
errOAAI
errBorrego, Diana; Gasca, Rafael M.; Gomez-Lopez, Maria Teresa
errShare
errSave
Compliance validation and diagnosis of business data constraints in business processes at runtime
err2015-03-01
err32
errOAAI
errTeresa Gomez-Lopez, Maria; Gasca, Rafael M.; Miguel Perez-Alvarez, Jose
errShare
errSave
errShare
errSave
Data-driven bounded-error fault detection
err2013-11-21
err4
PREAI
errSuarez Fabrega, Antonio J.; Bravo Caro, Jose Manuel; Abad Herrera, Pedro J.; Gasca, Rafael M.
errShare
errSave
Minimizing test-point allocation to improve diagnosability in business process models
err2013-11-01
err4
errOAAI
errBorrego, Diana; Teresa Gomez-Lopez, Maria; Gasca, Rafael M.
errShare
errSave
FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls
err2012-06-01
err10
PREAI
errNeira Ayuso, Pablo; Gasca, Rafael M.; Lefevre, Laurent
errShare
errSave
Demystifying Cluster-Based Fault-Tolerant Firewalls
err2009-11-01
err4
errOAAI
errNeira Ayuso, Pablo; Gasca, Rafael M.; Lefevre, Laurent
errShare
errSave