Erika Ábrahám

Examinando cómo las hiperpropiedades probabilísticas pueden mejorar la seguridad del programa.

FMplex mejora la eficiencia para resolver ecuaciones e inecuaciones lineales.

Una mirada a Hybrid Rebeca y su papel en la seguridad de sistemas inteligentes.