EEMCS

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

EEMCS EPrints Service


Editor: Stoelinga, M.I.A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 11.

2014

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
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
Kolesnichenko, A.V. and Senni, V. and Pourranjabar, A. and Remke, A.K.I. (2014) Applying Mean-Field Approximation to Continuous Time Markov Chains. In: Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: Advanced Lectures of the International Autumn School ROCKS 2012. Lecture Notes in Computer Science 8453. Springer Verlag, Berlin, pp. 242-280. ISSN 0302-9743 ISBN 978-3-662-45488-6
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

2013

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
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

2012

Stoelinga, M.I.A. and Pinger, R., ed. (2012) Proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems. Lecture Notes in Computer Science 7437. Springer Verlag, London. ISSN 0302-9743 ISBN 978-3-642-32468-0
Stoelinga, M.I.A. and Timmer, M., ed. (2012) Proceedings of the 17th Dutch Testing Day: Testing Evolvability. CTIT Workshop Proceedings Series (WP12-01). Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 0929-0672
Stoelinga, M.I.A. and Timmer, M. (2012) Preface. In: Proceedings of the 17th Dutch Testing Day: Testing Evolvability, 29 Nov 2011, Enschede, The Netherlands. pp. 3-3. CTIT Workshop Proceedings Series (WP12-01). Centre for Telematics and Information Technology, University of Twente. ISSN 0929-0672

2011

Manthey, B. (2011) Towards explaining the speed of k-means. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica, 2011. pp. 45-54. ISSN not assigned

This list was generated on Mon May 29 06:07:30 CEST 2017.