Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study. - Anna Kolesnichenko; Anne Remke; Pieter-Tjerk de Boer; Boudewijn R. Haverkort (EPEW, 2011)

Applying Mean-Field Approximation to Continuous Time Markov Chains. - Anna Kolesnichenko; Valerio Senni; Alireza Pourranjbar; Anne Remke (ROCKS, 2012)

A logic for model-checking mean-field models. - Anna Kolesnichenko; Pieter-Tjerk de Boer; Anne Remke; Boudewijn R. Haverkort (DSN, 2013)

Model-checking mean-field models: algorithms & applications. - Anna Kolesnichenko (2014)

Fitting a code-red virus spread model: An account of putting theory into practice. - Anna Kolesnichenko; Boudewijn R. Haverkort; Anne Remke; Pieter-Tjerk de Boer (DRCN, 2016)