Лапутенко Андрей Владимирович
Публикации


Общее число записей - 17
1 Лапутенко А.В. Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем : Автореф. дис. ... канд. техн. наук. Томск, Томский государственный университет, 2021. 24 с.
2 Vinarskii E.M., Laputenko A.V., Evtushenko N.V. Using an SMT Solver for Checking the Completeness of FSM-Based Tests //Lecture Notes in Computer Science. 2020. Vol. 12543 : Testing software and systems. P. 289-295.
3 Широкова Е.В., Евтушенко Л.Г., Лапутенко А.В., Евтушенко Н.В. Оптимизация компонентов многомодульных систем на основе решения автоматных уравнений //Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 142.
4 Laputenko A.V. Logic Circuit Based Test Derivation for Microcontrollers //20th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices. EDM 2019 : conference proceedings. [S. l.]: IEEE, 2019. P. 70-73. URL: 10.1109/EDM.2019.8823364.
5 Gromov M.L., Prokopenko S.A., Shabaldina N.V., Laputenko A.V. Model Based JUnit Testing //20th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices. EDM 2019 : conference proceedings. [S. l.]: IEEE, 2019. P. 139-142. URL: ISBN 978-1-7281-1753-9.
6 Лапутенко А.В., Винарский Е.М. Синтез тестов для цифровых систем на высоком и низком уровнях абстракции //Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2019. № 47. С. 110-117.
7 Синтез и оптимизация цифровых схем. Часть 3. Алгоритмы на графах : учебно-методическое пособие /Громов М.Л., Прокопенко С.А., Лапутенко А.В. Томск: Издательский Дом ТГУ, 2018. 19 с.
8 Evgenii Vinarskii, Andrey Laputenko, Jorge Lopez, Natalia Kushik. Testing Digital Circuits: Studying the Increment ofthe Number of States and Estimating the FaultCoverage //19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM 2018), 29 june - 3 july 2018, Erlagol (Altai Republic) : proceedings. [S. l.], 2018. P. 220-224.
9 Andrey V. Laputenko, Timofey D. Petukhov, Nikolai A. Vasnev. Testing Microcontroller Based Physical Systems Using Finite Transition Models //19th International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices (EDM 2018), 29 june - 3 july 2018, Erlagol (Altai Republic) : proceedings. [S. l.], 2018. P. 203-206.
10 Твардовский А.С., Лапутенко А.В. О возможностях автоматного описания параллельной композиции временных автоматов //Труды Института системного программирования РАН. 2018. Т. 30, № 1. С. 25-40.
11 Лапутенко А.В., Торгаев С.Н. Сравнение производительности различных реализаций самообучающихся моделей на примере задачи классификации //Новые информационные технологии в исследовании сложных структур : материалы Двенадцатой конф. с междунар. участием, 4-8 июня 2018 г. Томск: Издательский Дом ТГУ, 2018. С. 71-72.
12 Громов М.Л., Прокопенко С.А., Лапутенко А.В. Синтез и оптимизация цифровых схем. Часть 2. Работа с системой ABC: учебно-методическое пособие. Томск: Издательский Дом ТГУ, 2018. 18 с.
13 Laputenko A.V., Gromov M.L., Evtushenko N.V. Testing Cyber-Physical Systems Using Timed Finite State Machines //Russian Physics Journal. 2017. Vol. 59, № 12. P. 2181-2182. URL: 10.1007/s11182-017-1033-7.
14 Лапутенко А.В., Лопез Х.Е., Евтушенко Н.В. Обработка экспериментальных данных при верификации компонентов физических систем: оценка качества тестовых последовательностей //Известия вузов. Физика. 2017. Т. 60, № 11. С. 146-151.
15 Лапутенко А.В., Громов М.Л., Торгаев С.Н. Реализация и тестирование системы сигнализации на базе микроконтроллера STM32F407VG //Известия вузов. Физика. 2016. Т. 59, № 8/2. С. 61-64.
16 А.В. Лапутенко, М.Л. Громов, С.Н. Торгаев. Реализация и тестирование системы сигнализации на базе микроконтроллера STM32F407VG //Новые информационные технологии в исследовании сложных структур : материалы 11-й международной конференции, 6–10 июня 2016 г. Томск: Издательский Дом ТГУ, 2016. С. 33.
17 М.Л. Громов , А.В. Лапутенко . Проверка свойств конечных автоматов с помощью набора инструментов MCRL2 //Известия вузов. Физика. 2015. Т. 58, № 11/2. С. 65-69.