Publicaties
2023
ARCH-COMP23 Category Report: Stochastic ModelsIn Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23) (pp. 126-150). 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 AutomataIn Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023. Proceedings, Article Chapter 17 (pp. 238-254). Springer Nature. 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. 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 (Accepted/In press). Mense, S., Höveler, K., Blohm, P. & Willemsen, L.
2022
ARCH-COMP22 Category Report: Stochastic ModelsIn Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22) (pp. 113–141). 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
Onderzoeksprofielen
Adres
![](/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 5042
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 5042
Postbus 217
7500 AE Enschede