Research output per year
Research output per year
Search results
-
2021
Generating synthetic radar targets using azimuthal distributed scatterer for automotive applications
Vorderderfler, M., Gadringer, M. E., Schreiber, H., Bösch, W. & Jalli Ng, H., 1 Jul 2021, 2021 IEEE International Workshop on Metrology for Automotive, MetroAutomotive 2021 - Proceedings. p. 65-69 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
2019
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning
Aichernig, B. K., Bloem, R., Ebrahimi, M., Horn, M., Pernkopf, F., Roth, W., Rupp, A., Tappler, M. & Tranninger, M., 2019, Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (eds.). Cham: Springer International Publishing AG , p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 11812).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
2018
Automata Learning for Symbolic Execution
Aichernig, B., Bloem, R., Ebrahimi, M., Tappler, M. & Winter, J., 2018, 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018. Bjørner, N. & Gurfinkel, A. (eds.). IEEE CS, p. 130 - 138 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review