The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Grigory Fedyukovich" ( http://dblp.L3S.de/Authors/Grigory_Fedyukovich )

  Author page on DBLP  Author page in RDF  Community of Grigory Fedyukovich in ASPL-2

Publication years (Num. hits)
2010-2015 (19) 2016-2018 (18) 2019 (9)
Publication types (Num. hits)
article(5) incollection(4) inproceedings(36) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 47 publication records. Showing 46 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina Exploiting partial variable assignment in interpolation-based model checking. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, Mattias Ulbrich (eds.) Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019. Search on Bibsonomy HCVS/PERR@ETAPS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta Quantified Invariants via Syntax-Guided Synthesis. Search on Bibsonomy CAV (1) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Dirk Beyer 0001, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda 0001, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada 0002 TOOLympics 2019: An Overview of Competitions in Formal Methods. Search on Bibsonomy TACAS (3) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Aarti Gupta Functional Synthesis with Examples. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Weikun Yang, Grigory Fedyukovich, Aarti Gupta Lemma Synthesis for Automating Induction over Algebraic Data Types. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dmitry Mordvinov, Grigory Fedyukovich Property Directed Inference of Relational Invariants. Search on Bibsonomy FMCAD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich The FMCAD 2019 Student Forum. Search on Bibsonomy FMCAD The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Arie Gurfinkel, Aarti Gupta Lazy but Effective Functional Synthesis. Search on Bibsonomy VMCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler Function Summarization Modulo Theories. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Lauren Pick, Grigory Fedyukovich, Aarti Gupta Exploiting Synchrony and Symmetry in Relational Verification. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Yueling Zhang, Aarti Gupta Syntax-Guided Termination Analysis. Search on Bibsonomy CAV (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Rastislav Bodík Accelerating Syntax-Guided Invariant Synthesis. Search on Bibsonomy TACAS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta Solving Constrained Horn Clauses Using Syntax and Data. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina Flexible SAT-based framework for incremental bounded upgrade checking. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Dmitry Mordvinov, Grigory Fedyukovich Verifying Safety of Functional Programs with Rosette/Unbound. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Dmitry Mordvinov, Grigory Fedyukovich Synchronizing Constrained Horn Clauses. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík Gradual synthesis for static parallelization of single-pass array-processing programs. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina Theory Refinement for Program Verification. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina HiFrog: SMT-based Function Summarization for Software Verification. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík Sampling invariants from frequency distributions. Search on Bibsonomy FMCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andreas Katis, Grigory Fedyukovich, Andrew Gacek, John D. Backes, Arie Gurfinkel, Michael W. Whalen Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Grigory Fedyukovich, Rastislav Bodík Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions. Search on Bibsonomy SYNT@CAV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina Property Directed Equivalence via Abstract Simulation. Search on Bibsonomy CAV (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina PVAIR: Partial Variable Assignment InterpolatoR. Search on Bibsonomy FASE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina Function Summarization-Based Bounded Model Checking. Search on Bibsonomy Validation of Evolving Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina Optimizing Function Summaries Through Interpolation. Search on Bibsonomy Validation of Evolving Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad Regression Checking of Changes in C Software. Search on Bibsonomy Validation of Evolving Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina Incremental Upgrade Checking. Search on Bibsonomy Validation of Evolving Software The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina A Proof-Sensitive Approach for Small Propositional Interpolants. Search on Bibsonomy VSTTE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina Automated Discovery of Simulation Between Programs. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina Symbolic Detection of Assertion Dependencies for Bounded Model Checking. Search on Bibsonomy FASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Natasha Sharygina Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection. Search on Bibsonomy SBMF The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad Verification-aided regression testing. Search on Bibsonomy ISSTA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina Incremental Verification of Compiler Optimizations. Search on Bibsonomy NASA Formal Methods The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina Interpolation-based model checking for efficient incremental analysis of software. Search on Bibsonomy DDECS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig PINCETTE - Validating Changes and Upgrades in Networked Software. Search on Bibsonomy CSMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina eVolCheck: Incremental Upgrade Checker for C. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina FunFrog: Bounded Model Checking with Interpolation-Based Function Summarization. Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina Incremental upgrade checking by means of interpolation-based function summaries. Search on Bibsonomy FMCAD The full citation details ... 2012 DBLP  BibTeX  RDF
1Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina Interpolation-Based Function Summaries in Bounded Model Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Ondrej Sery, Natasha Sharygina Function Summaries in Software Upgrade Checking. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Vladimir Safonov Implementing Parallel Algorithms of MapReduce. Search on Bibsonomy PDPTA The full citation details ... 2010 DBLP  BibTeX  RDF
Displaying result #1 - #46 of 46 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license