Skip to main content Skip to main navigation

Dipl.-Inform. Roland Vogt

Organizational unit Agents and Simulated Reality
Contact +49 681 85775 4131 (Saarbrücken)

Address (Saarbrücken) Gebäude D3 1Stuhlsatzenhausweg 3D-66123 Saarbrücken

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.

To the publication

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.

To the publication

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.

To the publication
All publications