Kein Foto von Andrea Pferscher

Andrea Pferscher

Dipl.-Ing., BSc

20202021

Publikationen pro Jahr

Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Fingerprint

Ergründen Sie die Forschungsthemen, in denen Andrea Pferscher aktiv ist. Diese Themenbezeichnungen stammen aus den Werken dieser Person. Zusammen bilden sie einen einzigartigen Fingerprint.
  • 1 Ähnliche Profile

Netzwerk

Jüngste externe Zusammenarbeit auf Länder-/Gebietsebene. Tauchen Sie ein in Details, indem Sie auf die Punkte klicken, oder:
  • AALpy: An Active Automata Learning Library

    Muskardin, E., Aichernig, B., Pill, I., Pferscher, A. & Tappler, M., 2021, Automated Technology for Verification and Analysis - ATVA 2021. Hou, Z. & Ganesh, V. (Hrsg.). Cham: Springer, S. 67-73 7 S. (Lecture Notes in Computer Science; Band 12971 ).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

  • Aspects of Learning-based Security Testing

    Aichernig, B., Marksteiner, S., Pferscher, A., Schlick, R. & Stieglbauer, G., Okt 2021.

    Publikation: KonferenzbeitragPoster

  • Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning

    Pferscher, A. & Aichernig, B., 2021, Formal Methods - 24th International Symposium, FM 2021, Proceedings. Huisman, M., Păsăreanu, C. & Zhan, N. (Hrsg.). Cham: Springer, S. 524-542 19 S. (Lecture Notes in Computer Science ; Band 13047 ).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

  • Learning-Based Fuzzing of IoT Message Brokers

    Aichernig, B., Muskardin, E. & Pferscher, A., Apr 2021, Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation, ICST 2021. S. 47-58 12 S. 9438590. (Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation, ICST 2021).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

  • From Passive to Active: Learning Timed Automata Efficiently

    Aichernig, B., Pferscher, A. & Tappler, M., 10 Aug 2020, NASA Formal Methods - 12th International Symposium, NFM 2020, Proceedings: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (Hrsg.). Springer, Band 12229. S. 1-19 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12229 LNCS).

    Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung