Ricardo J. Rodríguez
Cited by
Cited by
On synergies of cyber and physical security modelling in vulnerability assessment of railway systems
S Marrone, RJ Rodríguez, R Nardone, F Flammini, V Vittorini
Computers & Electrical Engineering 47, 275-285, 2015
Formal security assessment of Modbus protocol
R Nardone, RJ Rodríguez, S Marrone
2016 11th International Conference for Internet Technology and Secured …, 2016
Practical Experiences on NFC Relay Attacks with Android
J Vila, RJ Rodríguez
Radio Frequency Identification. Security and Privacy Issues, 87-103, 2015
Modelling and analysing resilience as a security issue within UML
RJ Rodríguez, J Merseguer, S Bernardi
Proceedings of the 2nd International Workshop on Software Engineering for …, 2010
Modelling security of critical infrastructures: a survivability assessment
RJ Rodríguez, J Merseguer, S Bernardi
The Computer Journal 58 (10), 2313-2327, 2015
Model-based sensitivity analysis of IaaS cloud availability
B Liu, X Chang, Z Han, K Trivedi, RJ Rodríguez
Future Generation Computer Systems 83, 1-13, 2018
On the performance estimation and resource optimization in process Petri nets
RJ Rodríguez, J Júlvez, J Merseguer
IEEE Transactions on Systems, Man, and Cybernetics: Systems 43 (6), 1385-1398, 2013
Detection of algorithmically generated malicious domain names using masked N-grams
J Selvi, RJ Rodríguez, E Soria-Olivas
Expert Systems with Applications 124, 156-163, 2019
Accurate performance estimation for stochastic marked graphs by bottleneck regrowing
RJ Rodríguez, J Júlvez
European Performance Engineering Workshop, 175-190, 2010
Modeling and analysis of high availability techniques in a virtualized system
X Chang, T Wang, RJ Rodríguez, Z Zhang
The Computer Journal 61 (2), 180-198, 2018
Towards the Detection of Isolation-Aware Malware
RJ Rodriguez, IR Gaston, J Alonso
IEEE Latin America Transactions 14 (2), 1024-1036, 2016
Fault-tolerant techniques and security mechanisms for model-based performance prediction of critical systems
RJ Rodríguez, C Trubiani, J Merseguer
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting …, 2012
Evolution and characterization of point-of-sale RAM scraping malware
RJ Rodríguez
Journal of Computer Virology and Hacking Techniques, 1-14, 2016
PeabraiN: A PIPE extension for performance estimation and resource optimisation
RJ Rodriguez, J Júlvez, J Merseguer
Application of Concurrency to System Design (ACSD), 2012 12th International …, 2012
A Peek under the Hood of iOS Malware
L García, RJ Rodríguez
2016 11th International Conference on Availability, Reliability and Security …, 2016
Model-based safety assessment using OCL and Petri Nets
RJ Rodríguez, E Gómez-Martínez
Software Engineering and Advanced Applications (SEAA), 2014 40th EUROMICRO …, 2014
Survivability model for security and dependability analysis of a vulnerable critical system
X Chang, S Lv, RJ Rodríguez, K Trivedi
2018 27th International Conference on Computer Communication and Networks …, 2018
A Petri net tool for software performance estimation based on upper throughput bounds
RJ Rodríguez
Automated Software Engineering 24 (1), 73-99, 2017
Model-based verification of safety contracts
E Gómez-Martínez, RJ Rodríguez, LE Elorza, MI Rezabal, CB Earle
International Conference on Software Engineering and Formal Methods, 101-115, 2014
Automating Data-Throttling Analysis for Data-Intensive Workflows
RJ Rodríguez, R Tolosana-Calasanz, OF Rana
Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster …, 2012
The system can't perform the operation now. Try again later.
Articles 1–20