Expertise
Mathematics
# Adaptive Test
# Finite State Machine
# Labeled Transition System
# Output
# Test Generation
# Testing
Engineering & Materials Science
# Finite Automata
# Testing
Organisations
Publications
Recent
Jansen, N.
, Stoelinga, M.
, & van den Bos, P. (2022).
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday. (Lecture Notes in Computer Science; Vol. 13560). Springer.
https://doi.org/10.1007/978-3-031-15629-8
Bos, P. V. D.
, & Huisman, M. (2022).
The Integration of Testing and Program Verification: A Position Paper. In N. Jansen, M. Stoelinga, & P. van den Bos (Eds.),
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (pp. 524–538). (Lecture Notes in Computer Science; Vol. 13560). Springer.
https://doi.org/10.1007/978-3-031-15629-8_28
Bos, P. V. D., & Vaandrager, F. (2021).
State identification for labeled transition systems with inputs and outputs.
Science of computer programming,
209, [102678].
https://doi.org/10.1016/j.scico.2021.102678
Bos, P. V. D.
, & Stoelinga, M. (2018).
Tester versus Bug: A Generic Framework for Model-Based Testing via Games. In A. Orlandini, & M. Zimmermann (Eds.),
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018. (pp. 118-132). (Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 277). Dagstuhl.
https://doi.org/10.4204/EPTCS.277.9
Courses Academic Year 2022/2023
Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
Courses Academic Year 2021/2022
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(building no. 11), room 3078
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3078
P.O. Box 217
7500 AE Enschede
The Netherlands