Dipl.-Inform. Roland Vogt

Publications

1. 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.
2. 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.
3. The Use of Formal Methods for Trusted Digital Signature Devices

   Bruno Langenstein; Markus Ullmann; Roland Vogt

   In: Proc. 13th Intern. FLAIRS Conf. International FLAIRS Conference (FLAIRS), AAAI Press, 2000.