Seguir
Andrea Pferscher
Andrea Pferscher
Postdoctoral Research Fellow, Department of Informatics, University of Oslo
Email confirmado em ifi.uio.no
Título
Citado por
Citado por
Ano
AALpy: an active automata learning library
E Muškardin, BK Aichernig, I Pill, A Pferscher, M Tappler
Innovations in Systems and Software Engineering 18 (3), 417-426, 2022
442022
From passive to active: learning timed automata efficiently
BK Aichernig, A Pferscher, M Tappler
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
292020
Learning-Based Fuzzing of IoT Message Brokers
BK Aichernig, E Muškardin, A Pferscher
2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021
212021
Fingerprinting Bluetooth Low Energy devices via active automata learning
A Pferscher, BK Aichernig
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
192021
Learning abstracted non-deterministic finite state machines
A Pferscher, BK Aichernig
Testing Software and Systems: 32nd IFIP WG 6.1 International Conference …, 2020
112020
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning
A Pferscher, BK Aichernig
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA …, 2022
102022
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols
E Muskardin, A Pferscher, BK Aichernig
Formal Methods for Autonomous Systems, 2022
3*2022
Constrained Training of Recurrent Neural Networks for Automata Learning
BK Aichernig, S König, C Mateis, A Pferscher, D Schmidt, M Tappler
Software Engineering and Formal Methods: 20th International Conference, SEFM …, 2022
22022
Supplementary Material for “Learning Timed Automata via Genetic Programming”(2019)
M Tappler, A Pferscher
DOI: https://doi. org/10.6084/m9. figshare 5513575, v1, 0
2
Mining Digital Twins of a VPN Server
A Pferscher, B Wunderling, BK Aichernig, E Muskardin
Preproceedings of the Workshop on Applications of Formal Methods and Digital …, 2023
12023
Fingerprinting and analysis of Bluetooth devices with automata learning
A Pferscher, BK Aichernig
Formal Methods in System Design 61 (1), 35-62, 2022
12022
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data
M Tappler, A Pferscher, BK Aichernig, B Könighofer
Proceedings of the 46th IEEE/ACM International Conference on Software …, 2024
2024
Mining Digital Twins of a VPN Server
E Muskardin, A Pferscher, BK Aichernig, B Wunderling
Workshop on Applications of Formal Methods and Digital Twins, 2023
2023
Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins
S Hallé, C Soueidi, Y Falcone, E Kamburjan, V Klungre, SL Tapia Tarifa, ...
Research report http://urn. nb. no/URN: NBN: no-35645, 2023
2023
AALpy: an active automata learning library (Extended Version)
E Muskardin, BK Aichernig, I Pill, A Pferscher, M Tappler
Innovations in Systems and Software Engineering, 2022
2022
Aspects of Learning-based Security Testing
B Aichernig, S Marksteiner, A Pferscher, R Schlick, G Stieglbauer
AVL ITS R&T Research Networking Day 2021, 2021
2021
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–16