Sepideh Asadi

Sepideh Asadi

Università della Svizzera Italiana Lugano - Lugano / Switzerland
Engineering & Technology / Computer Science
AD Scientific Index ID: 5210938
Université de la Suisse italienne
person_outline Sepideh Asadi's MOST POPULAR ARTICLES
1-) Computing exact worst-case gas consumption for smart contractsM Marescotti, M Blicha, AEJ Hyvärinen, S Asadi, N SharyginaLeveraging Applications of Formal Methods, Verification and Validation …, 2018642018
2-) HiFrog: SMT-based Function Summarization for Software VerificationL Alt, S Asadi, H Chockler, KE Mendoza, G Fedyukovich, AEJ Hyvärinen, ...23rd International Conference on Tools and Algorithms for the Construction …, 201733*2017
3-) Duality-Based Interpolation for Quantifier-Free Equalities and Uninterpreted FunctionsL Alt, AEJ Hyvärinen, S Asadi, N SharyginaFMCAD, 2017152017
4-) Incremental verification by SMT-based summary repairS Asadi, M Blicha, A Hyvärinen, G Fedyukovich, N Sharygina# PLACEHOLDER_PARENT_METADATA_VALUE# 1, 77-82, 2020102020
5-) Theory Refinement for Program VerificationAEJ Hyvärinen, S Asadi, K Even-Mendoza, G Fedyukovich, H Chockler, ...International Conference on Theory and Applications of Satisfiability …, 2017102017