Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

Research Project: BEAT: Better Testing With Game Theory
Home Policy Brochure Browse Search User Area Contact Help


Ahmad, W. and Yildiz, B.M. and Rensink, A. and Stoelinga, M.I.A. (2017) A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. In: Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2016. Revised Selected Papers., 06 Oct 2016, Pittsburgh, PA, USA. pp. 1-16. Lecture Notes in Computer Science 10107. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-51737-7
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


Gerhold, M. and Stoelinga, M.I.A. (2016) Model-Based Testing of Stochastic Systems with IOCO Theory. In: Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016, 18 Nov 2016, Seattle, WA, USA. pp. 45-51. ACM. ISBN 978-1-4503-4401-2
Gerhold, M. and Stoelinga, M.I.A. (2016) Model-Based Testing of Probabilistic Systems. In: Proceedings of the 19th International Conference, Fundamental Approaches to Software Engineering, FASE 2016, 2-8 April 2016, Eindhoven, The Netherlands. pp. 251-268. Lecture Notes in Computer Science 9633. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-49664-0
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


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
Gerhold, M. and Stoelinga, M.I.A. (2015) Ioco Theory for Probabilistic Automata. In: Proceedings of the 10th Workshop on Model Based Testing, MBT 2015, 18 Apr 2015, London, UK. pp. 23-40. Electronic proceedings in theoretical computer science 180. Open Publishing Association. ISSN 2075-2180


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