EEMCS

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

EEMCS EPrints Service


Research Project: MATMaM: Mean-Field Approximation Techniques for Markov Models
Home Policy Brochure Browse Search User Area Contact Help

2014

Kolesnichenko, A.V. (2014) Model-Checking Mean-Field Models: Algorithms & Applications. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 14-341 ISBN 978-90-365-3821-3
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

2013

Kolesnichenko, A.V. and de Boer, P.T. and Remke, A.K.I. and Haverkort, B.R.H.M. (2013) A logic for model-checking mean-field models. In: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013), 24-27 June 2013, Budapest, Hungary. pp. 1-12. International Conference on Dependable Systems and Networks. IEEE. ISSN 1530-0889 ISBN 978-1-4673-6471-3

2012

Kolesnichenko, A.V. and Remke, A.K.I. and de Boer, P.T. and Haverkort, B.R.H.M. (2012) A logic for model-checking of mean-field models. Technical Report TR-CTIT-12-11, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

2011

Kolesnichenko, A.V. and de Boer, P.T. and Remke, A.K.I. and Zambon, Emmanuele and Haverkort, B.R.H.M. (2011) Is Quantitative Analysis of Stuxnet Possible? In: QEST 2011: Fast Abstracts, 5-8 Sep 2011, Aachen, Germany. pp. 9-10. CTIT Workshop Proceedings WP11-03. Centre for Telematics and Information Technology University of Twente. ISSN 0929-0672
Kolesnichenko, A.V. and Remke, A.K.I. and de Boer, P.T. and Haverkort, B.R.H.M. (2011) Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study. In: Proceedings of the 8th European Performance Engineering Workshop, EPEW 2011, 12-13 Oct 2011, Borrowdale, United Kingdom. pp. 133-147. Lecture Notes in Computer Science 6977. Springer Verlag. ISSN 0302-9743

2010

Bakhshi, R. and Endrullis, J. and Endrullis, S. and Fokkink, W. and Haverkort, B.R.H.M. (2010) Automating the mean-field method for large dynamic gossip networks. In: Proceedings of the 7th International Conference on the Quantitative Evaluation of Systems (QEST 2010), 15-18 Sep 2010, Williamsburg, Virginia, USA. pp. 241-250. IEEE Computer Society. ISBN 978-0-7695-4188-4