EEMCS

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

EEMCS EPrints Service


Editor: Remke, A.K.I.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 6.

2016

Hajighasemi, M. and Smit, G.J.M. and Hurink, J.L. (2016) A multi-commodity simulation tool based on TRIANA. In: Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 18th International GI/ITG Conference, MMB & DFT 2016, 4-6 April 2016, Münster, Germany. pp. 55-59. Lecture Notes in Computer Science 9629. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-31558-4
Schot, N. and Velthuis, P.J.E. and Postema, B.F. (2016) Capabilities of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres. In: Proceedings of the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems (MMB & DFT 2016), 4-6 Apr 2016, Münster, Germany. pp. 183-198. Lecture Notes in Computer Science 9629. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-31558-4

2014

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

This list was generated on Mon Apr 24 05:02:02 CEST 2017.