Grigory Fedyukovich
http://usi.to/maf
Publications
Journal Article (3)
- Sharygina N., Asadi S., Blicha M., Hyvärinen A., Fedyukovich G. (2022) SMT-based verification of program changes through summary repair, Formal Methods in System Design
- Sharygina N., Jancík P., Kofron J., Alt L., Fedyukovich G., Hyvärinen A. (2019) Exploiting partial variable assignment in interpolation-based model checking, Formal Methods in System Design
- Sharygina N., Fedyukovich G., Sery O. (2017) Flexible SAT-based framework for incremental bounded upgrade checking, International Journal on Software Tools for Technology Transfer
Conference proceedings (1)
- Fedyukovich G., Sery O., Sharygina N. (2011) Function Summaries in Software Upgrade Checking. Springer. Haifa, Israel
Article in conference proceedings (19)
- Sharygina N., Britikov K., Zlatkin I., Fedyukovich G., Alt L. (2024) SolTG: A CHC-Based Solidity Test Case Generator. CAV. Montreal, QC, Canada. July 24-27, 2024
- Sharygina N., Britikov K., Blicha M., Fedyukovich G. (2024) Reachability Analysis for Multiloop Programs Using Transition Power Abstraction. FM 2024. Milan, Italy. September 9-13, 2024
- Sharygina N., Blicha M., Fedyukovich G., Hyvärinen A. (2022) Split Transition Power Abstraction for Unbounded Safety. FMCAD 2022. Trento, Italy. October 17-21, 2022
- Sharygina N., Blicha M., Fedyukovich G., Hyvärinen A. (2022) Transition Power Abstractions for Deep Counterexample Detection. TACAS 2022. Munich, Germany. April 2-7, 2022
- Sharygina N., Asadi S., Blicha M., Hyvärinen A., Fedyukovich G. (2020) Incremental Verification by SMT-based Summary Repair. 20th FMCAD 2020. Haifa, Israel. September 21-24, 2020
- Sharygina N., Asadi S., Blicha M., Hyvärinen A., Fedyukovich G. (2020) Farkas-Based Tree Interpolation. 27th SAS 2020. Virtual Event. November 18-20, 2020
- Sharygina N., Asadi S., Blicha M., Fedyukovich G., Hyvärinen A., Even-Mendoza K., Chockler H. (2018) Function Summarization Modulo Theories. 22nd LPAR 2018. Awassa, Ethiopia. 16-21 November 2018
- Sharygina N., Hyvärinen A., Asadi S., Even-Mendoza K., Fedyukovich G., Chockler H. (2017) Theory Refinement for Program Verification. 20th SAT 2017. Melbourne, VIC, Australia. August 28 - September 1, 2017
- Sharygina N., Alt L., Asadi S., Chockler H., Even-Mendoza K., Fedyukovich G., Hyvärinen A. (2017) HiFrog: SMT-based Function Summarization for Software Verification. 23rd TACAS 2017. Uppsala, Sweden. April 22-29, 2017
- Sharygina N., Fedyukovich G., Gurfinkel A. (2016) Property Directed Equivalence via Abstract Simulation. 28th CAV 2016. Toronto, ON, Canada. July 17-23, 2016
- Sharygina N., Jancík P., Alt L., Fedyukovich G., Hyvärinen A., Kofron J. (2016) PVAIR: Partial Variable Assignment InterpolatoR. 19. FASE 2016. Eindhoven, The Netherlands. April 2-8, 2016
- Sharygina N., Fedyukovich G., D'Iddio A. C., Hyvärinen A. (2015) Symbolic Detection of Assertion Dependencies for Bounded Model Checking. 18. FASE 2015. London, UK. April 11-18, 2015
- Sharygina N., Alt L., Fedyukovich G., Hyvärinen A. (2015) A Proof-Sensitive Approach for Small Propositional Interpolants. 7. VSTTE 2015. San Francisco, CA, USA. July 18-19, 2015
- Sharygina N., Pastore F., Mariani L., Hyvärinen A., Fedyukovich G., Sehestedt S., Ali M. (2014) Verification-aided regression testing. ISSTA 2014. San Jose, CA. July 21 - 26, 2014
- Sery O., Sharygina N., Denaro G., Ling M., Fedyukovich G., Hyvrinen A. E. J., Mariani L., Chockler H., Muhammad A., Oriol M., Rajan A., Tautschnig M. (2013) PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR
- Fedyukovich G., Sery O., Sharygina N. (2013) eVolCheck: Incremental Upgrade Checker for C. 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer
- Sery O., Fedyukovich G., Sharygina N. (2012) FunFrog: Bounded Model Checking with Interpolation-based Function Summarization. Tenth International Symposium on Automated Technology for Verification and Analysis (ATVA). Thiruvananthapuram, India
- Sery O., Fedyukovich G., Sharygina N. (2012) Incremental Upgrade Checking by Means of Interpolation-based Function Summaries. Twelfth International Conference on Formal Methods in Computer-Aided Design (FMCAD). Cambridge, UK
- Sery O., Fedyukovich G., Sharygina N. (2011) Interpolation-based Function Summaries in Bounded Model Checking. Haifa Verification Conference (HVC). Springer. Haifa, Israel
Technical report (1)
- Fedyukovich G., Sharygina N., Gurfinkel A. (2013) Automated Discovery of Simulation Between Programs
