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 | 57 | 2022 |
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 | 33 | 2020 |
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 | 28 | 2021 |
Fingerprinting Bluetooth Low Energy devices via active automata learning A Pferscher, BK Aichernig Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 23 | 2021 |
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 | 13 | 2022 |
Learning abstracted non-deterministic finite state machines A Pferscher, BK Aichernig Testing Software and Systems: 32nd IFIP WG 6.1 International Conference …, 2020 | 11 | 2020 |
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols E Muskardin, A Pferscher, BK Aichernig Formal Methods for Autonomous Systems, 2022 | 8* | 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 | 4 | 2022 |
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 | 3 | 2023 |
Fingerprinting and analysis of Bluetooth devices with automata learning A Pferscher, BK Aichernig Formal Methods in System Design 61 (1), 35-62, 2022 | 3 | 2022 |
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 | |
Learning minimal automata with recurrent neural networks BK Aichernig, S König, C Mateis, A Pferscher, M Tappler Software and Systems Modeling, 1-31, 2024 | 1 | 2024 |
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 | 1 | 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 |