Sepideh Asadi

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 9

Top Topics

Quantifier Free

Modulo Theories

Formal Verification

Top Venues

Publications

Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
SMT-based verification of program changes through summary repair. Formal Methods Syst. Des. 60 (3) (2022)
Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
Incremental Verification by SMT-based Summary Repair. FMCAD (2020)
Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina
Farkas-Based Tree Interpolation. SAS (2020)
Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler
Function Summarization Modulo Theories. LPAR (2018)
Matteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina
Computing Exact Worst-Case Gas Consumption for Smart Contracts. ISoLA (4) (2018)
Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina
Lattice-Based Refinement in Bounded Model Checking. VSTTE (2018)
Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi, Natasha Sharygina
Duality-based interpolation for quantifier-free equalities and uninterpreted functions. FMCAD (2017)
Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina
HiFrog: SMT-based Function Summarization for Software Verification. TACAS (2) (2017)
Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina
Theory Refinement for Program Verification. SAT (2017)
Sepideh Asadi, Hadi Shahriar Shahhoseini
Formal security analysis of authentication in SNMPv3 protocol by an automated tool. IST (2012)