Erika Ábrahám

Esaminare come le iperproprietà probabilistiche possano migliorare la sicurezza dei programmi.

FMplex migliora l'efficienza nella risoluzione di equazioni e disuguaglianze lineari.

Uno sguardo a Hybrid Rebeca e al suo ruolo nella sicurezza dei sistemi intelligenti.