Enno Ruijters

According to our database1, Enno Ruijters authored at least 12 papers between 2014 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
The Dynamic Fault Tree Rare Event Simulator.
Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

2019
Rare event simulation for dynamic fault trees.
Reliab. Eng. Syst. Saf., 2019

The Quantitative Verification Benchmark Set.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018
Effective Analysis of Attack Trees: A Model-Driven Approach.
Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017
How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017

2016
Maintenance Analysis and Optimization via Statistical Model Checking - Evaluating a Train Pneumatic Compressor.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Better Railway Engineering Through Statistical Model Checking.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

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, 2016

2015
Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools.
Comput. Sci. Rev., 2015

Quantitative Attack Tree Analysis via Priced Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014
Modelling and Analysis of Markov Reward Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2014


  Loading...