Ricardo J. Rodríguez
Title
Cited by
Cited by
Year
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
262015
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
262010
Modelling security of critical infrastructures: a survivability assessment
RJ Rodríguez, J Merseguer, S Bernardi
The Computer Journal 58 (10), 2313-2327, 2015
252015
Practical Experiences on NFC Relay Attacks with Android
J Vila, RJ Rodríguez
Radio Frequency Identification. Security and Privacy Issues, 87-103, 2015
242015
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
202013
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
162018
Formal security assessment of Modbus protocol
R Nardone, RJ Rodríguez, S Marrone
2016 11th International Conference for Internet Technology and Secured …, 2016
162016
Accurate performance estimation for stochastic marked graphs by bottleneck regrowing
RJ Rodríguez, J Júlvez
European Performance Engineering Workshop, 175-190, 2010
142010
Towards the Detection of Isolation-Aware Malware
RJ Rodriguez, IR Gaston, J Alonso
IEEE Latin America Transactions 14 (2), 1024-1036, 2016
132016
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
132012
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
132012
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
102018
Evolution and characterization of point-of-sale RAM scraping malware
RJ Rodríguez
Journal of Computer Virology and Hacking Techniques, 1-14, 2016
102016
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
102014
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
102014
A Petri net tool for software performance estimation based on upper throughput bounds
RJ Rodríguez
Automated Software Engineering 24 (1), 73-99, 2017
92017
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
82018
A Peek under the Hood of iOS Malware
L García, RJ Rodríguez
2016 11th International Conference on Availability, Reliability and Security …, 2016
62016
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
62012
Integrating fault-tolerant techniques into the design of critical systems
RJ Rodríguez, J Merseguer
International Symposium on Architecting Critical Systems, 33-51, 2010
62010
The system can't perform the operation now. Try again later.
Articles 1–20