| Combining model learning and model checking to analyze TCP implementations P Fiterău-Broştean, R Janssen, F Vaandrager International Conference on Computer Aided Verification, 454-471, 2016 | 178 | 2016 |
| Analysis of {DTLS} implementations using protocol state fuzzing P Fiterau-Brostean, B Jonsson, R Merget, J De Ruiter, K Sagonas, ... 29th USENIX Security Symposium (USENIX Security 20), 2523-2540, 2020 | 142 | 2020 |
| Model learning and model checking of SSH implementations P Fiterău-Broştean, T Lenaerts, E Poll, J De Ruiter, F Vaandrager, ... Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model …, 2017 | 116 | 2017 |
| Learning register automata with fresh value generation F Aarts, P Fiterau-Brostean, H Kuppens, F Vaandrager Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015 | 65 | 2015 |
| Learning fragments of the TCP network protocol P Fiterău-Broştean, R Janssen, F Vaandrager International Workshop on Formal Methods for Industrial Critical Systems, 78-93, 2014 | 45 | 2014 |
| Learning-based testing the sliding window behavior of TCP implementations P Fiterău-Broştean, F Howar Critical Systems: Formal Methods and Automated Verification: Joint 22nd …, 2017 | 37 | 2017 |
| Model learning as a satisfiability modulo theories problem R Smetsers, P Fiterău-Broştean, F Vaandrager International Conference on Language and Automata Theory and Applications …, 2018 | 33 | 2018 |
| Automata-based automated detection of state machine bugs in protocol implementations P Fiterau-Brostean, B Jonsson, K Sagonas, F Tåquist Network and Distributed System Security (NDSS), 2023 | 28 | 2023 |
| DTLS-Fuzzer: A DTLS protocol state fuzzer P Fiterău-Broştean, B Jonsson, K Sagonas, F Tåquist 2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022 | 20 | 2022 |
| Applying symbolic execution to test implementations of a network protocol against its specification H Asadian, P Fiterău-Broştean, B Jonsson, K Sagonas 2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022 | 10 | 2022 |
| Active model learning for the analysis of network protocols P Fiterau-Brostean Sl: sn, 2018 | 6 | 2018 |
| Scalable tree-based register automata learning S Dierl, P Fiterau-Brostean, F Howar, B Jonsson, K Sagonas, F Tåquist International Conference on Tools and Algorithms for the Construction and …, 2024 | 5 | 2024 |
| Monitor-based testing of network protocol implementations using symbolic execution H Asadian, P Fiterau-Brostean, B Jonsson, K Sagonas Proceedings of the 19th International Conference on Availability …, 2024 | 4 | 2024 |
| Automated state machine learning of IPsec implementations B Veldhuizen, J de Ruiter, P Fiterau-Brostean, P Fiterau-Brostean Bachelor thesis, Radboud University Nijmegen, 2017 | 3 | 2017 |
| Learning-based Testing the Sliding Window Behavior of TCP Implementations P Fiterau-Brostean, F Howar Cham: Springer International Publishing, 2017 | 3 | 2017 |
| Learning nondeterministic register automata using mappers FAPFB Harco, KF Vaandrager | 2 | 2015 |
| SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs P Fiterău-Broştean, B Jonsson, K Sagonas, F Tåquist Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024 | 1 | 2024 |
| Source code and data relevant for the paper'Model Learning and Model Checking of SSH Implementations' P Fiterau-Brostean, E Poll, FW Vaandrager, T Lenaerts, JEJ de Ruiter, ... DANS EASY, 2018 | 1 | 2018 |
| Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP H Asadian, P Fiterău-Broştean, B Jonsson, K Sagonas 2024 IEEE Conference on Standards for Communications and Networking (CSCN …, 2024 | | 2024 |
| Completeness of FSM Test Suites Reconsidered F Vaandrager, P Fiterău-Broştean, I Melse arXiv preprint arXiv:2410.19405, 2024 | | 2024 |
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityE-mail confirmado em cs.ru.nl
