Lookahead-Based SMT Solving, Hyvärinen, Antti E. J., Marescotti Matteo, Sadigova Parvin, Chockler Hana, and Sharygina Natasha , LPAR-22, November 2018, Awassa, Ethiopia, (2018)

• Google Scholar
• BibTeX

Lookahead in Partitioning SMT, Hyvärinen, Antti E. J., Marescotti Matteo, and Sharygina Natasha , Formal Methods in Computer-Aided Design - FMCAD 2021, Online Conference, (2021)

• Google Scholar
• BibTeX

Leveraging Interpolant Strength in Model Checking, Rollini, S.F., Sery O., and Sharygina Natasha , 24th International Conference on Computer Aided Verification (CAV), Berkeley, California, USA, (2012)

• Google Scholar
• BibTeX

Lazy Abstraction with Interpolation for Arrays, Alberti, Francesco, Bruttomesso R., Ghilardi S., Ranise S., and Sharygina Natasha , 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), Mérida, Venezuela, (2012)

• Google Scholar
• BibTeX

Lattice-based SMT for program verification, Even Mendoza, Karine, Hyvärinen Antti E. J., Chockler Hana, and Sharygina Natasha , International Conference on Formal Methods and Models for System Design, (MEMOCODE), (2019)

• Google Scholar
• BibTeX

Lattice-Based Refinement in Bounded Model Checking, Even-Mendoza, Karine, Asadi Sepideh, Hyvärinen Antti, Chockler Hana, and Sharygina Natasha , VSTTE, 07/2018, (2018)

• Google Scholar
• BibTeX

Interpolation-based model checking for efficient incremental analysis of software, Fedyukovich, Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, (2013)

• Google Scholar
• BibTeX

Interpolation-based Function Summaries in Bounded Model Checking, Sery, O., Fedyukovich Grigory, and Sharygina Natasha , Haifa Verification Conference (HVC), Haifa, Israel, (2011)

• Google Scholar
• BibTeX

Interpolation Properties and SAT-based Model Checking, Gurfinkel, A., Rollini S. F., and Sharygina Natasha , 11th International Symposium on Automated Technology for Verification and Analysis (ATVA), (2013)

• Google Scholar
• BibTeX

On Interpolants and Variable Assignments, Jancik, P., Kofronˇ J., Rollini S.F., and Sharygina Natasha , Formal Methods in Computer-Aided Design (FMCAD), Lausanne, Switzerland, (2014)

• Google Scholar
• BibTeX

Incremental Verification of Compiler Optimizations, Fedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha , NASA Formal Methods (NFM), Houston, Texas, USA, (2014)

• Google Scholar
• BibTeX

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)

• Google Scholar
• BibTeX

Incremental Upgrade Checking by Means of Interpolation-based Function Summaries, Sery, O., Fedyukovich Grigory, and Sharygina Natasha , Twelfth International Conference on Formal Methods in Computer-Aided Design (FMCAD), Cambridge, UK, (2012)

• Google Scholar
• BibTeX

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)

• Google Scholar
• BibTeX

The Golem Horn Solver, Blicha, Martin, Britikov Konstantin, and Sharygina Natasha , Computer Aided Verification, (2023)

• Google Scholar
• BibTeX

FunFrog: Bounded Model Checking with Interpolation-based Function Summarization, Sery, O., Fedyukovich Grigory, and Sharygina Natasha , Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA), Thiruvananthapuram, India, (2012)

• Google Scholar
• BibTeX

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)

• Google Scholar
• BibTeX

Function Summaries in Software Upgrade Checking, Fedyukovich, Grigory, Sery O., and Sharygina Natasha , Haifa Verification Conference (HVC), Haifa Verification Conference (HVC), (2011)

• Google Scholar
• BibTeX

A Flexible Schema for Generating Explanations in Lazy Theory Propagation, Bruttomesso, R., Pek E., and Sharygina Natasha , International Conference on Formal Methods and Models for Codesign (MEMOCODE), Grenoble, France, (2010)

• Google Scholar
• BibTeX

Flexible Interpolation with Local Proof Transformations, Bruttomesso, R., Rollini S.F., Sharygina Natasha, and Tsitovich A. , International Conference of Computer Aided Design (ICCAD), San Jose, USA, (2010)

• Google Scholar
• BibTeX

Flexible Interpolation for Efficient Model Checking, Hyvärinen, Antti E. J., Alt Leonardo, and Sharygina Natasha , MEMICS 2016, (2016)

• Google Scholar
• BibTeX

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)

• Google Scholar
• BibTeX

An Extension of the Davis-Putnam Procedure and its Application to Preprocessing in SMT, Bruttomesso, R. , 7th International Workshop on Satisfiability Modulo Theories (SMT), Montreal, Canada, (2009)

• Google Scholar
• BibTeX

eVolCheck: Incremental Upgrade Checker for C, Fedyukovich, Grigory, Sery O., and Sharygina Natasha , 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), (2013)

• Google Scholar
• BibTeX

An Efficient and Flexible Approach to Resolution Proof Reduction, Rollini, S.F., Bruttomesso R., and Sharygina Natasha , Haifa Verification Conference (HVC), Haifa, Israel, (2010)

• Google Scholar
• BibTeX