arrow
返回
R

Rafael M. Gasca

University of Castilla-La Mancha

16H指数
188论文数
980被引数
收录论文 21
发表时间
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
err分享
err收藏
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.
err分享
err收藏
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.
err分享
err收藏
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systemsCARMEN: 网络物理系统中安全要求规范的验证和诊断框架
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
err分享
err收藏
err分享
err收藏
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
err分享
err收藏
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.
err分享
err收藏
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.
err分享
err收藏
Hybrid business process modeling for the optimization of outcome data
err2016-02-01
err10
errOAAI
errParody, Luisa; Teresa Gomez-Lopez, Maria; Gasca, Rafael M.
err分享
err收藏
Automating correctness verification of artifact-centric business process models
err2015-06-01
err18
errOAAI
errBorrego, Diana; Gasca, Rafael M.; Gomez-Lopez, Maria Teresa
err分享
err收藏
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
err分享
err收藏
err分享
err收藏
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.
err分享
err收藏
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.
err分享
err收藏
FT-FW: A cluster-based fault-tolerant architecture for stateful firewalls
err2012-06-01
err10
PREAI
errNeira Ayuso, Pablo; Gasca, Rafael M.; Lefevre, Laurent
err分享
err收藏
Demystifying Cluster-Based Fault-Tolerant Firewalls
err2009-11-01
err4
errOAAI
errNeira Ayuso, Pablo; Gasca, Rafael M.; Lefevre, Laurent
err分享
err收藏