Rosa Abbasi Boroujeni

According to our database, Rosa Abbasi Boroujeni authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., April, 2023

Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs.

Rosa Abbasi, Eva Darulova

Proceedings of the Static Analysis - 30th International Symposium, 2023

2021

Deductive Verification of Floating-Point Java Programs in KeY.

Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2019

Verification of asynchronous systems with an unspecified component.

Rosa Abbasi, Fatemeh Ghassemi, Ramtin Khosravi

Acta Informatica, 2019