Research output per year
Research output per year
Search results
-
2024
Benchmarking Combinations of Learning and Testing Algorithms for Automata Learning
Aichernig, B., Tappler, M. & Wallner, F., 20 Mar 2024, In: Formal Aspects of Computing. 36, 1, p. 1-37 38 p., 3.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
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, 1998Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
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. Vol. 371. p. 1-19 19 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
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, Vol. 13550. (Lecture Notes in Computer Science; vol. 13550).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning
Pferscher, A. & Aichernig, B., 20 May 2022, NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Cham: Springer, p. 373-392 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13260 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
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. (eds.). Cham: Springer, p. 524-542 19 p. (Lecture Notes in Computer Science ; vol. 13047 ).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review