( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Combining Model Learning and Model Checking to Analyze TCP Implementations.

, , и . CAV (2), том 9780 из Lecture Notes in Computer Science, стр. 454-471. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Heinz Paulsen

Reinhold Paul

Uwe Paulsen

Dieter Paulsen

Eberhard Paul

 

Другие публикации лиц с тем же именем

Learning Fragments of the TCP Network Protocol., , и . FMICS, том 8718 из Lecture Notes in Computer Science, стр. 78-93. Springer, (2014)Model learning and model checking of SSH implementations., , , , , и . SPIN, стр. 142-151. ACM, (2017)DTLS-Fuzzer: A DTLS Protocol State Fuzzer., , , и . ICST, стр. 456-458. IEEE, (2022)Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification., , , и . ICST, стр. 70-81. IEEE, (2022)Learning Register Automata with Fresh Value Generation., , , и . ICTAC, том 9399 из Lecture Notes in Computer Science, стр. 165-183. Springer, (2015)Analysis of DTLS Implementations Using Protocol State Fuzzing., , , , , и . USENIX Security Symposium, стр. 2523-2540. USENIX Association, (2020)Scalable Tree-based Register Automata Learning., , , , , и . TACAS (2), том 14571 из Lecture Notes in Computer Science, стр. 87-108. Springer, (2024)Model Learning as a Satisfiability Modulo Theories Problem., , и . LATA, том 10792 из Lecture Notes in Computer Science, стр. 182-194. Springer, (2018)Combining Model Learning and Model Checking to Analyze TCP Implementations., , и . CAV (2), том 9780 из Lecture Notes in Computer Science, стр. 454-471. Springer, (2016)Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations., , , и . NDSS, The Internet Society, (2023)