No photo of Anne K.I. Remke

Anne K.I. Remke

dr.

20042022

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
View full fingerprint

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • ARCH-COMP22 Category Report: Stochastic Models

    Abate, A., Blom, H., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort, B., Lavaei, A., Ma, H., Niehage, M., Remke, A., Schön, O., Schupp, S., Soudjani, S. & Willemsen, L., 13 Dec 2022, Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (eds.). EasyChair, p. 113–141 29 p. (EPiC Series in Computing; vol. 90).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    6 Downloads (Pure)

  • 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 proceeding › Conference contribution › Academic

    Open Access
    File
    4 Citations (Scopus)
    46 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    4 Citations (Scopus)
    34 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    50 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 proceeding › Conference contribution › Academic

    Open Access
    File
    8 Citations (Scopus)
    28 Downloads (Pure)
View all 65 research outputs
  • 1 Oral presentation