Innovative Factory 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 (FMAS-2019), located at 3rd World Congress on Formal Methods, October 7-11, Porto, Portugal, Springer, 2019.

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, July 24-26, Thessaloniki, Greece, IEEE Press, 2017.

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 / Bonn, Germany, syssec, 2015.

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 Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom-13), 9th, October 20-23, Austin, TX, USA, 2013.

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 Concurrent Engineering (CE-13), 20th, September 2-6, Melbourne, VIC, Australia, IOS Press, 2013.

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 Environment. ISPE International Conference on Concurrent Engineering (CE-2012), September 3-7, Trier, Germany, Pages 145-156, Vol. 1, ISBN 978-1-4471-4425-0, Springer, 9/2012.

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 Conference on Artificial Intelligence (KI-2008), September 23-26, Kaiserslautern, Germany, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5243, ISBN 978-3-540-85844-7, Springer, Berlin, Heidelberg, 2008.

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 397-411, LNCS, Vol. 1421, Springer, 1998.

• 1