A new publication has been accepted by the FMAS 2022. Bernhard K. Aichernig, Edi Muškardin, and Andrea Pferscher : “Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols.”, In Farrell, M., Luckcuck M. (eds.) Formal Methods for …
A new publication has been accepted by the SEFM 2022. Bernhard K. Aichernig, Sandra König, Cristinel Mateis, Andrea Pferscher, Dominik Schmidt, and Martin Tappler: “Constrained Training of Recurrent Neural Networks for Automata Learning.”, In Schlinghoff, H., Chai M. (eds.) Software …
A new publication has been presented at the NFM 2022. Andrea Pferscher and Bernhard K. Aichernig: “Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning.”, In Deshmukh, J. V., Havelund, K., Perez, I. (eds.) NASA Formal Methods – 14th International …
A new publication has been presented at the FM 2021. Andrea Pferscher and Bernhard K. Aichernig: “Fingerprinting Bluetooth Low Energy Devices via Active Automata Learning”, In Huisman, M., Pasareanu, C.S., Zhan, N. (eds.) Formal Methods – 24th International Symposium, FM …