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