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
772016
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
382017
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
142017
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
102018
Active model learning for the analysis of network protocols
P Fiterau-Brostean
[Sl: sn], 2018
42018
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
22020
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
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