Erika Ábrahám

Untersuchen, wie probabilistische Hypereigenschaften die Programmsicherheit verbessern können.

FMplex verbessert die Effizienz beim Lösen von linearen Gleichungen und Ungleichungen.

Ein Blick auf Hybrid Rebeca und seine Rolle in der Sicherheit smarter Systeme.