Publications

Export 9 results:
Author Title Type [ Year(Asc)]
Filters: Author is Sepideh Asadi  [Clear All Filters]
2023
SMT‑based verification of program changes through summary repair, Asadi, Sepideh, Blicha Martin, Hyvärinen Antti E. J., Fedyukovich Grigory, and Sharygina Natasha , Formal Methods in System Design, 05/2023, (2023)
2020
Farkas-Based Tree Interpolation, Asadi, Sepideh, Blicha Martin, Hyvärinen Antti, Fedyukovich Grigory, and Sharygina Natasha , SAS 2020 - 27th Static Analysis Symposium, Online Conference, (2020)
Incremental Verification by SMT-based Summary Repair, Asadi, Sepideh, Blicha Martin, Hyvärinen Antti E. J., Fedyukovich Grigory, and Sharygina Natasha , 20th conference on FORMAL METHODS in COMPUTER-AIDED DESIGN – FMCAD 2020, (2020)
2018
Computing Exact Worst-Case Gas Consumption for Smart Contracts, Marescotti, Matteo, Blicha Martin, Hyvärinen Antti E. J., Asadi Sepideh, and Sharygina Natasha , International Symposium on Leveraging Applications of Formal Methods ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice , Cyprus, (2018)
Function Summarization Modulo Theories, Asadi, Sepideh, Blicha Martin, Fedyukovich Grigory, Hyvärinen Antti E. J., Even-Mendoza Karine, Sharygina Natasha, and Chockler Hana , 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR, Ethiopia, (2018)
Lattice-Based Refinement in Bounded Model Checking, Even-Mendoza, Karine, Asadi Sepideh, Hyvärinen Antti, Chockler Hana, and Sharygina Natasha , VSTTE, 07/2018, (2018)
2017
Duality-Based Interpolation for Quantifier-Free Equalities and Uninterpreted Functions, Alt, Leonardo, Hyvärinen Antti, Asadi Sepideh, and Sharygina Natasha , 17th Conference on Formal Methods in Computer-Aided Design (FMCAD 2017) , TU Wien, Vienna, Austria,, (2017)
HiFrog: SMT-based Function Summarization for Software Verification, Alt, Leonardo, Asadi Sepideh, Chockler Hana, Even Mendoza Karine, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Uppsala, (2017)
Theory Refinement for Program Verification, Hyvärinen, Antti E. J., Asadi Sepideh, Even Mendoza Karine, Fedyukovich Grigory, Chockler Hana, and Sharygina Natasha , SAT 2017, Melbourne, Australia, (2017)