If you made any changes in Pure these will be visible here soon.

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 7 Similar Profiles
Model checking Engineering & Materials Science
Fault tree analysis Engineering & Materials Science
Importance sampling Engineering & Materials Science
Repair Engineering & Materials Science
Costs Engineering & Materials Science
Availability Engineering & Materials Science
Aircraft Engineering & Materials Science
Stochastic models Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2014 2019

  • 12 Conference contribution
  • 3 Report
  • 2 Article
  • 1 PhD Thesis - Research UT, graduation UT
1 Citation (Scopus)

Rare event simulation for dynamic fault trees

Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T. & Stoelinga, M. I. A., Jun 2019, In : Reliability engineering & system safety. 186, p. 220-231 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

Importance sampling
Model checking
Stochastic models
Repair
Availability
1 Downloads (Pure)

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report)

Hahn, E. M., Hartmanns, A., Hensel, C., Klauck, M., Klein, J., Křetínský, J., Parker, D., Quatmann, T., Steinmetz, M. & Ruijters, E., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics. Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019. Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Springer, p. 69-92 24 p. (Lecture Notes in Computer Science; vol. 11429).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Markov processes
Statistical Models
1 Downloads (Pure)

The Quantitative Verification Benchmark Set

Hartmanns, A., Klauck, M., Parker, D., Quatmann, T. & Ruijters, E. J. J., 4 Apr 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019). Vojnar, T. & Zhang, L. (eds.). Springer, p. 344-350 (Lecture Notes in Computer Science; vol. 11427).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Benchmarking
Biological systems
Metadata
Petri nets
Markov processes
50 Downloads (Pure)

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: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Interoperability
90 Downloads (Pure)

Zen and the Art of Railway Maintenance: Analysis and Optimization of Maintenance via Fault Trees and Statistical Model Checking

Ruijters, E. J. J., May 2018, Enschede: University of Twente. 272 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Statistical Models
Costs
Inspection
Repair