| Interpolation-based function summaries in bounded model checking O Sery, G Fedyukovich, N Sharygina Haifa verification conference, 160-175, 2011 | 78 | 2011 |
| Quantified invariants via syntax-guided synthesis G Fedyukovich, S Prabhu, K Madhukar, A Gupta Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 71 | 2019 |
| Incremental upgrade checking by means of interpolation-based function summaries O Sery, G Fedyukovich, N Sharygina 2012 Formal Methods in Computer-Aided Design (FMCAD), 114-121, 2012 | 70 | 2012 |
| Accelerating syntax-guided invariant synthesis G Fedyukovich, R Bodík Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 55 | 2018 |
| Sampling invariants from frequency distributions G Fedyukovich, SJ Kaufman, R Bodík 2017 Formal Methods in Computer Aided Design (FMCAD), 100-107, 2017 | 54 | 2017 |
| Gradual synthesis for static parallelization of single-pass array-processing programs G Fedyukovich, MBS Ahmad, R Bodik ACM SIGPLAN Notices 52 (6), 572-585, 2017 | 53 | 2017 |
| Solving constrained horn clauses using syntax and data G Fedyukovich, S Prabhu, K Madhukar, A Gupta 2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018 | 52 | 2018 |
| TOOLympics 2019: An overview of competitions in formal methods E Bartocci, D Beyer, PE Black, G Fedyukovich, H Garavel, A Hartmanns, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 49 | 2019 |
| eVolCheck: Incremental upgrade checker for C G Fedyukovich, O Sery, N Sharygina Tools and Algorithms for the Construction and Analysis of Systems: 19th …, 2013 | 45 | 2013 |
| Lemma synthesis for automating induction over algebraic data types W Yang, G Fedyukovich, A Gupta Principles and Practice of Constraint Programming: 25th International …, 2019 | 40 | 2019 |
| Validity-guided synthesis of reactive systems from assume-guarantee contracts A Katis, G Fedyukovich, H Guo, A Gacek, J Backes, A Gurfinkel, ... Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 39 | 2018 |
| FunFrog: Bounded model checking with interpolation-based function summarization O Sery, G Fedyukovich, N Sharygina Automated Technology for Verification and Analysis: 10th International …, 2012 | 39 | 2012 |
| Automated discovery of simulation between programs G Fedyukovich, A Gurfinkel, N Sharygina Logic for Programming, Artificial Intelligence, and Reasoning, 606-621, 2015 | 37 | 2015 |
| PeRIPLO: A framework for producing effective interpolants in SAT-based software verification SF Rollini, L Alt, G Fedyukovich, AEJ Hyvärinen, N Sharygina Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 37 | 2013 |
| Syntax-guided termination analysis G Fedyukovich, Y Zhang, A Gupta Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 34 | 2018 |
| Synchronizing Constrained Horn Clauses. D Mordvinov, G Fedyukovich LPAR, 338-355, 2017 | 34 | 2017 |
| Property directed equivalence via abstract simulation G Fedyukovich, A Gurfinkel, N Sharygina International Conference on Computer Aided Verification, 433-453, 2016 | 33 | 2016 |
| Verification-aided regression testing F Pastore, L Mariani, AEJ Hyvärinen, G Fedyukovich, N Sharygina, ... Proceedings of the 2014 International Symposium on Software Testing and …, 2014 | 33 | 2014 |
| Exploiting synchrony and symmetry in relational verification L Pick, G Fedyukovich, A Gupta Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018 | 30 | 2018 |
| HiFrog: SMT-based function summarization for software verification L Alt, S Asadi, H Chockler, K Even Mendoza, G Fedyukovich, ... Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 29 | 2017 |
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
