Raven Beutner

Eine neue Methode zur Überprüfung komplexer Programm-Eigenschaften zur Verbesserung der Sicherheit.

Eine neue Logik verbessert das Studium von Agenteninteraktionen in komplexen Systemen.

Diese Studie konzentriert sich darauf, komplexe Systemverhalten und Beziehungen effektiv zu überwachen.

Ein Verfahren zur automatischen Behebung von Softwarefehlern mit Fokus auf Datenschutz und Sicherheit.