About
I am a graduate student at the Max Planck Institute for Software Systems. My advisor is Eva Darulova.
Publications
- Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
R. Abbasi, E. Darulova.
SAS'23
[paper] - Combining Rule-and SMT-Based Reasoning for Verifying Floating-Point Java Programs in KeY
R. Abbasi, J. Schiffl, E. Darulova, M. Ulbrich and W. Ahrendt.
Software Tools for Technology Transfer, Springer 2023
[paper] - Deductive Verification of Floating-Point Java Programs in KeY
R. Abbasi, J. Schiffl, E. Darulova, M. Ulbrich and W. Ahrendt.
TACAS'21 - nominated for the EAPLS best paper award
[paper] - Verification of Asynchronous Systems with an Unspecified Component
R. Abbasi, F. Ghassemi and R. Khosravi.
Acta Informatica, Springer 2017
[paper]