Publications
2025
(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems (2025)In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (pp. 309-337) ( Lecture Notes in Computer Science; Vol. 15262). Springer. Willemsen, L., Remke, A. & Ábrahám, E.https://doi.org/10.1007/978-3-031-75778-5_15
2023
ARCH-COMP23 Category Report: Stochastic Models (2023)In Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) (pp. 126-150) (EPiC Series in Computing; Vol. 96). EasyChair. 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.https://doi.org/10.29007/k7s6Comparing Two Approaches to Include Stochasticity in Hybrid Automata (2023)In Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings (pp. 238-254). Article Chapter 17 (Lecture Notes in Computer Science; Vol. 14287). Springer. Willemsen, L., Remke, A. & Ábrahám, E.https://doi.org/10.1007/978-3-031-43835-6_17Comparing Two Approaches to Include Stochasticity in Hybrid Automata (2023)[Working paper › Preprint]. ArXiv.org. Willemsen, L., Remke, A. & Ábrahám, E.Designing a tool for authoring digital problem-solving tasks in an app – an integrative learning design study (2023)[Contribution to conference › Paper] 13th Congress of the European Society for Research in Mathematics Education, CERME 2023 (Accepted/In press). Mense, S., Höveler, K., Blohm, P. & Willemsen, L.
2022
ARCH-COMP22 Category Report: Stochastic Models (2022)In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (pp. 113–141) (EPiC Series in Computing; Vol. 90). EasyChair. 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.https://doi.org/10.29007/lsvc
Research profiles
Address
University of Twente
Zilverling (building no. 11), room 5042
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 5042
P.O. Box 217
7500 AE Enschede
Netherlands
Scan the QR code or