Publications
and their (in)dependence on syntactic model representations. STTT, 20(4):441–465, 2018. doi: 10.1007/s10009-017-0479-9 Jörg Brauer, Oliver Möller, and Jan Peleska. Testing avionics software: Is FMI up to [...] Error Estimates in Convolutional Neural Networks . Technical Report, Project HiDyVe, Grant Agreement 20X1908E. Issue 1.1, 2023-12-21. Mario Gleirscher, Anne E. Haxthausen, and Jan Peleska. Probabilistic [...] Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings, volume 14131 of Lecture Notes in Computer Science, pages 183–201. Springer, 2023