No photo of Anne K.I. Remke

Anne K.I. Remke

dr.

20042020

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-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

  • Architecture and prototype implementation for process-aware intrusion detection in electrical grids

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

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

    1 Citation (Scopus)

  • Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings

    Pilch, C., Hartmanns, A. & Remke, A., 22 Apr 2020, HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control. Ames, A., Seshia, S. A. & Deshmukh, J. (eds.). Association for Computing Machinery (ACM), 11 p. 10

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

    1 Citation (Scopus)

  • A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications

    Chromik, J. J., Remke, A. K. I., Haverkort, B. R. H. M. & Geist, G., 24 Jun 2019, 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks – Industry Track. IEEE

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

  • ARCH-COMP19 Category Report: Stochastic Modelling

    Abate, A., Blom, H., Cauchi, N., Degiorgio, K., Fränzle, M., Hahn, E. M., Haesaert, S., Ma, H., Oishi, M., Pilch, C., Remke, A., Salamati, M., Soudjani, S., van Huijgevoort, B. & Vinod, A. P., 2019, ARCH19: 6th International Workshop on Applied Verification of Continuous and Hybrid Systems. Frehse, G. & Althoff, M. (eds.). EasyChair, p. 62-102 (EPiC Series in Computing; vol. 61).

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

    Open Access
    File
    3 Citations (Scopus)
    6 Downloads (Pure)
View all 61 research output
  • 2 Oral presentation