Publikationen
Liste als BibTeX-Datei exportieren
- Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition (DATE), Seiten 1005–1006, Dresden, Germany, März 2018. Details DOI BIB
- Automated Analysis of Multi-View Software Architectures In 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, Seiten 725–730, Dezember 2017. Details URL DOI BIB
- Structural Synthesis for GXW Specifications In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, Seiten 95–117, 2016. Details URL DOI BIB