Enno Ruijters

According to our database, Enno Ruijters authored at least 13 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Tools at the Frontiers of Quantitative Verification.

Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang

CoRR, 2024

2020

The Dynamic Fault Tree Rare Event Simulator.

Carlos E. Budde, Enno Ruijters, Mariëlle Stoelinga

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

2019

Rare event simulation for dynamic fault trees.

Enno Ruijters, Daniël Reijsbergen, Pieter-Tjerk de Boer, Mariëlle Stoelinga

Reliab. Eng. Syst. Saf., 2019

The Quantitative Verification Benchmark Set.

Arnd Hartmanns, Michaela Klauck, David Parker, Tim Quatmann, Enno Ruijters

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).

Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Effective Analysis of Attack Trees: A Model-Driven Approach.

Rajesh Kumar, Stefano Schivo, Enno Ruijters, Bugra Mehmet Yildiz, David Huistra, Jacco Brandt, Arend Rensink, Mariëlle Stoelinga

Proceedings of the Fundamental Approaches to Software Engineering, 2018

2017

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

Stefano Schivo, Bugra M. Yildiz, Enno Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Stoelinga

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.

Enno Ruijters, Dennis Guck, Peter Drolenga, Margot Peters, Mariëlle Stoelinga

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Better Railway Engineering Through Statistical Model Checking.

Enno Ruijters, Mariëlle Stoelinga

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.

Enno Ruijters, Dennis Guck, Martijn van Noort, Mariëlle Stoelinga

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.

Enno Ruijters, Mariëlle Stoelinga

Comput. Sci. Rev., 2015

Quantitative Attack Tree Analysis via Priced Timed Automata.

Rajesh Kumar, Enno Ruijters, Mariëlle Stoelinga

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

2014

Modelling and Analysis of Markov Reward Automata.

Dennis Guck, Mark Timmer, Hassan Hatefi, Enno Ruijters, Mariëlle Stoelinga

Proceedings of the Automated Technology for Verification and Analysis, 2014