Learning Fragments of the TCP Network Protocol. - Paul Fiterau-Brostean; Ramon Janssen; Frits W. Vaandrager (FMICS, 2014)

Learning Register Automata with Fresh Value Generation. - Fides Aarts; Paul Fiterau-Brostean; Harco Kuppens; Frits W. Vaandrager (ICTAC, 2015)

Combining Model Learning and Model Checking to Analyze TCP Implementations. - Paul Fiterau-Brostean; Ramon Janssen; Frits W. Vaandrager (CAV (2), 2016)

Learning-Based Testing the Sliding Window Behavior of TCP Implementations. - Paul Fiterau-Brostean; Falk Howar (FMICS-AVoCS, 2017)

Model learning and model checking of SSH implementations. - Paul Fiterau-Brostean; Toon Lenaerts; Erik Poll; Joeri de Ruiter; Frits W. Vaandrager; Patrick Verleg (SPIN, 2017)

Model Learning as a Satisfiability Modulo Theories Problem. - Rick Smetsers; Paul Fiterau-Brostean; Frits W. Vaandrager (LATA, 2018)

Analysis of DTLS Implementations Using Protocol State Fuzzing. - Paul Fiterau-Brostean; Bengt Jonsson 001; Robert Merget; Joeri de Ruiter; Konstantinos Sagonas; Juraj Somorovsky (USENIX Security Symposium, 2020)

Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. - Hooman Asadian; Paul Fiterau-Brostean; Bengt Jonsson 001; Konstantinos Sagonas (ICST, 2022)

DTLS-Fuzzer: A DTLS Protocol State Fuzzer. - Paul Fiterau-Brostean; Bengt Jonsson 001; Konstantinos Sagonas; Fredrik Tåquist (ICST, 2022)

Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations. - Paul Fiterau-Brostean; Bengt Jonsson 001; Konstantinos Sagonas; Fredrik Tåquist (NDSS, 2023)

Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution. - Hooman Asadian; Paul Fiterau-Brostean; Bengt Jonsson 001; Konstantinos Sagonas (ARES, 2024)

Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP. - Hooman Asadian; Paul Fiterau-Brostean; Bengt Jonsson 001; Konstantinos Sagonas (CSCN, 2024)

SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs. - Paul Fiterau-Brostean; Bengt Jonsson 001; Konstantinos Sagonas; Fredrik Tåquist (ISSTA, 2024)

Scalable Tree-based Register Automata Learning. - Simon Dierl; Paul Fiterau-Brostean; Falk Howar; Bengt Jonsson 001; Konstantinos Sagonas; Fredrik Tåquist (TACAS (2), 2024)

Completeness of FSM Test Suites Reconsidered. - Frits W. Vaandrager; Paul Fiterau-Brostean; Ivo Melse (CoRR, 2024)