Author/Creator: Rodríguez, Ricardo J - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Rodríguez, Ricardo J

1. A methodology for model-based verification of safety contracts and performance requirements. (June 2018)

Authors:: Gómez-Martínez, Elena; Rodríguez, Ricardo J; Benac-Earle, Clara; Etxeberria, Leire; Illarramendi, Miren
Journal:: Proceedings of the Institution of Mechanical Engineers
Issue:: Volume 232:Number 3(2018:Jun.)
Page Start:: 227
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. Detection of intrusions and malware, and vulnerability assessment : 13th International Conference, DIMVA 2016, San Sebastián, Spain, July 7-8, 2016, Proceedings /: 13th International Conference, DIMVA 2016, San Sebastián, Spain, July 7-8, 2016, Proceedings. (2016)

Editors:: (Software engineer), Caballero, Juan; Zurutuza, Urko; Rodríguez, Ricardo J
Other Names:: DIMVA (Conference), 13th
Record Type:: Book
Extent:: 1 online resource (xiv, 442 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. On Fingerprinting of Public Malware Analysis Services. (7th December 2019)

Authors:: Botas, Alvaro; Rodríguez, Ricardo J; Matellan, Vicente; Garcia, Juan F; Trobajo, M T; Carriegos, Miguel V
Journal:: Logic journal of the IGPL
Issue:: Volume 28:Number 4(2020)
Page Start:: 473
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Quantification and compensation of the impact of faults in system throughput. (December 2013)

Authors:: Rodríguez, Ricardo J; Júlvez, Jorge; Merseguer, José
Journal:: Proceedings of the Institution of Mechanical Engineers
Issue:: Volume 227:Number 6(2013)
Page Start:: 614
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗