About

I am a Computer Science PhD student at Radboud University Nijmegen. My work involves active learning techniques and their application to real-world systems. Aside from that, I am always looking to improve my knowledge on computers, programming... That is, when I'm not singing, browsing Internet overloading my mind with irrelevant information...

Research Interest

As previously mentioned, my research area is active learning and its application. More concretely, my focus is on developing active learning techniques for Register Automata, formalisms that allow the representation of data flow. A side goal is to apply active learning to practical software, like network protocols.

More generally, my research interests lie in:

Teaching

I am currently assisting/have assisted with the following courses at Radboud University:

Publications

A listing of all my scientific contributions:

[1] F. Aarts, P. Fiterāu-Brostean, H. Kuppens, and F. W. Vaandrager. Learning register automata with fresh value generation. In ICTAC 2015, volume 9399 of LNCS, pages 165-183. Springer, 2015. [ bib ][ pdf ]
[2] F. Aarts, P. Fiterāu-Brostean, H. Kuppens, and F. W. Vaandrager. Learning register automata with fresh value generation. Submitted to MSCS, 2016. [ bib ]
[3] P. Fiterāu-Brostean, R. Janssen, and F.W. Vaandrager. Learning fragments of the TCP network protocol. In FMICS 2014, volume 8718 of LNCS, pages 78-93. Springer, 2014. [ bib ][ pdf ]
[4] P. Fiterāu-Brostean, R. Janssen, and F.W. Vaandrager. Combining model learning and model checking to analyze TCP implementations. In CAV 2016, volume 9780 of LNCS, pages 454-471. Springer, 2016. [ bib ][ pdf ]
[5] Paul Fiterāu-Brostean and Falk Howar. Learning-based testing the sliding window behavior of tcp implementations. In Critical Systems: Formal Methods and Automated Verification, pages 185-200. Springer, 2017. [ bib ][ pdf ]
[6] R. Smetsers, P. Fiterāu-Brostean, and F.W. Vaandrager. Model learning as a satisfiability modulo theories problem. Work in progress, 2017. [ bib ]
[7] P. Fiterāu-Brostean, T. Lenaerts, J. de Ruiter, E. Poll, F.W. Vaandrager, and P. Verleg. Model learning and model checking of ssh implementations. In Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, SPIN 2017, pages 142-151. ACM, 2017. [ bib ][ pdf ]

Hobbies
I love singing, staying informed (thanks BBC), gaming and just going for a walk. Also do running, more for keeping my health in check than for the love of it.

The publications section was generated with the help of bibtex2html 1.95.