P. Fiterau-Brostean

Learning Nondeterministic Register Automata Using Mappers ⋆

F. Vaandrager, F. Aarts, P. Fiterau-Brostean, 2015 .

Combining Model Learning and Model Checking to Analyze TCP Implementations

Frits W. Vaandrager, P. Fiterau-Brostean, Ramon Janssen, 2016, CAV.

Learning Register Automata with Fresh Value Generation

Frits W. Vaandrager, Fides Aarts, Harco Kuppens, 2015, ICTAC.

Analysis of DTLS Implementations Using Protocol State Fuzzing

Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky, 2020, USENIX Security Symposium.

Model learning and model checking of SSH implementations

Frits W. Vaandrager, Joeri de Ruiter, Erik Poll, 2017, SPIN.

DTLS-Fuzzer: A DTLS Protocol State Fuzzer

B. Jonsson, Konstantinos Sagonas, P. Fiterau-Brostean, 2022, 2022 IEEE Conference on Software Testing, Verification and Validation (ICST).