E-LIB Suche - Ergebnisse für: Mordvinov, Dmitry

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

UnitTestBot: Automated Unit Test Generation for C Code in I..:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Ivanov, Dmitry ; Babushkin, Alexey ; Grigoryev, Saveliy... - p. 380-384 , 2023

Link: https://doi.org/10.1109/..

3

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

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

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

6

On Satisfiability of Nominal Subtyping with Variance:

Misonizhnik, Aleksandr ; Mordvinov, Dmitry
Is Part Of LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019). , 2019

Link: https://doi.org/10.4230/..

7

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

8

Verifying Safety of Functional Programs with Rosette/Unboun:

Mordvinov, Dmitry ; Fedyukovich, Grigory
http://arxiv.org/abs/1704.04558. , 2017

Link: http://arxiv.org/abs/170..

9

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

10

Artifact Evaluation for "Beyond the Elementary Representati..:

Yurii Kostyukov ; Dmitry Mordvinov ; Grigory Fedyukovich
doi:10.5281/zenodo.4663104. , 2021

Link: https://zenodo.org/recor..

11

Property-Directed Inference of Relational Invariants:

Dmitry A. Mordvinov
https://www.mais-journal.ru/jour/article/view/1276. , 2019

Link: https://doi.org/10.18255..

12

Property-Directed Inference of Relational Invariants ; Напр..:

Dmitry A. Mordvinov ; Дмитрий Александрович Мордвинов
https://www.mais-journal.ru/jour/article/view/1276/932. , 2019

Link: https://www.mais-journal..

13

TRIK studio: Technical introduction:

Dmitry Mordvinov ; Yurii Litvinov ; Timofey Bryksin
https://fruct.org/publications/fruct20/files/Mor.pdf. , 2017

Link: https://doi.org/10.23919..

14

Extracellular vesicles of the liver fluke Opisthorchis feli..:

Ponomarev, Dmitry V. ; Lishai, Ekaterina A. ; Kovner, Anna V....
Current Research in Parasitology & Vector-Borne Diseases. 4 (2023) - p. 100153 , 2023

Link: https://doi.org/10.1016/..

15

Proteomic characterization of Opisthorchis felineus exosome..:

Pakharukova, Maria Y. ; Savina, Ekaterina ; Ponomarev, Dmitry V....
Journal of Proteomics. 283-284 (2023) - p. 104927 , 2023

Link: https://doi.org/10.1016/..