Sepideh Asadi

According to our database, Sepideh Asadi authored at least 10 papers between 2012 and 2022.

Collaborative distances:

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

2022

SMT-based verification of program changes through summary repair.

Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina

Formal Methods Syst. Des., 2022

2020

Farkas-Based Tree Interpolation.

Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Static Analysis - 27th International Symposium, 2020

Incremental Verification by SMT-based Summary Repair.

Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2018

Lattice-Based Refinement in Bounded Model Checking.

Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Function Summarization Modulo Theories.

Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Computing Exact Worst-Case Gas Consumption for Smart Contracts.

Matteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

HiFrog: SMT-based Function Summarization for Software Verification.

Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

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

Theory Refinement for Program Verification.

Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Duality-based interpolation for quantifier-free equalities and uninterpreted functions.

Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi, Natasha Sharygina

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2012

Formal security analysis of authentication in SNMPv3 protocol by an automated tool.

Sepideh Asadi, Hadi Shahriar Shahhoseini

Proceedings of the 6th International Symposium on Telecommunications, 2012