I agree that this site is using cookies. You can find further informations here.
X
Fedyukovich, Grigory
31  results:
OpenAccess-fulltext X
Search for persons X
?
1

TACAS 23 Artifact Evaluation VM - Ubuntu 22.04 LTS:

Fedyukovich, Grigory ; Mover, Sergio
doi:10.5281/zenodo.7113222.  , 2022
Link: https://zenodo.org/recor..
 
?
2

Artifact For "Automated Synthesis of Inductive Invariants w..:

Debrestian, Darin ; Fedyukovich, Grigory
doi:10.5281/zenodo.7312871.  , 2022
Link: https://zenodo.org/recor..
 
?
3

Artifact For "Automated Synthesis of Inductive Invariants w..:

Debrestian, Darin ; Fedyukovich, Grigory
doi:10.5281/zenodo.7312871.  , 2022
Link: https://zenodo.org/recor..
 
?
4

Beyond the Elementary Representations of Program Invariants..:

Kostyukov, Yurii ; Mordvinov, Dmitry ; Fedyukovich, Grigory
http://arxiv.org/abs/2104.04463.  , 2021
Link: http://arxiv.org/abs/210..
 
?
5

Competition Report: CHC-COMP-21:

Fedyukovich, Grigory ; Rümmer, Philipp
http://arxiv.org/abs/2109.04635.  , 2021
Link: http://arxiv.org/abs/210..
 
?
6

Competition Report : CHC-COMP-21:

Fedyukovich, Grigory ; Rümmer, Philipp
Electronic Proceedings in Theoretical Computer Science.  , 2021
Link: http://urn.kb.se/resolve..
 
?
7

Solving Constrained Horn Clauses over ADTs by Finite Model ..:

Kostyukov, Yurii ; Mordvinov, Dmitry ; Fedyukovich, Grigory
http://arxiv.org/abs/2108.00225.  , 2021
Link: http://arxiv.org/abs/210..
 
?
8

Artifact of Specification Synthesis with Constrained Horn C..:

Prabhu Sumanth ; Fedyukovich Grigory ; Kumar Madhukar.
doi:10.5281/zenodo.4682680.  , 2021
Link: https://zenodo.org/recor..
 
?
9

Proceedings of the Sixth Workshop on Horn Clauses for Verif..:

Angelis, Emanuele De ; Fedyukovich, Grigory ; Tzevelekos, Nikos.
https://publikationen.bibliothek.kit.edu/1000120149.  , 2020
Link: https://publikationen.bi..
 
?
10

Automating Modular Verification of Secure Information Flow:

Pick, Lauren ; Fedyukovich, Grigory ; Gupta, Aarti
#PLACEHOLDER_PARENT_METADATA_VALUE#.  , 2020
Link: https://hdl.handle.net/2..
 
?
11

Synthesis of Infinite-State Systems with Random Behavior:

Katis, Andreas ; Fedyukovich, Grigory ; Chen, Jeffrey...
http://arxiv.org/abs/2009.12330.  , 2020
Link: http://arxiv.org/abs/200..
 
?
12

Incremental Verification by SMT-based Summary Repair:

Asadi, Sepideh ; Blicha, Martin ; Hyvärinen, Antti..
#PLACEHOLDER_PARENT_METADATA_VALUE#.  , 2020
Link: https://hdl.handle.net/2..
 
?
13

Proceedings of the Sixth Workshop on Horn Clauses for Verif..:

Angelis, Emanuele De ; Fedyukovich, Grigory ; Tzevelekos, Nikos.
info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.296.  , 2020
Link: https://publikationen.bi..
 
?
14

TOOLympics 2019 : An overview of competitions in formal met..:

Bartocci, Ezio ; Beyer, Dirk ; Black, Paul E...
Lecture Notes in Computer Science, 0302-9743.  , 2019
Link: http://urn.kb.se/resolve..
 
?
15

Proceedings of the Sixth Workshop on Horn Clauses for Verif..:

De Angelis, Emanuele ; Fedyukovich, Grigory ; Tzevelekos, Nikos.
http://arxiv.org/abs/1907.03523.  , 2019
Link: http://arxiv.org/abs/190..
 
1-15