Paul Fiterau
Paul Fiterau
Postdoctoral Researcher at Uppsala University, Sweden
Verified email at it.uu.se
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
732016
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
372017
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
352015
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
332014
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
132017
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
52018
Active model learning for the analysis of network protocols
P Fiterau-Brostean
[Sl: sn], 2018
32018
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
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), 2020
2020
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–15