Welcome...

E.J.J. Ruijters MSc (Enno)

PhD Candidate / PhD Student

Expertise

Costs
Fault Tree Analysis
Repair
Flavors
Energy Utilization
Nuclear Power Plants
Availability
Side Channel Attack
Engines
Importance Sampling
Aircraft

Publications

Recent Articles
Schivo, S., Yildiz, B. M., Ruijters, E. J. J., Gerking, C., Kumar, R., Dziwok, S., ... Stoelinga, M. I. A. (2017). How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In K. Larsen, O. Sokolsky, & J. Wang (Eds.), Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (pp. 319-336). (Lecture Notes in Computer Science; Vol. 10606). Springer. DOI: 10.1007/978-3-319-69483-2_19
Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T., & Stoelinga, M. I. A. (2017). Rare Event Simulation for Dynamic Fault Trees. In S. Tonetta, E. Schoitsch, & F. Bitsch (Eds.), Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings (pp. 20-35). (Lecture Notes in Computer Science; Vol. 10488). Springer International. DOI: 10.1007/978-3-319-66266-4_2
Ruijters, E. J. J., Schivo, S., Stoelinga, M. I. A., & Rensink, A. (2017). Uniform analysis of fault trees through model transformations. Paper presented at 63rd Annual Reliabliity and Maintainability Symposium, RAMS 2017, .DOI: 10.1109/RAM.2017.7889759
Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T., & Stoelinga, M. I. A. (2017). Rare event simulation for dynamic fault trees. (CTIT technical report series; No. TR-CTIT-17-02). Enschede: Centre for Telematics and Information Technology (CTIT).
Ruijters, E. J. J., Guck, D., van Noort, M., & Stoelinga, M. I. A. (2016). Reliability-centered maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A practical experience report. In Proceedings of the 46th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016 (pp. 662-669). USA: IEEE Computer Society. DOI: 10.1109/DSN.2016.67
Ruijters, E. J. J., Guck, D., Drolenga, P., & Stoelinga, M. I. A. (2016). Fault maintenance trees: reliability centered maintenance via statistical model checking. In Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016 USA: IEEE. DOI: 10.1109/RAMS.2016.7447986
Ruijters, E. J. J., & Stoelinga, M. I. A. (2016). Better railway engineering through statistical model checking. In T. Margaria, & B. Steffen (Eds.), Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 (pp. 151-165). (Lecture Notes in Computer Science; Vol. 9952). Berlin: Springer Verlag. DOI: 10.1007/978-3-319-47166-2_10
Ruijters, E. J. J., Guck, D., Drolenga, P., Peters, M., & Stoelinga, M. I. A. (2016). Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor. In G. Agha, & B. Van Houdt (Eds.), Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016 (pp. 331-347). (Lecture Notes in Computer Science; Vol. 9826). Berlin: Springer Verlag. DOI: 10.1007/978-3-319-43425-4_22
Kumar, R., Ruijters, E. J. J., & Stoelinga, M. I. A. (2015). Quantitative Attack Tree Analysis via Priced Timed Automata. In S. Sankaranarayanan, & E. Vicario (Eds.), Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015) (pp. 156-171). (Lecture Notes in Computer Science; Vol. 9268). Zurich: Springer International Publishing. DOI: 10.1007/978-3-319-22975-1_11

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling (building no. 11), room 3110
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics & Computer Science
Zilverling  3110
P.O. Box 217
7500 AE Enschede
The Netherlands