مقالههای دارای تعهدات انتشار عمومی - Paul Fiterauبیشتر بدانید
جای دیگری دردسترس است: ۱۱
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
تعهدات: Netherlands Organisation for Scientific Research
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
تعهدات: German Research Foundation, Swedish Research Council
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
تعهدات: Netherlands Organisation for Scientific Research
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
تعهدات: Netherlands Organisation for Scientific Research
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
تعهدات: Netherlands Organisation for Scientific Research
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
تعهدات: Knut and Alice Wallenberg Foundation, Swedish Research Council
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
تعهدات: Knut and Alice Wallenberg Foundation, Swedish Research Council
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
تعهدات: Swedish Research Council
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
تعهدات: Knut and Alice Wallenberg Foundation, Swedish Research Council
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
تعهدات: Swedish Research Council
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
تعهدات: Knut and Alice Wallenberg Foundation, Swedish Research Council
اطلاعات انتشارات و تأمین بودجه بهطورخودکار توسط برنامه رایانهای تعیین میشود.