EEMCS

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

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