Παρακολούθηση
Enno Ruijters
Enno Ruijters
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα utwente.nl - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Fault Tree Analysis: A survey of the state-of-the-art in modeling, analysis and tools
E Ruijters, M Stoelinga
Computer Science Review 15, 29-62, 2015
7812015
Quantitative attack tree analysis via priced timed automata
R Kumar, E Ruijters, M Stoelinga
Formal Modeling and Analysis of Timed Systems: 13th International Conference …, 2015
892015
The quantitative verification benchmark set
A Hartmanns, M Klauck, D Parker, T Quatmann, E Ruijters
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
722019
The 2019 comparison of tools for the analysis of quantitative formal models
EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
572019
Rare event simulation for dynamic fault trees
E Ruijters, D Reijsbergen, PT de Boer, M Stoelinga
International Conference on Computer Safety, Reliability, and Security, 20-35, 2017
502017
Fault maintenance trees: reliability centered maintenance via statistical model checking
E Ruijters, D Guck, P Drolenga
2016 Annual Reliability and Maintainability Symposium (RAMS), 2016
492016
Modelling and analysis of Markov reward automata
D Guck, M Timmer, H Hatefi, E Ruijters, M Stoelinga
Automated Technology for Verification and Analysis: 12th International …, 2014
442014
Effective analysis of attack trees: A model-driven approach
R Kumar, S Schivo, E Ruijters, BM Yildiz, D Huistra, J Brandt, A Rensink, ...
Fundamental Approaches to Software Engineering: 21st International …, 2018
362018
Reliability-centered maintenance of the electrically insulated railway joint via fault tree analysis: A practical experience report
E Ruijters, D Guck, M van Noort, M Stoelinga
46th annual IEEE/IFIP International Conference on Dependable Systems and …, 2016
292016
FFORT: A benchmark suite for fault tree analysis
E Ruijters, CE Budde, MC Nakhaee, MIA Stoelinga, D Bucur, D Hiemstra, ...
Singapore: Research Publishing, 2019
232019
Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor
E Ruijters, D Guck, P Drolenga, M Peters, M Stoelinga
Quantitative Evaluation of Systems: 13th International Conference, QEST 2016 …, 2016
232016
How to efficiently build a front-end tool for UPPAAL: a model-driven approach
S Schivo, BM Yildiz, E Ruijters, C Gerking, R Kumar, S Dziwok, A Rensink, ...
Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017
152017
Better railway engineering through statistical model checking
E Ruijters, M Stoelinga
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
132016
Uniform analysis of fault trees through model transformations
E Ruijters, S Schivo, M Stoelinga, A Rensink
2017 Annual Reliability and Maintainability Symposium (RAMS), 1-7, 2017
122017
The dynamic fault tree rare event simulator
CE Budde, E Ruijters, M Stoelinga
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020 …, 2020
82020
Modelling and analysis of Markov reward automata (extended version)
D Guck, M Timmer, H Hatefi, EJJ Ruijters, MIA Stoelinga
CTIT Technical Report Series, 2014
52014
Zen and the Art of Railway Maintenance: Analysis and Optimization of Maintenance via Fault Trees and Statistical Model Checking
EJJ Ruijters
22018
moves-rwth/storm: v1. 8.1
C Hensel, T Quatmann, S Junges, M Volk, J Berger, G Kremer, A Bork, ...
Zenodo, 2023
2023
Correction to: The Dynamic Fault Tree Rare Event Simulator
CE Budde, E Ruijters, M Stoelinga
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020 …, 2020
2020
Model-Checking Markov Chains using Interval Arithmetic
E Ruijters
Maastricht University, 2013
2013
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20