Follow
Paul Fiterau
Paul Fiterau
Postdoctoral Researcher at Uppsala University, Sweden
Verified email at it.uu.se - Homepage
Title
Cited by
Cited by
Year
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
1242016
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
622017
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
502020
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
502015
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
412014
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
212018
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
212017
Active model learning for the analysis of network protocols
P Fiterau-Brostean
[Sl: sn], 2018
62018
DTLS-Fuzzer: A DTLS protocol state fuzzer
P Fiterău-Broştcan, B Jonsson, K Sagonas, F Tċquist
2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022
12022
Automated state machine learning of IPsec implementations
B Veldhuizen, J de Ruiter, P Fiterau-Brostean, P Fiterau-Brostean
Bachelor thesis, Radboud University Nijmegen, 2017
12017
Learning nondeterministic register automata using mappers
FAPFB Harco, KF Vaandrager
12015
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
2022
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
The system can't perform the operation now. Try again later.
Articles 1–17