Publications
Recent
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. (2023).
ARCH-COMP23 Category Report: Stochastic Models. In G. Frehse, & M. Althoff (Eds.),
Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) (pp. 126-150). (EPiC Series in Computing; Vol. 96). EasyChair.
https://doi.org/10.29007/k7s6
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). Article 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
UT Research Information System
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(building no. 11), room 5042
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
5042
P.O. Box 217
7500 AE Enschede
The Netherlands