No photo of Anne Katharina Ingrid Remke

Anne Katharina Ingrid Remke


If you made any changes in Pure these will be visible here soon.

Research Output 2004 2019


Model checking two layers of mean-field models

Kolesnichenko, A. V., Remke, A. K. I., de Boer, P-T. & Haverkort, B. R. H. M., Apr 2016, Principles of Performance and Reliability Modeling and Evaluation - Essays in Honor of Kishor Trivedi on his 70th Birthday. Fiondella, L. & Puliafito, A. (eds.). London: Springer, p. 341-369 29 p. (Springer series in reliability engineering).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)
111 Downloads (Pure)

Applying Mean-Field Approximation to Continuous Time Markov Chains

Kolesnichenko, A. V., Senni, V., Pourranjabar, A. & Remke, A., Oct 2014, Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: Advanced Lectures of the International Autumn School ROCKS 2012. Remke, A. & Stoelinga, M. (eds.). Berlin: Springer, p. 242-280 39 p. (Lecture Notes in Computer Science; vol. 8453).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
Continuous-time Markov Chain
Mean-field Approximation
Mean Field
Computer Science
Performance Modeling
17 Downloads (Pure)

Assessing dependability and resilience in critical infrastructures: challenges and opportunities

Avritzer, A., Di Giandomenico, F., Remke, A. K. I. & Riedl, M., 1 Jan 2012, Resilience assessment and evaluation of computing systems. Wolter, K., Avritzer, A., Vieira, M. & van Moorsel, A. (eds.). Berlin: Springer, p. 41-63 23 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review