Andrea Pferscher

22 papers A* 1A 1B 3C 1Journal 5Unranked 10
YearRankTypeTitle / Venue / Authors
2026 — conf
Formal Methods meet Digital Twins: Challenges and Opportunities.
ESOP (1)
Einar Broch Johnsen, Eduard Kamburjan, Andrea Pferscher, Silvia Lizeth Tapia Tarifa
2026 J jnl
Incremental Fingerprinting in an Open World.
CoRR
Loes Kruger, Paul Kobialka, Andrea Pferscher, Einar Broch Johnsen, Sebastian Junges, Jurriaan Rot
2025 — conf
Nudging Strategies for User Journeys: Take a Path on the Wild Side.
Real Time and Such
Einar Broch Johnsen, Paul Kobialka, Andrea Pferscher, Silvia Lizeth Tapia Tarifa
2025 — conf
Semantic Reflection and Digital Twins: A Comprehensive Overview.
The Combined Power of Research, Education, and Dissemination
Eduard Kamburjan, Andrea Pferscher, Rudolf Schlatte, Riccardo Sieve, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2025 — conf
Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring.
MODELS-C
Eduard Kamburjan, Laura A. Slaughter, Einar Broch Johnsen, Andrea Pferscher, Laura Weihl
2025 — conf
What-If Scenarios for the BedreFlyt Digital Twin.
Principles of Formal Quantitative Analysis
Åsmund Aqissiaq Arild Kløvstad, Paul Kobialka, Riccardo Sieve, Andrea Pferscher, Laura Slaughter, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2024 A* conf
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data.
ICSE
Martin Tappler, Andrea Pferscher, Bernhard K. Aichernig, Bettina Könighofer
2024 J jnl
Learning minimal automata with recurrent neural networks.
Softw. Syst. Model.
Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Martin Tappler
2024 — conf
Stochastic Games for User Journeys.
FM (2)
Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2023 — ch.
Automatenlernen für das Testen und die Analyse der Sicherheit in vernetzten Umgebungen.
Ausgezeichnete Informatikdissertationen
Andrea Pferscher
2023 — conf
Mining Digital Twins of a VPN Server.
FMDT@FM
Andrea Pferscher, Benjamin Wunderling, Bernhard K. Aichernig, Edi Muskardin
2022 J jnl
AALpy: an active automata learning library.
Innov. Syst. Softw. Eng.
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
2022 — conf
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols.
FMAS/ASYDE@SEFM
Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher
2022 B conf
Constrained Training of Recurrent Neural Networks for Automata Learning.
SEFM
Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, Martin Tappler
2022 J jnl
Fingerprinting and Analysis of Bluetooth Devices with Automata Learning.
CoRR
Andrea Pferscher, Bernhard K. Aichernig
2022 J jnl
Fingerprinting and analysis of Bluetooth devices with automata learning.
Formal Methods Syst. Des.
Andrea Pferscher, Bernhard K. Aichernig
2022 — conf
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning.
NFM
Andrea Pferscher, Bernhard K. Aichernig
2021 B conf
AALpy: An Active Automata Learning Library.
ATVA
Edi Muskardin, Bernhard K. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
2021 B conf
Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning.
FM
Andrea Pferscher, Bernhard K. Aichernig
2021 A conf
Learning-Based Fuzzing of IoT Message Brokers.
ICST
Bernhard K. Aichernig, Edi Muskardin, Andrea Pferscher
2020 — conf
From Passive to Active: Learning Timed Automata Efficiently.
NFM
Bernhard K. Aichernig, Andrea Pferscher, Martin Tappler
2020 C conf
Learning Abstracted Non-deterministic Finite State Machines.
ICTSS
Andrea Pferscher, Bernhard K. Aichernig