Personal information

Netherlands

Activities

Employment (3)

BetterBe: Enschede, NL

2019-07-15 to present | Product Engineer
Employment
Source: Self-asserted source
Enno Ruijters

University of Twente: Enschede, NL

2018-05-26 to 2019-06-15 | Postdoctoral Researcher (Formal Methods and Tools, Faculty of Electrical Engineering, Mathematics and Computer Science)
Employment
Source: Self-asserted source
Enno Ruijters

University of Twente: Enschede, NL

2014-02-01 to 2018-05-25 | PhD Student (Formal Methods and Tools, Faculty of Electrical Engineering, Mathematics and Computer Science)
Employment
Source: Self-asserted source
Enno Ruijters

Education and qualifications (2)

University of Twente: Enschede, NL

2014-02-01 to 2018-05-25 | PhD in Computer Science (Formal Methods and Tools, Faculty of Electrical Engineering, Mathematics and Computer Science)
Education
Source: Self-asserted source
Enno Ruijters

Maastricht University: Maastricht, Limburg, NL

2011-09-01 to 2013-08-31 | MSc. Operations Research (Department of Knowledge Engineering)
Education
Source: Self-asserted source
Enno Ruijters

Works (17)

Correction to: The Dynamic Fault Tree Rare Event Simulator

2020 | Book chapter
Contributors: Carlos E. Budde; Enno Ruijters; Mariëlle Stoelinga
Source: check_circle
Crossref

The Dynamic Fault Tree Rare Event Simulator

Proceedings of the 17th International Conference on Quantitative Evaluation of SysTems (QEST 2020)
2020 | Conference paper
Source: Self-asserted source
Enno Ruijters
grade
Preferred source (of 2)‎

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models

2019 | Book chapter
Contributors: Ernst Moritz Hahn; Arnd Hartmanns; Christian Hensel; Michaela Klauck; Joachim Klein; Jan Křetínský; David Parker; Tim Quatmann; Enno Ruijters; Marcel Steinmetz
Source: check_circle
Crossref

The Quantitative Verification Benchmark Set

2019 | Book chapter
Contributors: Arnd Hartmanns; Michaela Klauck; David Parker; Tim Quatmann; Enno Ruijters
Source: check_circle
Crossref

Rare Event Simulation for Dynamic Fault Trees

Reliability Engineering & System Safety
2019-02 | Journal article
Source: Self-asserted source
Enno Ruijters
grade
Preferred source (of 2)‎

Zen and the Art of Railway Maintenance

University of Twente
2018-05-25 | Dissertation or Thesis
Source: Self-asserted source
Enno Ruijters

Effective Analysis of Attack Trees: A Model-Driven Approach

Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018)
2018-04 | Conference paper
Source: Self-asserted source
Enno Ruijters
grade
Preferred source (of 2)‎

Uniform analysis of fault trees through model transformations

Proceedings of the IEEE 63rd Annual Reliability and Maintainability Symposium (RAMS 2017)
2017 | Conference paper
EID:

2-s2.0-85018548536

Source: Self-asserted source
Enno Ruijters
grade
Preferred source (of 2)‎

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

Proceedings of the Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017)
2017-10 | Conference paper
Source: Self-asserted source
Enno Ruijters

Rare Event Simulation for Dynamic Fault Trees

Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2017)
2017-08 | Conference paper
Source: Self-asserted source
Enno Ruijters

Reliability-centered maintenance of the electrically insulated railway joint via fault tree analysis: A practical experience report

Proceedings of the 46th annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016)
2016 | Conference paper
EID:

2-s2.0-84994235314

Source: Self-asserted source
Enno Ruijters
grade
Preferred source (of 2)‎

Better railway engineering through statistical model checking

Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)
2016-10 | Conference paper
EID:

2-s2.0-84994031874

Source: Self-asserted source
Enno Ruijters

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

Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016)
2016-08 | Conference paper
EID:

2-s2.0-84981210796

Source: Self-asserted source
Enno Ruijters
grade
Preferred source (of 2)‎

Fault maintenance trees: Reliability centered maintenance via statistical model checking

Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium (RAMS 2016)
2016-01 | Conference paper
EID:

2-s2.0-84968813948

Source: Self-asserted source
Enno Ruijters
grade
Preferred source (of 2)‎

Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools

Computer Science Review
2015 | Journal article
EID:

2-s2.0-84929709003

Source: Self-asserted source
Enno Ruijters
grade
Preferred source (of 2)‎

Quantitative attack tree analysis via priced timed automata

Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015)
2015-09 | Conference paper
EID:

2-s2.0-84944673647

Source: Self-asserted source
Enno Ruijters
grade
Preferred source (of 2)‎

Modelling and analysis of markov reward automata

Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA 2014)
2014-11 | Conference paper
EID:

2-s2.0-84908691743

Source: Self-asserted source
Enno Ruijters
grade
Preferred source (of 2)‎