Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||