Dipl.-Inform. Roland Vogt

Contact +49 631 20575 4131 (Kaiserslautern)

Address (Kaiserslautern)

Publications

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.
Deutsche Normungsroadmap Künstliche Intelligenz - Ausgabe 1
Aljoscha Burchardt; Iris Merget; Stefan Schaffer; Kinga Schumacher; Thomas Vögele; Roland Vogt; Wolfgang Wahlster
Normung und Standardisierung, Bundesministerium für Wirtschaft und Klimaschutz, Deutsche Normungsroadmap Künstliche Intelligenz, Vol. 1, 11/2020.
Formal Software Development in the Verification Support Environment (VSE)
Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt
In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages 367-376, AAAI-Press, 2000.

PROTECT
Proving Next Generation Secure Systems
Cyber attacks on companies and public institutions are increasing dramatically worldwide. The PROTECT project, funded by the Cyber Agency, is developing solutions to make IT systems more resistant to…