Multilinguality and Language Technology

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. Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

   Formal Software Development in the Verification Support Environment (VSE)

   In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). International FLAIRS Conference (FLAIRS), Pages …

3. Bruno Langenstein; Markus Ullmann; Roland Vogt

   The Use of Formal Methods for Trusted Digital Signature Devices

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

4. Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers

   VSE: Formal Methods Meet Industrial Needs

   In: International Journal on Software Tools for Technology Transfer, Vol. 3, No. 1, Pages 66-77, Springer, Berlin, Heidelberg, 2000.

5. Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt

   Formal Software Development in the Verification Support Environment

   In: Journal of Experimental and Theoretical Artificial Intelligence (JETAI), 2000.

• 1