Andrea Pferscher

According to our database, Andrea Pferscher authored at least 16 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Semantic Reflection and Digital Twins: A Comprehensive Overview.

Eduard Kamburjan, Andrea Pferscher, Rudolf Schlatte, Riccardo Sieve, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the Combined Power of Research, Education, and Dissemination, 2025

Nudging Strategies for User Journeys: Take a Path on the Wild Side.

Einar Broch Johnsen, Paul Kobialka, Andrea Pferscher, Silvia Lizeth Tapia Tarifa

Proceedings of the Real Time and Such, 2025

2024

Learning minimal automata with recurrent neural networks.

Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Martin Tappler

Softw. Syst. Model., June, 2024

Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data.

Martin Tappler, Andrea Pferscher, Bernhard K. Aichernig, Bettina Könighofer

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Stochastic Games for User Journeys.

Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Automatenlernen für das Testen und die Analyse der Sicherheit in vernetzten Umgebungen.

Andrea Pferscher

Proceedings of the Ausgezeichnete Informatikdissertationen 2023., 2023

Mining Digital Twins of a VPN Server.

Andrea Pferscher, Benjamin Wunderling, Bernhard K. Aichernig, Edi Muskardin

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

2022

Fingerprinting and analysis of Bluetooth devices with automata learning.

Andrea Pferscher, Bernhard K. Aichernig

Formal Methods Syst. Des., August, 2022

AALpy: an active automata learning library.

Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler

Innov. Syst. Softw. Eng., 2022

Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols.

Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

Constrained Training of Recurrent Neural Networks for Automata Learning.

Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning.

Andrea Pferscher, Bernhard K. Aichernig

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2021

Learning-Based Fuzzing of IoT Message Brokers.

Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning.

Andrea Pferscher, Bernhard K. Aichernig

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Learning Abstracted Non-deterministic Finite State Machines.

Andrea Pferscher, Bernhard K. Aichernig

Proceedings of the Testing Software and Systems, 2020

From Passive to Active: Learning Timed Automata Efficiently.

Bernhard K. Aichernig, Andrea Pferscher, Martin Tappler

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020