Publikationen pro Jahr
Publikationen pro Jahr
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
Muškardin, E., Aichernig, B., Pill, I., Pferscher, A. & Tappler, M., Sept. 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 417-426 10 S.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open Access -
Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols
Aichernig, B., Muškardin, E. & Pferscher, A., 27 Sept. 2022, Formal Methods for Autonomous Systems and Automated and verifiable Software sYstem DEvelopment. Band 371. S. 1-19 19 S. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access -
Constrained Training of Recurrent Neural Networks for Automata Learning
Aichernig, B., König, S., Mateis, C., Pferscher, A., Schmidt, D. & Tappler, M., 2022, Software Engineering and Formal Methods. Springer, Cham, Band 13550. (Lecture Notes in Computer Science; Band 13550).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning
Pferscher, A. & Aichernig, B., 20 Mai 2022, NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (Hrsg.). Cham: Springer, S. 373-392 20 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13260 LNCS).Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
-
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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung