| 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 | 26 | 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 | 26 | 2010 |
| Modelling security of critical infrastructures: a survivability assessment RJ Rodríguez, J Merseguer, S Bernardi The Computer Journal 58 (10), 2313-2327, 2015 | 25 | 2015 |
| Practical Experiences on NFC Relay Attacks with Android J Vila, RJ Rodríguez Radio Frequency Identification. Security and Privacy Issues, 87-103, 2015 | 25 | 2015 |
| 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 | 20 | 2013 |
| 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 | 17 | 2018 |
| Formal security assessment of Modbus protocol R Nardone, RJ Rodríguez, S Marrone 2016 11th International Conference for Internet Technology and Secured …, 2016 | 16 | 2016 |
| Accurate performance estimation for stochastic marked graphs by bottleneck regrowing RJ Rodríguez, J Júlvez European Performance Engineering Workshop, 175-190, 2010 | 14 | 2010 |
| Towards the Detection of Isolation-Aware Malware RJ Rodriguez, IR Gaston, J Alonso IEEE Latin America Transactions 14 (2), 1024-1036, 2016 | 13 | 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 | 13 | 2012 |
| 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 | 13 | 2012 |
| 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 | 12 | 2018 |
| Evolution and characterization of point-of-sale RAM scraping malware RJ Rodríguez Journal of Computer Virology and Hacking Techniques, 1-14, 2016 | 10 | 2016 |
| 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 | 10 | 2014 |
| 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 | 10 | 2014 |
| A Petri net tool for software performance estimation based on upper throughput bounds RJ Rodríguez Automated Software Engineering 24 (1), 73-99, 2017 | 9 | 2017 |
| 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 | 8 | 2018 |
| A Peek under the Hood of iOS Malware L García, RJ Rodríguez 2016 11th International Conference on Availability, Reliability and Security …, 2016 | 7 | 2016 |
| Execution and Verification of UML State Machines with Erlang RJ Rodríguez, LÅ Fredlund, Á Herranz, J Mariño Software Engineering and Formal Methods, 284-289, 2014 | 6 | 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 | 6 | 2012 |
Jose MerseguerUniversidad de ZaragozaVerified email at unizar.es
