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

Research activity per year

Filter
Chapter

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

    Open Access
    File
    2 Downloads (Pure)
  • 2023

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

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