Get started
Author

Rosa Abbasi

Observed names: Abbasi, Rosa, Boroujeni, Rosa Abbasi
ORCID: 0000-0003-1495-3470
Observed ORCID: 0000-0003-1495-3470
OpenAlex ID: A5019909189
Deductive Verification of Floating-Point Java Programs in KeY
2021 · Rosa Abbasi, Jonas Schiffl, et al. · Lecture notes in computer science · 8
PDF
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
2023 · Rosa Abbasi, Eva Darulova · Lecture notes in computer science · 4
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY
2023 · Rosa Abbasi, Jonas Schiffl, et al. · International Journal on Software Tools for Technology Transfer · 2
PDF
Deductive Verification of Floating-Point Java Programs in KeY
2021 · Rosa Abbasi, Jonas Schiffl, et al. · 2
PDF
Verification of asynchronous systems with an unspecified component
2018 · Rosa Abbasi, Fatemeh Ghassemi, et al. · Acta Informatica · 1
PDF
Metamorphic Testing for Floating-Point Performance Issues in SMT Solvers
2026 · Abbasi, Rosa, Darulova, Eva · arXiv (Cornell University)
PDF
Ginger: Artifact for "Metamorphic Testing for Floating-Point Performance Issues in SMT Solvers"
2026 · Abbasi, Rosa, Darulova, Eva · Zenodo (CERN European Organization for Nuclear Research)
Pushing the Boundary on Automated Modular Floating-Point Verification
2026 · Abbasi, Rosa · Publication Server of Kaiserslautern University of Technology (Kaiserslautern University of Technology)
PDF
Deductive Verification of Floating-Point Java Programs in KeY
2021 · Boroujeni, Rosa Abbasi, Schiffl, Jonas, et al. · arXiv (Cornell University)
PDF
Benchmark Repository for Floating-Point Support in KeY
2020 · Abbasi, Rosa, Schiffl, Jonas, et al. · Zenodo (CERN European Organization for Nuclear Research)
Works count: 12
Citation count: 17
H-index: 2
I10-index:
Year
Topic
Type