Courses – Artificial Intelligence in Program Testing and Analysis, 2025/26 Academic year – Joint Department with the RAS Institute for System Programming – HSE University

A
A
A

ABC
ABC
ABC

А
А
А
А
А

Regular version of the site

Book

ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Edited by: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Article

A Survey of Software Dynamic Analysis Methods
In press

Programming and Computer Software. 2024. Vol. 50. P. 90-114.

Book chapter

Graph Neural Network for Crawling Target Nodes in Social Networks

Danil Shaikhelislamov, Denis Turdakov.

In bk.: 2022 Ivannikov Ispras Open Conference (ISPRAS). IEEE, 2022. P. 31-36.

Working paper

Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

All publications

Delivered by:: Joint Department with the RAS Institute for System Programming

Type:

When: