Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kostyukov, Yurii
10  Ergebnisse:
Personensuche X
?
1

KLEEF: Symbolic Execution Engine (Competition Contribution):

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Misonizhnik, Aleksandr ; Morozov, Sergey ; Kostyukov, Yurii... - p. 314-319 , 2024
Link: https://doi.org/10.1007/..
 
?
2

Beyond the elementary representations of program invariants..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Kostyukov, Yurii ; Mordvinov, Dmitry ; Fedyukovich, Grigory - p. 451-465 , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

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..
 
?
4

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..
 
?
5

Automatic verification of heap-manipulating programs:

Kostyukov, Yurii ; Batoev, Konstantin ; Mordvinov, Dmitry..
http://arxiv.org/abs/1906.10204.  , 2019
Link: http://arxiv.org/abs/190..
 
?
6

Artifact Evaluation for "Beyond the Elementary Representati..:

Yurii Kostyukov ; Dmitry Mordvinov ; Grigory Fedyukovich
doi:10.5281/zenodo.4663104.  , 2021
Link: https://zenodo.org/recor..
 
?
7

Generation of the weakest preconditions of programs with dy..:

Aleksandr V. Misonizhnik ; Yurii O. Kostyukov ; Michael P. Kostitsyn..
https://ntv.ifmo.ru/file/article/21527.pdf.  , 2022
Link: https://doi.org/10.17586..
 
?
8

Central Commands to the Elbow and Shoulder Muscles During C..:

Kostyukov, Alexander I. ; Gorkovenko, Andriy V. ; Kulyk, Yurii A....
Frontiers in Physiology.  13 (2022)  - p. , 2022
Link: https://doi.org/10.3389/..
 
?
9

Central Commands to the Elbow and Shoulder Muscles During C..:

Kostyukov, Alexander I ; Gorkovenko, Andriy V ; Kulyk, Yurii A...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9160871/.  , 2022
Link: http://www.ncbi.nlm.nih...
 
?
10

Central Commands to the Elbow and Shoulder Muscles During C..:

Alexander I. Kostyukov ; Andriy V. Gorkovenko ; Yurii A. Kulyk...
https://www.frontiersin.org/articles/10.3389/fphys.2022.864404/full.  , 2022
Link: https://doi.org/10.3389/..
 
1-10