Verification of asynchronous systems with an unspecified component. - Rosa Abbasi; Fatemeh Ghassemi; Ramtin Khosravi (Acta Informatica, 2019)

Deductive Verification of Floating-Point Java Programs in KeY. - Rosa Abbasi; Jonas Schiffl; Eva Darulova; Mattias Ulbrich; Wolfgang Ahrendt (TACAS (2), 2021)

Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs. - Rosa Abbasi; Eva Darulova (SAS, 2023)

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. - Rosa Abbasi; Jonas Schiffl; Eva Darulova; Mattias Ulbrich; Wolfgang Ahrendt (Int. J. Softw. Tools Technol. Transf., 2023)