| Issue Date | Title | Author(s) |
| 2023 | Method to Recovery Temporal Event Diagram Workflow Model in Computer-Aided Design | Voit, N.; Bochkov, S. |
| 2018 | Remote Verification of Digital Systems Projects using Cluster Computers | Cheremisinov, D. I.; Cheremisinova, L. D. |
| 2012 | SAT based approaches to verification of logical descriptions with functional indeterminacy | Cheremisinova, L. D.; Черемисинова Л. Д. |
| 2011 | Searching for Optmal Synchronizing Sequences for Testng Logic Circuits | Cheremisinova, L. D.; Черемисинова Л. Д. |
| 2022 | Static signature verification based on machine learning | Аkhundjanov, U. Y.; Starovoitov, V. V. |
| 2021 | Верификация прикладного программного обеспечения УСБ АЭС посредством САПР GET-R1 | Селиверстов, Е. С.; Галицын, Ю. С.; Иванова, А. А.; Seliverstov, E. S.; Galitsyn, Y. S.; Ivanova, A. A. |
| 2020 | Глубокий анализ и декомпиляция КМОП-схемы на транзисторном уровне в иерархическую схему из логических элементов | Черемисинов, А. А.; Черемисинова, Л. Д. |
| 2021 | Квалификация, верификация и валидация | Агафонов, С. А.; Кузнецов, А. Н.; Останин, С. М.; Agafonov, S. A.; Kuznetsov, A. N.; Ostanin, S. M. |
| 2016 | О двух классах семантической корреляции, наблюдаемых в функциональных семантических сетях | Савкин, Л. В. |
| 2022 | Тестирование имитационных моделей | Гацко, А. А.; Медведев, О. С.; Коркин, Л. Р. |
