Paul Fiterau-Brostean

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 11

Top Topics

Test Generation

Temporal Properties

Symbolic Execution

Top Venues

Publications

Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
Scalable Tree-based Register Automata Learning. CoRR (2024)
Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas
Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution. ARES (2024)
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
Scalable Tree-based Register Automata Learning. TACAS (2) (2024)
Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations. NDSS (2023)
Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tåquist
DTLS-Fuzzer: A DTLS Protocol State Fuzzer. ICST (2022)
Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas
Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. ICST (2022)
Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, Juraj Somorovsky
Analysis of DTLS Implementations Using Protocol State Fuzzing. USENIX Security Symposium (2020)
Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager
Model Learning as a Satisfiability Modulo Theories Problem. LATA (2018)
Paul Fiterau-Brostean, Toon Lenaerts, Erik Poll, Joeri de Ruiter, Frits W. Vaandrager, Patrick Verleg
Model learning and model checking of SSH implementations. SPIN (2017)
Paul Fiterau-Brostean, Falk Howar
Learning-Based Testing the Sliding Window Behavior of TCP Implementations. FMICS-AVoCS (2017)
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager
Combining Model Learning and Model Checking to Analyze TCP Implementations. CAV (2) (2016)
Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager
Learning Register Automata with Fresh Value Generation. ICTAC (2015)
Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager
Learning Fragments of the TCP Network Protocol. FMICS (2014)