| 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 | 74 | 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 | 38 | 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 | 32 | 2021 |
| Fingerprinting Bluetooth Low Energy devices via active automata learning A Pferscher, BK Aichernig Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 26 | 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 | 17 | 2022 |
| Learning abstracted non-deterministic finite state machines A Pferscher, BK Aichernig Testing Software and Systems: 32nd IFIP WG 6.1 International Conference …, 2020 | 12 | 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 | 9* | 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 | 5 | 2023 |
| 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 | 5 | 2022 |
| 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 | 4 | 2024 |
| Fingerprinting and analysis of Bluetooth devices with automata learning A Pferscher, BK Aichernig Formal Methods in System Design 61 (1), 35-62, 2022 | 4 | 2022 |
| Semantic Reflection and Digital Twins: A Comprehensive Overview E Kamburjan, A Pferscher, R Schlatte, R Sieve, SLT Tarifa, EB Johnsen The Combined Power of Research, Education, and Dissemination: Essays …, 2024 | 2 | 2024 |
| 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 | 2 | 2024 |
| 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 | |
| Nudging Strategies for User Journeys: Take a Path on the Wild Side EB Johnsen, P Kobialka, A Pferscher, SL Tapia Tarifa Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific …, 2024 | 1 | 2024 |
| Stochastic Games for User Journeys P Kobialka, A Pferscher, GR Bergersen, EB Johnsen, SL Tapia Tarifa International Symposium on Formal Methods, 167-186, 2024 | 1 | 2024 |
| Nudging Strategies for User Journeys: Take EB Johnsen, P Kobialka, A Pferscher Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific …, 2025 | | 2025 |
| Automatenlernen für das Testen und die Analyse der Sicherheit in vernetzten Umgebungen A Pferscher Ausgezeichnete Informatikdissertationen 2023 (Band 24), 221-230, 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 |
