Number of items: 3.
2012
Kolesnichenko, Anna and Remke, Anne and Boer de, Pieter-Tjerk and Haverkort, Boudewijn R. (2012) A logic for model-checking of mean-field models. [Report]
2011
Kolesnichenko, Anna and Boer de, Pieter-Tjerk and Remke, Anne and Zambon, Emmanuele and Haverkort, Boudewijn R. (2011) Is Quantitative Analysis of Stuxnet Possible? In: 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011, September 5-8, 2011, Aachen, Germany.
Kolesnichenko, Anna and Remke, Anne and Boer de, Pieter-Tjerk and Haverkort, Boudewijn (2011) Comparison of the mean-field approach and simulation in a peer-to-peer botnet case study. In: 8th European Performance Engineering Workshop, EPEW 2011, 12-13 Octtober 2011, Borrowdale, United Kingdom.
This list was generated on Tue May 21 06:16:00 2013 CEST.
Back to University of Twente portal