dr. A. Fehnker (Ansgar)


Engineering & Materials Science
Model Checking
Network Protocols
Routing Protocols
Static Analysis
Wireless Networks
Social Sciences


Dubslaff, C., Wienhöft, P. , & Fehnker, A. (2021). Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines. In Software Engineering and Formal Methods: 19th International Conference (pp. 332-350). Springer. https://doi.org/10.1007/978-3-030-92124-8_19
Fehnker, A. , Mader, A. H., & Rump, A. (2021). Atelier – Tutor Moderated Comments in Programming Education. In T. De Laet, R. Klemke, C. Alario-Hoyos, I. Hilliger, & A. Ortega-Arranz (Eds.), Technology-Enhanced Learning for a Free, Safe, and Sustainable World (pp. 379-383). (Lecture Notes in Computer Science; Vol. 12884). Springer. https://doi.org/10.1007/978-3-030-86436-1_39
Rump, A. , Fehnker, A. , & Mader, A. (2021). Automated Assessment of Learning Objectives in Programming Assignments. In A. I. Cristea, & C. Troussas (Eds.), Intelligent Tutoring Systems: 17th International Conference, ITS 2021, Virtual Event, June 7–11, 2021, Proceedings (pp. 299-309). (Lecture Notes in Computer Science; Vol. 12677). Springer. https://doi.org/10.1007/978-3-030-80421-3_33
Fehnker, A. (2021). A sports day for programming. In D. R. Stikkolorum, & E. Rahimi (Eds.), CSERC '20: the 9th Computer Science Education Research Conference, Virtual Event, The Netherlands, 19-20 October, 2020 (pp. 11:1-11:6). [11] ACM SIGCOMM. https://doi.org/10.1145/3442481.3442507
Fehnker, A., & Garavel, H. (2020). Preface. Electronic Proceedings in Theoretical Computer Science, EPTCS, 316. http://eptcs.web.cse.unsw.edu.au/content.cgi?MARS2020#EPTCS316.0
Fehnker, A. (Performer) , Mader, A. H. (Performer), Rump, A. (Performer), Rutgers, M. (Performer), & Steenmeijer, L. (Performer). (2020). Atelier voor Creatief Programmeren. Digital or Visual Products, SURF. https://www.youtube.com/watch?v=YY5uVYpuasw
Fehnker, A. , Mader, A., Rump, A., Rutgers, M., Steenmeijer, L., & Witteveen, C. (2020). Atelier: An Online Platform for Programming Tutorials. In Proceedings of the 9th Computer Science Education Research Conference (CSERC '20). Association for Computing Machinery (ACM). https://doi.org/10.1145/3442481.3442511

Contact Details

Visiting Address

University of Twente
Drienerlolaan 5
7522 NB Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands