Reachability Analysis for Multiloop Programs Using Transition Power Abstraction, Britikov, Konstantin, Blicha Martin, Sharygina Natasha, and Fedyukovich Grigory , FM 24, 09/2024, (2024)

• Google Scholar
• BibTeX

SolTG: A CHC-based Solidity Test Case Generator, Britikov, Konstantin, Zlatkin Ilia, Fedyukovich Grigory, Alt Leonardo, and Sharygina Natasha , Computer Aided Verification, (2024)

• Google Scholar
• BibTeX

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)

• Google Scholar
• BibTeX

Split Transition Power Abstraction for Unbounded Safety, Blicha, Martin, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , (2022)

• Google Scholar
• BibTeX

Transition Power Abstractions for Deep Counterexample Detection, Blicha, Martin, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , TACAS, (2022)

• 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

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

Exploiting partial variable assignment in interpolation-based model checking., Jančík, Pavel, Kofron Jan, Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , Formal Methods in System Design, (2019)

• 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

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

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)

• Google Scholar
• BibTeX

Property Directed Equivalence via Abstract Simulation, Fedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha , CAV 2016, (2016)

• Google Scholar
• BibTeX

PVAIR: Partial Variable Assignment InterpolatoR, Jančík, Pavel, Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., Kofron Jan, and Sharygina Natasha , FASE2016, (2016)

• Google Scholar
• BibTeX

Automated Discovery of Simulation Between Programs, Fedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha , LPAR, (2015)

• Google Scholar
• BibTeX

A Proof-Sensitive Approach for Small Propositional Interpolants, Alt, Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , VSTTE 2015, (2015)

• Google Scholar
• BibTeX

Symbolic Detection of Assertion Dependencies for Bounded Model Checking, Fedyukovich, Grigory, A. D'Iddio Callia, Hyvärinen Antti E. J., and Sharygina Natasha , 18th International Conference on Fundamental Approaches to Software Engineering (FASE), (2015)

• 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

Towards completeness in Bounded Model Checking through Automatic Recursion Depth Detection, Fedyukovich, Grigory, and Sharygina Natasha , Brazilian Symposium on Formal Methods (SBMF), Maceio, Brazil., (2014)

• Google Scholar
• BibTeX

Verification-Aided Regression Testing, Pastore, F., Mariani L., Hyvärinen Antti E. J., Fedyukovich Grigory, Sharygina Natasha, Sehestedt S., and Muhammad A. , ISSTA, 06/2014, (2014)

• 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

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

PeRIPLO: A Framework for Producing Efficient Interpolants for SAT-based Software Verification, Rollini, S.F., Alt Leonardo, Fedyukovich Grigory, Hyvärinen Antti E. J., and Sharygina Natasha , Logic for Programming Artificial Intelligence and Reasoning (LPAR), Stellenbosch, South Africa, (2013)

• Google Scholar
• BibTeX

PINCETTE - Validating Changes and Upgrades in Networked Software, Chockler, H., Denaro G., Ling M., Fedyukovich Grigory, Hyvärinen Antti E. J., Mariani L., Muhammad A., Oriol M., Rajan A., Sery O., et al. , 17th European Conference on Software Maintenance and Reengineering, (2013)

• 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

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