No photo of Lisa Willemsen
Contact Expert

Lisa Willemsen

Calculated based on number of publications stored in Pure and citations from Scopus
20222025

Research activity per year

Search results

  • 2025

    (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

  • 2023

    ARCH-COMP23 Category Report: Stochastic Models

    Abate, A., Blom, H., Cauchi, N., Delicaris, J., Haesaert, S., Huijgevoort, B. V., Lavaei, A., Remke, A., Schön, O., Schupp, S., Shmarov, F., Soudjani, S., Willemsen, L. & Zuliani, P., 18 Oct 2023, Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23). Frehse, G. & Althoff, M. (eds.). EasyChair, p. 126-150 25 p. (EPiC Series in Computing; vol. 96).

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

    Open Access
    File
    2 Citations (Scopus)
    145 Downloads (Pure)

  • Comparing Two Approaches to Include Stochasticity in Hybrid Automata

    Willemsen, L., Remke, A. & Ábrahám, E., Sept 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings. Jansen, N. & Tribastone, M. (eds.). Cham, Switzerland: Springer, p. 238-254 17 p. Chapter 17. (Lecture Notes in Computer Science; vol. 14287).

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

    Open Access
    File
    5 Citations (Scopus)
    67 Downloads (Pure)

  • Comparing Two Approaches to Include Stochasticity in Hybrid Automata

    Willemsen, L., Remke, A. & Ábrahám, E., 16 Jul 2023, ArXiv.org, 18 p.

    Research output: Working paper › Preprint › Academic

    Open Access
    File
    24 Downloads (Pure)

  • Designing a tool for authoring digital problem-solving tasks in an app – an integrative learning design study

    Mense, S., Höveler, K., Blohm, P. & Willemsen, L., 2023, (Accepted/In press).

    Research output: Contribution to conference › Paper › peer-review

  • 2022

    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 Citations (Scopus)
    102 Downloads (Pure)