Erika Ábrahám

Examining how probabilistic hyperproperties can enhance program security.

2025-10-21T08:43:54+00:00 ― 4 min read

FMplex improves the efficiency of solving linear equations and inequalities.

2025-09-30T03:34:36+00:00 ― 5 min read

A look into Hybrid Rebeca and its role in smart system safety.

2025-05-30T11:15:00+00:00 ― 5 min read