Publikationen pro Jahr
Publikationen pro Jahr
- 6 Ergebnisse
Suchergebnisse
-
2024
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning
Aichernig, B., Tappler, M. & Wallner, F., 20 März 2024, in: Formal Aspects of Computing. 36, 1, S. 1-37 38 S., 3.Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung
Open AccessDatei -
It’s Not a Feature, It’s a Bug: Fault-Tolerant Model Mining from Noisy Data
Wallner, F., Aichernig, B. K. & Burghard, C., 6 Feb. 2024, ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering. IEEE Computer Society, 1998Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Open Access -
2022
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
-
2021
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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung