Paul Fiterau-Brostean
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2014–2024
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ISSTA | SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs. | Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tquist |
| 2024 | TACAS | Scalable Tree-based Register Automata Learning. | Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tquist |
| 2023 | NDSS | Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations. | Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tquist |
| 2022 | ICST | Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. | Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas |
| 2022 | ICST | DTLS-Fuzzer: A DTLS Protocol State Fuzzer. | Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, Fredrik Tquist |
| 2018 | LATA | Model Learning as a Satisfiability Modulo Theories Problem. | Rick Smetsers, Paul Fiterau-Brostean, Frits W. Vaandrager |
| 2017 | FMICS | Learning-Based Testing the Sliding Window Behavior of TCP Implementations. | Paul Fiterau-Brostean, Falk Howar |
| 2016 | CAV | Combining Model Learning and Model Checking to Analyze TCP Implementations. | Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager |
| 2015 | ICTAC | Learning Register Automata with Fresh Value Generation. | Fides Aarts, Paul Fiterau-Brostean, Harco Kuppens, Frits W. Vaandrager |
| 2014 | FMICS | Learning Fragments of the TCP Network Protocol. | Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager |