|
System for static analysis of SystemVerilog HDL
Ya. A. Churkin, R. A. Buchatskiy, K. N. Kitaev, A. G. Volokhov, E. V. Dolgodvorov, A. S. Kamkin, A. M. Kotsynyak, D. O. Samovarov
|
7 |
|
|
Static analysis on abstract syntax trees based on finite automata
V. N. Ignatyev
|
41 |
|
|
Modeling and analysis of the microfluidic chip
A. A. Varfolomeeva, L. A. Pyatko, S. R. Parshina
|
55 |
|
|
Functional testing of language virtual machines based on formal ISA specifications
A. S. Protsenko
|
65 |
|
|
Approach to building AI-compilers using the MLIR framework
I. I. Kulagin, R. A. Buchatskiy, M. V. Pantilimonov, A. V. Vyazovtsev, M. M. Romanov, D. M. Melnik
|
87 |
|
|
Towards a test automation framework for data race testing
E. A. Gerlits, V. S. Mutilin
|
107 |
|
|
Vulnerability detection methodology in software written in several programming languages
B. A. Pozin, P. A. Borodushkina, D. A. Korotkov, M. A. Fedorov, A. F. Muratov
|
121 |
|
|
CAD for remote high-level modeling of NoC
A. A. Amerikanov, L. G. Evtushenko, V. V. Zunin, V. M. Vinarskii
|
133 |
|
|
Deep learning for an automatic transcription system development
O. V. Goncharova
|
145 |
|
|
VeHa-2024 formal verification contest: two years of experience and prospects
D. A. Kondrat'ev, S. M. Staroletov, I. V. Shoshmina, A. V. Krasnenkova, K. V. Ziborov, N. V. Shilov, N. O. Garanina, T. Yu. Cherganov
|
159 |
|
|
Using artificial intelligence technologies to conduct psychological testing
D. D. Grigoreva, D. V. Serov, D. S. Sorokin, A. I. Martyshkin
|
185 |
|
|
Mathematical modeling of soil processes using open-source software
K. B. Koshelev, A. V. Kulinskii, S. V. Strijhak
|
201 |
|
|
The LS-STAG immersed boundary method modification for non-newtonian viscous fluids computation
I.K. Marchevsky, V. V. Puzikova
|
217 |
