Anna Kolesnichenko

According to our database, Anna Kolesnichenko authored at least 5 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

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

Proceedings of the 12th International Conference on the Design of Reliable Communication Networks, 2016

2014

Model-checking mean-field models: algorithms & applications.

Anna Kolesnichenko

PhD thesis, 2014

2013

A logic for model-checking mean-field models.

Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Boudewijn R. Haverkort

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012

Applying Mean-Field Approximation to Continuous Time Markov Chains.

Anna Kolesnichenko, Valerio Senni, Alireza Pourranjbar, Anne Remke

Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012

2011

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

Proceedings of the Computer Performance Engineering, 2011