Research Output 2014 2017

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

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
2016
2 Citations

Better railway engineering through statistical model checking

Ruijters, E. J. J. & Stoelinga, M. I. A. Oct 2016 Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016. 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

Costs
Industry
Metric system
Model checking
Pneumatics
9 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

Costs
Model checking
Fault tree analysis
Asset management
Compressors
3 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
Costs
Industry
Model checking
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
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
2014
13 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