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)

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)