Welcome...

dr. P. van den Bos (Petra)

Assistant Professor

Expertise

Engineering & Materials Science
Electric Machine Theory
Experiments
Finite Automata
Network Protocols
Testing

Publications

Recent
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  2021/2022

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.
 

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

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3078
P.O. Box 217
7500 AE Enschede
The Netherlands