Cyber-Physical Systems

Page 1 of 1.

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.

2. 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 …

3. 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, …

4. 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 / …

5. 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 …

6. 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 …

7. 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 …

8. 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 …

9. 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 …

• 1