| Quantitative security and safety analysis with attack-fault trees R Kumar, M Stoelinga 2017 IEEE 18th International Symposium on High Assurance Systems Engineering …, 2017 | 82 | 2017 |
| Quantitative attack tree analysis via priced timed automata R Kumar, E Ruijters, M Stoelinga International Conference on Formal Modeling and Analysis of Timed Systems …, 2015 | 72 | 2015 |
| Using attack-defense trees to analyze threats and countermeasures in an ATM: a case study M Fraile, M Ford, O Gadyatskaya, R Kumar, M Stoelinga, R Trujillo-Rasua IFIP Working Conference on The Practice of Enterprise Modeling, 326-334, 2016 | 45 | 2016 |
| Sequential and parallel attack tree modelling F Arnold, D Guck, R Kumar, M Stoelinga International Conference on Computer Safety, Reliability, and Security, 291-299, 2014 | 42 | 2014 |
| Effective analysis of attack trees: A model-driven approach R Kumar, S Schivo, E Ruijters, BM Yildiz, D Huistra, J Brandt, A Rensink, ... International Conference on Fundamental Approaches to Software Engineering …, 2018 | 26 | 2018 |
| How to efficiently build a front-end tool for UPPAAL: a model-driven approach S Schivo, BM Yildiz, E Ruijters, C Gerking, R Kumar, S Dziwok, A Rensink, ... International Symposium on Dependable Software Engineering: Theories, Tools …, 2017 | 14 | 2017 |
| Truth or dare: quantitative security risk analysis via attack trees R Kumar University of Twente, 2018 | 7 | 2018 |
| Time dependent analysis with dynamic counter measure trees R Kumar, D Guck, MIA Stoelinga Thirteenth International Workshop on Quantitative Aspects of Programming …, 2015 | 6 | 2015 |
| AFMT: Maintaining the safety-security of industrial control systems R Kumar, B Narra, R Kela, S Singh Computers in Industry 136, 103584, 2022 | 4 | 2022 |
| LOCKS: a property specification language for security goals R Kumar, A Rensink, M Stoelinga Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1907-1915, 2018 | 4 | 2018 |
| A quantitative security risk analysis framework for modelling and analyzing advanced persistent threats R Kumar, S Singh, R Kela International Symposium on Foundations and Practice of Security, 29-46, 2020 | 3 | 2020 |
| Analyzing Advanced Persistent Threats Using Game Theory: A Critical Literature Review R Kumar, S Singh, R Kela International Conference on Critical Infrastructure Protection, 45-69, 2021 | 2 | 2021 |
| A Model-Based Safety-Security Risk Analysis Framework for Interconnected Critical Infrastructures R Kumar International Conference on Critical Infrastructure Protection, 283-306, 2020 | 2 | 2020 |
| APT attacks on industrial control systems: A tale of three incidents R Kumar, R Kela, S Singh, R Trujillo-Rasua International Journal of Critical Infrastructure Protection 37, 100521, 2022 | | 2022 |
| Co-engineering Safety-Security Using Statistical Model Checking RK R. Kumar, S. Singh, B. Narra Formal Techniques for Distributed Objects, Components, and Systems. FORTE …, 2022 | | 2022 |
| APT: a buzzword and a reality-A bibliometric review of the literature (2010-2020) BA Bhat, R Kumar 7th IEEE International Conference on Dependability in Sensor, Cloud, and Big …, 2021 | | 2021 |
| An attack tree template based on feature diagram hierarchy R Kumar 2020 IEEE 6th International Conference on Dependability in Sensor, Cloud and …, 2020 | | 2020 |
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
