Publications

Page 1 of 1.

Christian Müller; Roland Vogt; Andreas Nonnengart; Matthias Klusch; André Meyer-Vitali
Security of AI Systems: Fundamentals - Security Aspects of Symbolic and Hybrid AI Systems
BSI Federal Office for Information Security, BSI Bericht, 2022.
Andreas Nonnengart; Matthias Klusch; Christian Müller
CriSGen: Constraint-based Generation of Critical Scenarios for Autonomous Vehicles
In: Proceedings of International Workshop on Formal Methods for Autonomous Systems. International Workshop on Formal Methods for Autonomous Systems …
I. Zinnikus; Andre Antakli; Patrick Kapahnke; Matthias Klusch; Christopher Krauss; Andreas Nonnengart; Philipp Slusallek
Integrated Semantic Fault Analysis and Worker Support for Cyber-Physical Production Systems
In: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI). IEEE Conference on Business Informatics (CBI-2017), 19th, …
Andreas Nonnengart; Dmitri Rubinstein; Philipp Slusallek; Werner Stephan
Das KIARA Security-Modell
In: Peter Schartner; Kerstin Lemke-Rust; Markus Ullmann (Hrsg.). D A CH Security 2015. IT Security & IT Management, September 8-9, St. Augustin / …
Ingo Zinnikus; Torsten Spieldenner; Xiaoqi Cao; Matthias Klusch; Christopher Krauß; Andreas Nonnengart; Philipp Slusallek
A Collaborative Virtual Workspace for Factory Configuration and Evaluation
In: Proceedings of the 9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing . IEEE International …
Wolfgang Herget; Christopher Krauß; Andreas Nonnengart; Torsten Spieldenner; Stefan Warwas; Ingo Zinnikus
A Virtual Environment for Collaborative Engineering with Formal Verification
In: C. Bil; et al. (Hrsg.). Proceedings of the 20th ISPE International Conference on Concurrent Engineering. ISPE International Conference on …
Christopher Krauß; Andreas Nonnengart
Formal Analysis Meets 3D-Visualization
In: Georg Rock; Josip Stjepandic; Cees Bil (Hrsg.). Concurrent Engineering Approaches for Sustainable Product Development in a Multi-Disciplinary …
Lassaad Cheikhrouhou; Andreas Nonnengart; Werner Stephan; Frank Koob; Georg Rock
Automating Interactive Protocol Verification
In: Andreas Dengel; Karsten Berns; Thomas Breuel; Frank Bomarius; Thomas Roth-Berghofer (Hrsg.). KI 2008: Advances in Artificial Intelligence. German …
Andreas Nonnengart; Georg Rock; Christoph Weidenbach
On Generating Small Clause Normal Forms
In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE), Pages …