( en | de | ru )

 

Disambiguierung von "Fiterau-Brostean, Paul"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Scalable Tree-based Register Automata Learning.

, , , , , und . TACAS (2), Volume 14571 von Lecture Notes in Computer Science, Seite 87-108. Springer, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christian Pauli

Christian Paul

Jean Paul

Stephan Paul

Jan Paul

 

Weitere Publikationen von Autoren mit dem selben Namen

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