No photo of Anne Katharina Ingrid Remke

Anne Katharina Ingrid Remke

dr.

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

Research Output 2004 2019

Filter
Chapter
2016

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

2014
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
File
Continuous-time Markov Chain
Mean-field Approximation
Mean Field
Computer Science
Performance Modeling
2012
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

File