Lisa Willemsen

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

Research activity per year

Filter
Conference contribution

Search results

  • 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 proceedingConference contributionAcademic

    Open Access
    File
    2 Citations (Scopus)
    123 Downloads (Pure)
  • 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 proceedingConference contributionAcademic

    Open Access
    File
    6 Citations (Scopus)
    84 Downloads (Pure)