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 | 85 | 2016 |

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 | 41 | 2017 |

Learning register automata with fresh value generation F Aarts, P Fiterau-Brostean, H Kuppens, F Vaandrager International Colloquium on Theoretical Aspects of Computing, 165-183, 2015 | 38 | 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 | 36 | 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, 185-200, 2017 | 15 | 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 | 11 | 2018 |

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 | 5 | 2020 |

Active model learning for the analysis of network protocols P Fiterau-Brostean [Sl: sn], 2018 | 4 | 2018 |

Automated state machine learning of IPsec implementations B Veldhuizen, J de Ruiter, P Fiterau-Brostean, P Fiterau-Brostean Bachelor thesis, Radboud University Nijmegen, 2017 | 1 | 2017 |

Learning nondeterministic register automata using mappers FAPFB Harco, KF Vaandrager | 1 | 2015 |

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 | | 2018 |

Source code and data relevant for the paper'Combining Model Learning and Model Checking to Analyze TCP Implementations' P Fiterau-Brostean, R Janssen, FW Vaandrager DANS EASY, 2017 | | 2017 |

Source code and data relevant for the paper'Learning-Based Testing the Sliding Window Behavior of TCP Implementations' P Fiterau-Brostean, F Howar DANS EASY, 2017 | | 2017 |

Source code and data relevant for the paper'Model Learning as a Satisfiability Modulo Theories Problem' R Smetsers, P Fiterau-Brostean, FW Vaandrager DANS EASY, 2017 | | 2017 |

Learning and Model Checking Real-world TCP Implementations R Janssen, F Vaandrager, P Fiterau-Brostean | | 2015 |