No photo of Lisa Willemsen

Lisa Willemsen

 https://orcid.org/0000-0002-0418-9854
20222026

Research activity per year

Fingerprint

Dive into the research topics where Lisa Willemsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

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
Explore network further

  • Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata

    Blohm, P., Schulz, F., Willemsen, L., Remke, A. & Herber, P., 2026, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems: Second International Joint Conference, QEST+FORMATS 2025, Proceedings. Prabhakar, P. & Vandin, A. (eds.). 1 ed. Cham: Springer, p. 389-408 20 p. (Lecture Notes in Computer Science; vol. 16143 LNCS).

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

  • Running.Christel: A Stochastic Hybrid Case-Study Optimizing Battery Pack Usage

    Willemsen, L., Remke, A., Haverkort, B. R. & Hurink, J. L., 2026, Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Bertrand, N., Dubslaff, C. & Klüppelholz, S. (eds.). 1 ed. Cham: Springer, p. 382-407 26 p. (Lecture notes in computer science; vol. 15760).

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

    Open Access
    File

  • Safe Battery Use and Grid-Convenience in an Intelligent Energy Control System

    Adelt, J., Herber, P., Hurink, J., Niehage, M., Remke, A. & Willemsen, L., 2 Jan 2026, Performance Evaluation Methodologies and Tools: 17th EAI International Conference, Valuetools 2024, Milan, Italy, December 12–13, 2024, Proceedings. Gribaudo, M., Iacono, M. & Sedigh Sarvestani, S. (eds.). p. 274-294 21 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; vol. 663).

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

  • (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 Access
    File
    1   Link opens in a new tab Citation (Scopus)
    48 Downloads (Pure)

  • Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata

    Blohm, P., Schulz, F., Willemsen, L., Remke, A. & Herber, P., 17 Jun 2025, ArXiv.org, 25 p.

    Research output: Working paper › Preprint › Academic

    Open Access
    File
    59 Downloads (Pure)
View all 11 research outputs