EEMCS

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

EEMCS EPrints Service


Research Project: ArRangeer: smARt Railroad maintenance eNGinEERing with stochastic model checking
Home Policy Brochure Browse Search User Area Contact Help

2017

Junges, S. and Guck, D. and Katoen, J.P. and Rensink, A. and Stoelinga, M.I.A. (2017) Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects of Computing, online pre-publication. ISSN 0934-5043 *** ISI Impact 0,521 ***
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.

2016

Katoen, J.P. (2016) The Probabilistic Model Checking Landscape. (Invited) In: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016), 5-8 July 2016, New York, USA. pp. 31-45. IEEE Computer Society. ISBN 978-1-4503-4391-6
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

Arnold, F. and Guck, D. and Kumar, Rajesh and Stoelinga, M.I.A. (2015) Sequential and Parallel Attack Tree Modelling. In: Computer Safety, Reliability, and Security - Proceedings of the SAFECOM 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, 22 September 2015, Delft, The Netherlands. pp. 291-299. Lecture Notes in Computer Science 9338. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-24248-4
van Dijk, T. and Hahn, E.M. and Jansen, D.N. and Li, Yong and Neele, T. and Stoelinga, M.I.A. and Turrini, A. and Zhang, Lijun (2015) A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. In: Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), 4-6 Nov 2015, Nanjing, China. pp. 35-51. Lecture Notes in Computer Science 9409. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-25941-3
Guck, D. and Spel, J.J. and Stoelinga, M.I.A. (2015) DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper). In: Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015), 03-06 Nov 2015, Paris, France. pp. 304-311. Lecture Notes in Computer Science 9407. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-25422-7
Junges, S. and Guck, D. and Katoen, J.P. and Rensink, A. and Stoelinga, M.I.A. (2015) Fault Trees on a Diet - Automated Reduction by Graph Rewriting. In: Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), 4-6 Nov 2015, Nanjing, China. pp. 3-18. Lecture Notes in Computer Science 9409. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-25941-3
Kumar, Rajesh and Guck, D. and Stoelinga, M.I.A. (2015) Time dependent analysis with dynamic counter measure trees. In: Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), 11-12 April 2015, London, England. pp. 1-5. Inria. ISSN not assigned ISBN not assigned
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

Remke, A.K.I. and Stoelinga, M.I.A., ed. (2014) Stochastic Model Checking: Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Lecture Notes in Computer Science 8453. Springer Verlag, London. ISSN 0302-9743 ISBN 978-3-662-45488-6
Stoelinga, M.I.A. and Remke, A.K.I., ed. (2014) Stochastic Model Checking. Lecture Notes in Computer Science 8453. Springer Verlag, Berlin. ISSN 0302-9743 ISBN 978-3-662-45488-6
Arnold, F. and Gebler, D. and Guck, D. and Hatefi, H. (2014) A tutorial on interactive Markov chains. In: Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 22-26 Oct 2012, Vahrn, Italy. pp. 26-66. Lecture Notes in Computer Science 8453. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-45488-6
Arnold, F. and Hermanns, H. and Pulungan, R. and Stoelinga, M.I.A. (2014) Time-dependent analysis of attacks. In: Proceedings of the Third International Conference on Principles and Security of Trust, POST 2014, April 5-13, 2014, Grenoble, France. pp. 285-305. Lecture Notes in Computer Science 8414. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-54791-1
Bozzano, M. and Cimatti, A. and Katoen, J.P. and Katsaros, P. and Mokos, K. and Nguyen, Viet Yen and Noll, T. and Postma, B. and Roveri, M. (2014) Spacecraft early design validation using formal methods. Reliability engineering & system safety, 132. pp. 20-35. ISSN 0951-8320 *** ISI Impact 2,498 ***
Guck, D. and Hatefi, H. and Hermanns, H. and Katoen, J.P. and Timmer, M. (2014) Analysis of timed and long-run objectives for Markov automata. Logical Methods in Computer Science, 10 (3). 17. ISSN 1860-5974 *** ISI Impact 0,569 ***
Guck, D. and Katoen, J.P. and Stoelinga, M.I.A. and Luiten, T. and Romijn, J. (2014) Smart railroad maintenance engineering with stochastic model checking. In: Proceedings of the Second International Conference on Railway Technology: Research, Development and Maintenance, Railways 2014, 8-11 April 2014, Ajaccio, Corsica, France. 299. Civil-Comp Proceedings 104. Civil-Comp Press. ISSN 1759-3433
Guck, D. and Timmer, M. and Blom, S.C.C. (2014) Extending Markov Automata with State and Action Rewards. In: Proceedings of the 12th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014), 12-13 April 2014, Grenoble, France. Inria. ISBN not assigned
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
Huisman, M. and Stoelinga, M.I.A. (2014) Meer vrouwen in de ict, waarom eigenlijk? Bits en chips, 9 (9). pp. 20-21. ISSN 1879-6443
Katoen, J.P. (2014) Model Checking Gigantic Markov Models. (Invited) In: Proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, 1-5 Sep 2014, Grenoble, France. xv-xvii. Lecture Notes in Computer Science 8702. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-10430-0
Katoen, J.P. and Song, Lei and Zhang, Lijun (2014) Probably safe or live. In: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 14-18 July 2014, Vienna, Austria. 55. ACM. ISBN 978-1-4503-2886-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
Stoelinga, M.I.A. (2014) Bakkerij, democratie en typesetting. Bits en chips, 2014. pp. 40-41. ISSN 1879-6443
Sytema, M. and Belinfante, A.F.E. and Stoelinga, M.I.A. and Marinelli, L. (2014) Experiences with formal engineering: model-based specification, implementation and testing of a software bus at Neopost. Science of computer programming, 80 (Part A). pp. 188-209. ISSN 0167-6423 *** ISI Impact 0,828 ***

2013

Arnold, F. and Belinfante, A.F.E. and Van der Berg, F.I. and Guck, D. and Stoelinga, M.I.A. (2013) DFTCalc: a tool for efficient fault tree analysis (extended version). Technical Report TR-CTIT-13-13, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Arnold, F. and Belinfante, A.F.E. and Van der Berg, F.I. and Guck, D. and Stoelinga, M.I.A. (2013) DFTCalc: a tool for efficient fault tree analysis. In: Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP), 24-27 Sep 2013, Toulouse, France. pp. 293-301. Lecture Notes in Computer Science 8153. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40793-2
Guck, D. and Hatefi, H. and Hermanns, H. and Katoen, J.P. and Timmer, M. (2013) Modelling, Reduction and Analysis of Markov Automata (extended version). Technical Report arXiv:1305.7050, Cornell University, Ithaca, NY, USA. ISSN not assigned
Guck, D. and Hatefi, H. and Hermanns, H. and Katoen, J.P. and Timmer, M. (2013) Modelling, Reduction and Analysis of Markov Automata. In: Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST), 27-30 Aug 2013, Buenos Aires, Argentina. pp. 55-71. Lecture Notes in Computer Science 8054. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40195-4
Huisman, M. and Jobstmann, B. and Schaefer, I. and Stoelinga, M.I.A. (2013) Divide and conquer: the quest for compositional design and analysis (Dagstuhl Seminar 12511). Dagstuhl Reports, 2 (12). pp. 64-88. ISSN 2192-5283
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent Quiescent Transition Systems (extended version). Technical Report TR-CTIT-13-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2013) Divergent quiescent transition systems. In: Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013), 18-19 June 2013, Budapest, Hungary. pp. 214-231. Lecture Notes in Computer Science 7942. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-38915-3
Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2013) Confluence reduction for Markov automata. In: Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013), 23-24 Mar 2013, Rome, Italy. 18. University of Trieste. ISBN not assigned
Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2013) Confluence reduction for Markov automata (extended version). Technical Report TR-CTIT-13-14, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Timmer, M. and van de Pol, J.C. and Stoelinga, M.I.A. (2013) Confluence Reduction for Markov Automata. In: Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 29-31 Aug 2013, Buenos Aires, Argentina. pp. 243-257. Lecture Notes in Computer Science 8053. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-40228-9

2012

Stoelinga, M.I.A. (2012) Trends in testen: modellen en verhalen. Bits en chips, 10. pp. 16-17. ISSN 1879-6443