Research output per year
Research output per year
Personal profile
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
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems
Willemsen, L., Remke, A. & Ábrahám, E., 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, Vol. 3. p. 309-337 29 p. ( Lecture Notes in Computer Science; vol. 15262).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
Open AccessFile2 Downloads (Pure) -
Towards Accurately Explaining Battery Behavior: Learning the Parameters of Analytical Battery Models
Willemsen, L., Remke, A. & Hurink, J., 17 Jun 2025, E-Energy '25: Proceedings of the 16th ACM International Conference on Future and Sustainable Energy Systems. New York, NY: Association for Computing Machinery (ACM), p. 998-999Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile1 Downloads (Pure) -
Developing a Robust Communication Infrastructure for a Distributed Smart Grid IDS
Menzel, V., Speckamp, J. & Remke, A., 24 Sept 2024, Proceedings of the 2024 IEEE International Conference on Cyber Security and Resilience (CSR). IEEE, p. 819-826 8 p. 10679379Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile1 Downloads (Pure)
Activities
- 1 Oral presentation
-
Model Checking Algorithms for Infinite-State Markov Chains
Remke, A. (Speaker), Haverkort, B. (Contributor) & Cloth, L. (Contributor)
25 Jan 2005Activity: Talk or presentation › Oral presentation