Anna Kolesnichenko (Anja)

Currently I am Post-Doctoral researcher at Design and Analysis of Communication Systems (DACS) group at University of Twente. My work is a part of a European Self Energy-Supporting Autonomous Computation (SENSATION) project. The overall objective of SENSATION is to enable the design of energy-wise self-supporting embedded systems up to the level of complete products.

My research as a Ph.D. student was a part of Mean-Field Approximation Techniques for Markov Models (MATMaM) project. The project explored the application of the mean-field method to a large systems of interacting objects. This method allows a quick and accurate analysis of such systems, while avoiding the state-space explosion problem.

I am graduated from Volgograd State University (Applied mathematics and computer science) and Halmstad University (Financial Mathematics) at 2007. My focus back then was on the validation of the portfolios using Black-Scholes-Barenbladt equations.

Publications

Kolesnichenko, A.V., Senni, V., Pourranjabar, A., and Remke, A.K.I. Applying Mean-Field Approximation to Continuous Time Markov Chains. Accepted for the publication in the Tutorial series of Lecture Notes in Computer Science (2014)

Kolesnichenko, A.V. and de Boer, P.T. and Remke, A.K.I. and Haverkort, B.R.H.M. A logic for model-checking mean-field models. In: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013), 24-27 June 2013, Budapest, Hungary. pp. 1-12. International Conference on Dependable Systems and Networks. IEEE. ISSN 1530-0889 ISBN 978-1-4673-6471-3 (2013)

Kolesnichenko, A.V. and Remke, A.K.I. and de Boer, P.T. and Haverkort, B.R.H.M. A logic for model-checking of mean-field models. Technical report. Accepted as presentation report for Tenth Workshop on Quantitative Aspects of Programming Languages (QAPL 2012), 31 Mar- 1 Apr, Tallinn, Estonia (2012).

Kolesnichenko, A.V. and de Boer, P.T. and Remke, A.K.I. and Zambon, Emmanuele and Haverkort, B.R.H.M. 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 (2011).

CTIT symposium 2011. Poster "Fast and accurate analysis of peer-to-peer botnet spread”. Thrid prize winner (2011).

Kolesnichenko, A.V. and Remke, A.K.I. and de Boer, P.T. and Haverkort, B.R.H.M. 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 (2011).

1st Symposium of Systems Genetics: from man to microbe, from genotype to phenotype. Poster "A large-scale phenotypic analysis of epigenetically different lines of Arabidopsis thaliana” (2009).

Master thesis: The valuation of portfolios under uncertain volatility: Black-Scholes-Barenbalatt equations and static hedging (2007).

Contact
email: kolesnichenkoav [at] ewi.utwente.nl
room: ZI-5055
phone: +31 53 489 3095

University of Twente
Design and Analysis of Communication Systems
Faculty of Electrical Engineering, Mathematics and Computer Science
7500 AE Enschede
The Netherlands