No photo of Anne K.I. Remke

Anne K.I. Remke

dr.

20042021

Research activity per year

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

Fingerprint

Dive into the research topics where Anne K.I. Remke is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • ARCH-COMP21 Category Report: Stochastic Models

    Abate, A., Blom, H., Bouissou, M., Cauchi, N., Chraibi, H., Delicaris, J., Haesaert, S., Hartmanns, A., Khaled, M., Lavaei, A., Ma, H., Mallik, K., Niehage, M., Remke, A., Schupp, S., Shmarov, F., Soudjani, S., Thorpe, A., Turcuman, V. & Zuliani, P., 6 Dec 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. Frehse, G. & Althoff, M. (eds.). EasyChair, p. 55-89 35 p. (EPiC Series in Computing; vol. 80).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    23 Downloads (Pure)
  • Learning optimal decisions for stochastic hybrid systems

    Niehage, M., Hartmanns, A. & Remke, A., 20 Nov 2021, MEMOCODE '21: Prtoceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021. Arun-Kumar, S., Méry, D., Saha, I. & Zhang, L. (eds.). ACM Press, p. 44-55 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    14 Downloads (Pure)
  • Securing SCADA networks for smart grids via a distributed evaluation of local sensor data

    Menzel, V., Hurink, J. L. & Remke, A., 13 Dec 2021, 2021 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm). IEEE, p. 405-411 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    6 Downloads (Pure)
  • ARCH-COMP20 Category Report: Stochastic Models

    Abate, A., Blom, H., Cauchi, N., Delicaris, J., Hartmanns, A., Khaled, M., Lavaei, A., Pilch, C., Remke, A., Schupp, S., Shmarov, F., Soudjani, S., Vinod, A. P., Wooding, B., Zamani, M. & Zuliani, P., 2020, ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. EasyChair, Vol. 74. p. 76-106 31 p. (EPiC Series in Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    5 Citations (Scopus)
    15 Downloads (Pure)
  • Architecture and prototype implementation for process-aware intrusion detection in electrical grids

    Flosbach, R., Chromik, J. J. & Remke, A. K. I., 30 Mar 2020, 2019 38th Symposium on Reliable Distributed Systems (SRDS). IEEE

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)