Welkom...

E.J.J. Ruijters MSc (Enno)

Promovendus

Expertises

Costs
Fault Tree Analysis
Repair
Aircraft
Availability
Flavors
Energy Utilization
Compressors

Publicaties

Recente Artikelen
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.), Proceedings of the Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017) (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.), Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017) (pp. 20-35). (Lecture Notes in Computer Science; Vol. 10488). Springer. 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: University of Twente, Centre for Telematica 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

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling (gebouwnr. 11), kamer 3110
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculteit Elektrotechniek, Wiskunde en Informatica
Zilverling  3110
Postbus 217
7500 AE Enschede