Research Output 2014 2018

  • 10 Conference contribution
  • 3 Report
  • 1 Article
  • 1 PhD Thesis - Research UT, graduation UT
Filter
Conference contribution
2018

Effective Analysis of Attack Trees: A Model-Driven Approach

Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., Rensink, A. & Stoelinga, M. I. A. Apr 2018 Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018). Russo, A. & Schürr, A. (eds.). Springer, p. 56-73 18 p. (Lecture Notes in Computer Science; vol. 10802)

Research output: Scientific - peer-reviewConference contribution

Interoperability
2017
1 Citations

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)(Lecture Notes in Programming and Software Engineering)

Research output: Scientific - peer-reviewConference contribution

Query languages
Hardware

Rare Event Simulation for Dynamic Fault Trees

Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T. & Stoelinga, M. I. A. 17 Aug 2017 Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Tonetta, S., Schoitsch, E. & Bitsch, F. (eds.). Springer International, p. 20-35 15 p. (Lecture Notes in Computer Science; vol. 10488)

Research output: Scientific - peer-reviewConference contribution

Importance sampling
Repair
Availability
1 Citations

Uniform analysis of fault trees through model transformations

Ruijters, E., Schivo, S., Stoelinga, M. & Rensink, A. 23 Jan 2017 2017 Annual Reliability and Maintainability Symposium (RAMS). IEEE, 7 p.

Research output: Scientific - peer-reviewConference contribution

Fault tree analysis
Nuclear power plants
Aircraft
Engines
Side channel attack
2016
3 Citations

Better railway engineering through statistical model checking

Ruijters, E. & Stoelinga, M. Oct 2016 Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Berlin: Springer Verlag, p. 151-165 15 p. (Lecture Notes in Computer Science; vol. 9952)

Research output: Scientific - peer-reviewConference contribution

Model checking
Metric system
Costs
Pneumatics
Compressors
10 Citations

Fault maintenance trees: reliability centered maintenance via statistical model checking

Ruijters, E. J. J., Guck, D., Drolenga, P. & Stoelinga, M. I. A. Jan 2016 Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016. USA: IEEE, 6 p.

Research output: Scientific - peer-reviewConference contribution

Model checking
Costs
Fault tree analysis
Asset management
Compressors
4 Citations

Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor

Ruijters, E. J. J., Guck, D., Drolenga, P., Peters, M. & Stoelinga, M. I. A. Aug 2016 Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016. Agha, G. & Van Houdt, B. (eds.). Berlin: Springer Verlag, p. 331-347 16 p. (Lecture Notes in Computer Science; vol. 9826)

Research output: Scientific - peer-reviewConference contribution

Compressors
Inspection
Model checking
Pneumatics
Costs
3 Citations

Reliability-centered maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A practical experience report

Ruijters, E. J. J., Guck, D., van Noort, M. & Stoelinga, M. I. A. Jul 2016 Proceedings of the 46th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016. USA: IEEE Computer Society, p. 662-669 8 p.

Research output: Scientific - peer-reviewConference contribution

Costs
Inspection
Railroad tracks
Repair
Availability
2015
12 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
2014
14 Citations

Modelling and analysis of Markov reward automata

Guck, D., Timmer, M., Hatefi, H., Ruijters, E. J. J. & Stoelinga, M. I. A. Nov 2014 Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014. Berlin: Springer, p. 168-184 17 p. (Lecture Notes in Computer Science; vol. 8837)

Research output: Scientific - peer-reviewConference contribution

Costs
Flavors
Repair
Energy utilization