EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Ruijters, E.J.J.
Home Policy Brochure Browse Search User Area Contact Help

2017

Ruijters, E.J.J. and Reijsbergen, D.P. and de Boer, P.T. and Stoelinga, M.I.A. (2017) Rare event simulation for dynamic fault trees. Technical Report TR-CTIT-17-02, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Ruijters, E.J.J. and Schivo, S. and Stoelinga, M.I.A. and Rensink, A. (2017) Uniform analysis of fault trees through model transformations. In: Proceedings of the 63rd Annual Reliabliity and Maintainability Symposium (RAMS 2017), 23-26 Jan 2017, Orlando, FL, USA. IEEE Reliability Society. ISBN 978-1-5090-5285-1

2016

Ruijters, E.J.J. and Guck, D. and Drolenga, P. and Peters, M. and Stoelinga, M.I.A. (2016) Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor. In: Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016, 23-25 Aug 2016, Québec City, Canada. pp. 331-347. Lecture Notes in Computer Science 9826. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-43424-7
Ruijters, E.J.J. and Guck, D. and Drolenga, P. and 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, 25-28 Jan 2016, Tucson, AZ, USA. pp. 1-6. IEEE. ISBN 978-1-5090-0248-1
Ruijters, E.J.J. and Guck, D. and van Noort, M. and 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, 28 Jun - 01 Jul 2016, Toulouse, France. pp. 662-669. IEEE Computer Society. ISBN 978-1-4673-8891-7
Ruijters, E.J.J. and Stoelinga, M.I.A. (2016) Better railway engineering through statistical model checking. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, 10-14 Oct 2016, Corfu, Greece. pp. 151-165. Lecture Notes in Computer Science. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47166-2

2015

Kumar, Rajesh and Ruijters, E.J.J. and Stoelinga, M.I.A. (2015) Quantitative Attack Tree Analysis via Priced Timed Automata. In: Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015), 2-4 Sept 2015, Madrid, Spain. pp. 156-171. Lecture Notes in Computer Science 9268 . Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-22974-4
Ruijters, E.J.J. and Stoelinga, M.I.A. (2015) Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Computer Science Review, 15–16. pp. 29-62. ISSN 1574-0137

2014

Guck, D. and Timmer, M. and Hatefi, H and Ruijters, E.J.J. and Stoelinga, M.I.A. (2014) Modelling and analysis of Markov reward automata (extended version). Technical Report TR-CTIT-14-06, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Guck, D. and Timmer, M. and Hatefi, H. and Ruijters, E.J.J. and Stoelinga, M.I.A. (2014) Modelling and analysis of Markov reward automata. In: Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, 3-7 Nov 2014, Sydney, NSW, Australia. pp. 168-184. Lecture Notes in Computer Science 8837. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-11935-9
Ruijters, E.J.J. and Stoelinga, M.I.A. (2014) Fault Tree Analysis: A survey of the state-of-the-art in modeling, analysis and tools. Technical Report TR-CTIT-14-14, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625