Fredrik Tåquist

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Automated Detection

Learning Systems

Knowledge Acquisition

Cellular Automata

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)
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)