Publikationen
Liste als BibTeX-Datei exportieren
- nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems In Proceedings of the IEEE/ACM International Conference on Computer Aided Design (ICCAD), November 2019. Details BIB
- Runtime Monitoring Neuron Activation Patterns In Design, Automation & Test in Europe Conference & Exhibition, Seiten 300–303, Florence, Italy, März 2019. Details URL DOI BIB
- Towards Dependability Metrics for Neural Networks In 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018, Seiten 43–46, Oktober 2018. Details URL DOI BIB
- Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper) In Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Seiten 279–290, Juli 2018. Details URL DOI BIB
- 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
- Maximum Resilience of Artificial Neural Networks In Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA, 2017. Details BIB