Research Output 2015 2017

  • 6 Conference contribution
Filter
Conference contribution
2017

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach

Schivo, S., Yildiz, B. M., Ruijters, E. J. J., Gerking, C., Kumar, R., Dziwok, S., Rensink, A. & Stoelinga, M. I. A. Oct 2017 Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Larsen, K., Sokolsky, O. & Wang, J. (eds.). Springer, p. 319-336 (Lecture Notes in Computer Science; vol. 10606)

Research output: Scientific - peer-reviewConference contribution

Query languages
Hardware
4 Citations

Quantitative security and safety analysis with attack-fault trees

Kumar, R. & Stoelinga, M. I. A. 12 Jan 2017 Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering (HASE 2017). IEEE, p. 25-32 8 p. (HASE)

Research output: Scientific - peer-reviewConference contribution

Side channel attack
Model checking
Stochastic models
Sensitivity analysis
Power plants
2016
3 Citations

Using attack-defense trees to analyze threats and countermeasures in an ATM: A case study

Fraile, M., Ford, M., Gadyatskaya, O., Kumar, R., Stoelinga, M. I. A. & Trujillo-Rasua, R. 2016 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling (PoEM). Berlin: Springer, p. 326-334 9 p. (Lecture Notes in Business Information Processing; vol. 267)

Research output: Scientific - peer-reviewConference contribution

2015
10 Citations

Quantitative Attack Tree Analysis via Priced Timed Automata

Kumar, R., Ruijters, E. J. J. & Stoelinga, M. I. A. Sep 2015 Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015). Sankaranarayanan, S. & Vicario, E. (eds.). Zurich: Springer International Publishing, p. 156-171 16 p. (Lecture Notes in Computer Science; vol. 9268)

Research output: Scientific - peer-reviewConference contribution

Costs
5 Citations

Sequential and Parallel Attack Tree Modelling

Arnold, F., Guck, D., Kumar, R. & Stoelinga, M. I. A. Sep 2015 Computer Safety, Reliability, and Security - Proceedings of the SAFECOM 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR. Koornneef, F. & van Gulijk, C. (eds.). Zurich: Springer Verlag, p. 291-299 9 p. (Lecture Notes in Computer Science; vol. 9338)

Research output: Scientific - peer-reviewConference contribution

Engineers
Planning

Time dependent analysis with dynamic counter measure trees

Kumar, R., Guck, D. & Stoelinga, M. I. A. Apr 2015 Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015). France: INRIA, p. 1-5 4 p.

Research output: ScientificConference contribution

Costs