Andrea Pferscher

According to our database, Andrea Pferscher authored at least 11 papers between 2020 and 2024.

Collaborative distances:

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

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

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