George K. Thiruvathukal

Ein neuer Datensatz liefert Einblicke in die Nutzung von vortrainierten Modellen in Softwareprojekten.

Dieser Artikel behandelt die Sicherheitsherausforderungen von Deep-Learning-Modellen und Abwehrstrategien.

Ein Programm, um Model Checking für zuverlässige Softwareentwicklung zu lehren.