E-LIB Suche - Ergebnisse für: Gasca, Rafael M

1

Automated trusted collaborative processes through blockchai..:

Varela-Vaca, Ángel Jesús ; Gasca, Rafael M. ; Iglesias, David.
Internet of Things. 25 (2024) - p. 101106 , 2024

2

Enabling security risk assessment and management for busine..:

Rosado, David G. ; Sánchez, Luis E. ; Varela-Vaca, Ángel Jesús...
Journal of Information Security and Applications. 84 (2024) - p. 103829 , 2024

Link: https://doi.org/10.1016/..

3

Feature models to boost the vulnerability management proces:

Varela-Vaca, Ángel Jesús ; Borrego, Diana ; Gómez-López, María Teresa..
Journal of Systems and Software. 195 (2023) - p. 111541 , 2023

Link: https://doi.org/10.1016/..

4

CARMEN: A framework for the verification and diagnosis of t..:

Varela-Vaca, Ángel Jesús ; Rosado, David G. ; Sánchez, Luis E....
Computers in Industry. 132 (2021) - p. 103524 , 2021

Link: https://doi.org/10.1016/..

5

Self-Adaptative Troubleshooting for to Guide Resolution of ..:

Ramos-Gutierrez, Belen ; Gomez-Lopez, Maria Teresa ; Borrego, Diana...
IEEE Access. 9 (2021) - p. 42707-42723 , 2021

Link: https://doi.org/10.1109/..

6

Prognosis of multiple instances in time-aware declarative b..:

Borrego, Diana ; Gómez-López, María Teresa ; Gasca, Rafael M.
Computers in Industry. 120 (2020) - p. 103243 , 2020

Link: https://doi.org/10.1016/..

7

Definition and Verification of Security Configurations of C..:

, In: Computer Security; Lecture Notes in Computer Science,

Varela-Vaca, Ángel Jesús ; Rosado, David G. ; Sánchez, Luis Enrique... - p. 135-155 , 2020

Link: https://doi.org/10.1007/..

8

Verifying the manipulation of data objects according to bus..:

Pérez-Álvarez, José Miguel ; Gómez-López, María Teresa ; Eshuis, Rik..
Knowledge and Information Systems. 62 (2020) 7 - p. 2653-2683 , 2020

Link: https://doi.org/10.1007/..

9

AMADEUS : towards the AutoMAteD secUrity teSting:

, In: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A,

Varela-Vaca, Ángel Jesús ; Gasca, Rafael M. ; Carmona-Fombella, Jose Antonio. - p. 1-12 , 2020

Link: https://dl.acm.org/doi/1..

10

Model-Based Software Debugging:

, In: Fault Diagnosis of Dynamic Systems,

Ceballos, Rafael ; Abreu, Rui ; Varela-Vaca, Ángel Jesús. - p. 365-387 , 2019

Link: https://doi.org/10.1007/..

11

Constraint-Driven Fault Diagnosis:

, In: Fault Diagnosis of Dynamic Systems,

Gasca, Rafael M. ; Varela-Vaca, Ángel Jesús ; Ceballos, Rafael - p. 347-364 , 2019

Link: https://doi.org/10.1007/..

12

CyberSPL: A Framework for the Verification of Cybersecurity..:

Varela-Vaca, Ángel Jesús ; Gasca, Rafael M. ; Ceballos, Rafael..
Applied Sciences. 9 (2019) 24 - p. 5364 , 2019

Link: https://doi.org/10.3390/..

13

Business Process Configuration According to Data Dependency..:

Parody, Luisa ; Gómez-López, María Teresa ; Varela-Vaca, Angel Jesús.
Applied Sciences. 8 (2018) 10 - p. 2008 , 2018

Link: https://doi.org/10.3390/..

14

Hybrid business process modeling for the optimization of ou..:

Parody, Luisa ; Gómez-López, María Teresa ; Gasca, Rafael M.
Information and Software Technology. 70 (2016) - p. 140-154 , 2016

Link: https://doi.org/10.1016/..

15

Automating correctness verification of artifact-centric bus..:

Borrego, Diana ; Gasca, Rafael M. ; Gómez-López, María Teresa
Information and Software Technology. 62 (2015) - p. 187-197 , 2015

Link: https://doi.org/10.1016/..