Publicaties
Recent
Willemsen, L.
, Remke, A., & Ábrahám, E. (2023).
Comparing Two Approaches to Include Stochasticity in Hybrid Automata. In N. Jansen, & M. Tribastone (Eds.),
Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings (pp. 238-254). [Chapter 17] (Lecture Notes in Computer Science; Vol. 14287). Springer Nature.
https://doi.org/10.1007/978-3-031-43835-6_17
Mense, S., Höveler, K., Blohm, P.
, & Willemsen, L. (Accepted/In press).
Designing a tool for authoring digital problem-solving tasks in an app – an integrative learning design study. Paper presented at 13th Congress of the European Society for Research in Mathematics Education, CERME 2023, Budapest, Hungary.
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. (2022).
ARCH-COMP22 Category Report: Stochastic Models. In G. Frehse, M. Althoff, E. Schoitsch, & J. Guiochet (Eds.),
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (pp. 113–141). (EPiC Series in Computing; Vol. 90). EasyChair.
https://doi.org/10.29007/lsvc
Pure Link
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(gebouwnr. 11), kamer 5042
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
5042
Postbus 217
7500 AE Enschede