​
Login / Signup
Rosa Abbasi
ORCID
Publication Activity (10 Years)
Years Active: 2017-2023
Publications (10 Years): 5
Top Topics
Multi Threaded
Java Programs
Error Analysis
Software Components
Top Venues
CoRR
Int. J. Softw. Tools Technol. Transf.
Acta Informatica
TACAS (2)
</>
Publications
</>
Rosa Abbasi
,
Eva Darulova
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs.
SAS
(2023)
Rosa Abbasi
,
Jonas Schiffl
,
Eva Darulova
,
Mattias Ulbrich
,
Wolfgang Ahrendt
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY.
Int. J. Softw. Tools Technol. Transf.
25 (2) (2023)
Rosa Abbasi
,
Jonas Schiffl
,
Eva Darulova
,
Mattias Ulbrich
,
Wolfgang Ahrendt
Deductive Verification of Floating-Point Java Programs in KeY.
TACAS (2)
(2021)
Rosa Abbasi
,
Fatemeh Ghassemi
,
Ramtin Khosravi
Verification of asynchronous systems with an unspecified component.
Acta Informatica
56 (2) (2019)
Rosa Abbasi
,
Fatemeh Ghassemi
,
Ramtin Khosravi
Verification of Asynchronous Systems with an Unspecified Component.
CoRR
(2017)