Fredrik Tåkvist

PhD student at Department of Information Technology; Division of Computer Systems

E-mail:: fredrik.takvist@it.uu.se
Visiting address:: Hus 10, Regementsvägen 10
Postal address:: Box 524
751 20 UPPSALA

Download contact information for Fredrik Tåkvist at Department of Information Technology; Division of Computer Systems

Publications

Recent publications

SL^λ: A Scalable Algorithm for Register Automata Learning

Dierl, Simon; Fiterău-Broştean, Paul; Howar, Falk; Jonsson, Bengt et al.

Part of Journal of automated reasoning, 2026
- DOI for SL^λ: A Scalable Algorithm for Register Automata Learning
- Download full text (pdf) of SL^λ: A Scalable Algorithm for Register Automata Learning
Scalable Tree-based Register Automata Learning

Dierl, Simon; Fiterau-Brostean, Paul; Howar, Falk; Jonsson, Bengt et al.

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 87-108, 2024
- DOI for Scalable Tree-based Register Automata Learning
- Download full text (pdf) of Scalable Tree-based Register Automata Learning
DTLS-Fuzzer: A DTLS Protocol State Fuzzer

Fiterau-Brostean, Paul; Jonsson, Bengt; Sagonas, Konstantinos; Tåquist, Fredrik

Part of 2022 IEEE 15th International Conference on Software Testing, Verification and Validation (ICST 2022), p. 456-458, 2022
- DOI for DTLS-Fuzzer: A DTLS Protocol State Fuzzer

All publications

Articles in journal

SL^λ: A Scalable Algorithm for Register Automata Learning

Dierl, Simon; Fiterău-Broştean, Paul; Howar, Falk; Jonsson, Bengt et al.

Part of Journal of automated reasoning, 2026
- DOI for SL^λ: A Scalable Algorithm for Register Automata Learning
- Download full text (pdf) of SL^λ: A Scalable Algorithm for Register Automata Learning

Conference papers

Scalable Tree-based Register Automata Learning

Dierl, Simon; Fiterau-Brostean, Paul; Howar, Falk; Jonsson, Bengt et al.

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 87-108, 2024
- DOI for Scalable Tree-based Register Automata Learning
- Download full text (pdf) of Scalable Tree-based Register Automata Learning
DTLS-Fuzzer: A DTLS Protocol State Fuzzer

Fiterau-Brostean, Paul; Jonsson, Bengt; Sagonas, Konstantinos; Tåquist, Fredrik

Part of 2022 IEEE 15th International Conference on Software Testing, Verification and Validation (ICST 2022), p. 456-458, 2022
- DOI for DTLS-Fuzzer: A DTLS Protocol State Fuzzer