Skip to main content Skip to main navigation

Dr. rer. nat. Andreas Nonnengart

Organisationseinheit Agenten und Simulierte Realität
Kontakt

http://www.dfki.de/~nonnenga/

Publikationen

Security of AI Systems: Fundamentals - Security Aspects of Symbolic and Hybrid AI Systems

Christian Müller; Roland Vogt; Andreas Nonnengart; Matthias Klusch; André Meyer-Vitali

BSI Federal Office for Information Security, BSI Bericht, 2022.

Zur Publikation

CriSGen: Constraint-based Generation of Critical Scenarios for Autonomous Vehicles

Andreas Nonnengart; Matthias Klusch; Christian Müller

In: Proceedings of International Workshop on Formal Methods for Autonomous Systems. International Workshop on Formal Methods for Autonomous Systems (FMAS-2019), located at 3rd World Congress on Formal Methods, October 7-11, Porto, Portugal, Springer, 2019.

Zur Publikation

Integrated Semantic Fault Analysis and Worker Support for Cyber-Physical Production Systems

I. Zinnikus; Andre Antakli; Patrick Kapahnke; Matthias Klusch; Christopher Krauss; Andreas Nonnengart; Philipp Slusallek

In: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI). IEEE Conference on Business Informatics (CBI-2017), 19th, July 24-26, Thessaloniki, Greece, IEEE Press, 2017.

Zur Publikation
Alle Publikationen

Profil

  • ProForm

    Formale Methoden für die Steuerung von Produktionsanlagen

    Gegenstand der Forschungsarbeiten von ProForm ist es, erzielte Resultate im Bereich Formaler Methoden für die Entwicklung von Software zur Steuerung industrieller Produktionsprozesse nutzbar zu…