Fredrik Tåkvist
Doktorand vid Institutionen för informationsteknologi; Datorteknik
- E-post:
- fredrik.takvist@it.uu.se
- Besöksadress:
- Hus 10, Regementsvägen 10
- Postadress:
- Box 524
751 20 UPPSALA
Publikationer
Senaste publikationer
-
SLλ: A Scalable Algorithm for Register Automata Learning
Ingår i Journal of automated reasoning, 2026
- DOI för SLλ: A Scalable Algorithm for Register Automata Learning
- Ladda ner fulltext (pdf) av SLλ: A Scalable Algorithm for Register Automata Learning
-
Scalable Tree-based Register Automata Learning
Ingår i Tools and Algorithms for the Construction and Analysis of Systems, s. 87-108, 2024
- DOI för Scalable Tree-based Register Automata Learning
- Ladda ner fulltext (pdf) av Scalable Tree-based Register Automata Learning
-
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations
Ingår i Network and Distributed System Security (NDSS) Symposium 2023, s. 1-18, 2023
-
DTLS-Fuzzer: A DTLS Protocol State Fuzzer
Ingår i 2022 IEEE 15th International Conference on Software Testing, Verification and Validation (ICST 2022), s. 456-458, 2022
Alla publikationer
Artiklar i tidskrift
Konferensbidrag
-
Scalable Tree-based Register Automata Learning
Ingår i Tools and Algorithms for the Construction and Analysis of Systems, s. 87-108, 2024
- DOI för Scalable Tree-based Register Automata Learning
- Ladda ner fulltext (pdf) av Scalable Tree-based Register Automata Learning
-
Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations
Ingår i Network and Distributed System Security (NDSS) Symposium 2023, s. 1-18, 2023
-
DTLS-Fuzzer: A DTLS Protocol State Fuzzer
Ingår i 2022 IEEE 15th International Conference on Software Testing, Verification and Validation (ICST 2022), s. 456-458, 2022