Anna Kolesnichenko

Applying Mean-Field Approximation to Continuous Time Markov Chains

Anne Remke, Valerio Senni, Anna Kolesnichenko, 2012, ROCKS.

Is Quantitative Analysis of Stuxnet Possible

Pieter-Tjerk de Boer, Anne Remke, Emmanuele Zambon, 2011, QEST 2011.

Model-checking mean-field models: algorithms & applications

Anna Kolesnichenko, A. Kolesnichenko, 2010 .

Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study

Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Anne Remke, 2011, EPEW.

A logic for model-checking mean-field models

Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Anne Remke, 2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

Fitting a code-red virus spread model: An account of putting theory into practice

Boudewijn R. Haverkort, Pieter-Tjerk de Boer, Anne Remke, 2016, 2016 12th International Conference on the Design of Reliable Communication Networks (DRCN).