1. DSpace at Saint Petersburg State University

Просмотр собрания по группе - Авторы Мордвинов Дмитрий Александрович

Перейти к: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
или введите несколько первых букв:  
Результаты 1 по 13 из 13
Предварительный просмотрДата выпускаНазваниеАвтор(ы)
2023Application of bidirectional symbolic execution to inference of inductive invariants in KLEE symbolic virtual machineГригорьев Савелий Алексеевич; Grigorev Savelij Alekseevic
2017Compiling verified F* programs to robust web applicationsПолубелова Марина Игоревна; Polubelova Marina
2018Concurrency execution of MAK-obfuscated programsБабанов Петр Андреевич; Babanov Petr
2022Constraints management in V# symbolic virtual machineПаршин Максим Алексеевич; Parsin Maksim Alekseevic
2023Design and implementation of the universal symbolic virtual machineПоспелов Сергей Андреевич; Pospelov Sergej Andreevic
2024Development of taint analysis for the KLEE symbolic machineКозловцева Мария Сергеевна; Kozlovceva Maria Sergeevna
2023Development of the tool for automatic isolation of LLVM code under testШмидт Светлана Андреевна; Smidt Svetlana Andreevna
2024Dynamic symbolic execution for PythonТочилина Екатерина Николаевна; Tocilina Ekaterina Nikolaevna
reviewSV_201818.JPG.jpg2017Integration of Python programming into TRIK educational solutionsБелков Роман Владимирович; Belkov Roman
2016Programming environment for TRIK Studio robotsМордвинов Дмитрий Александрович
2018Programming library for heterogeneous embedded architecturesКиргизов Григорий Валерьевич; Kirgizov Grigorii
2017Support for debugging textual programming languages in TRIK StudioМалютин Данила Павлович; Malyutin Danila
2024Synthesis of object initialisation code for symbolic executionПаршин Максим Алексеевич; Parsin Maksim Alekseevic
Результаты 1 по 13 из 13