Ицыксон Владимир Михайлович

Ицыксон Владимир Михайлович
доцент, кандидат технических наук
профессор (квалификационная категория "профессор практики"), институт прикладных компьютерных наук

Преподаваемые дисциплины в текущем учебном году

  • Встреча на факультете/ОП

Педагогический стаж

Общий стаж:
26 лет

Публикации

12
Статья
2024 год

Feofilaktov V., Itsykson V. SPIDER: Specification-based Integration Defect Revealer. Communications in Computer and Information Science. 2024. Vol. 1559. pp. 107-119.

Статья
2023 год

Alekseev Y., Onischuck M., Zorin A., Chernyi V., Iliyn E., Itsykson V. ATSM: A coverage-based framework and a tool for test suite minimization. Journal of Software: Evolution and Process. 2023. Vol. 35. No. 10. pp. e2621.

Статья
2022 год

Степанов Д.С., Ицыксон В.М. Поиск дубликатов ошибок компиляторов методом генерации программ-свидетелей . Программная инженерия. 2022. Т. 14. № 4. С. 165-174.

Статья
2022 год

Abdullin A.M., Itsykson V.M. Kex: A Platform For Analysis Of JVM Programs. Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy]. 2022. No. 1(116). pp. 30-43.

Статья
2022 год

Abdullin A.M., Itsykson V.M. Reanimator: from Test Data to Code and Bac. Программная инженерия. 2022. Vol. 13. No. 10. pp. 483-496.

Статья
2022 год

Stepanov D.S., Itcykson V.M. Backend Bug Finder — a platform for effective compiler fuzzing. Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy]. 2022. No. 6(121). pp. 31-40.

Статья
2021 год

Itsykson V. Partial Specifications of Libraries: Applications in Software Engineering. Communications in Computer and Information Science. 2021. Vol. 1288. pp. 3-25.

Статья
2021 год

Ицыксон В.М. Generation of Test-Based Traces for Automated Partial Software Specifications Extraction. Communications in Computer and Information Science. 2021. Vol. 1288. pp. 203-208.

Статья
2021 год

Itsykson V., Онищук М. Generator of automated tools for program instrumentation. CEUR Workshop Proceedings. 2021. Vol. 2953. pp. 31-37.

Статья
2020 год

Itsykson V., Алексюк А.О. Automated Cross-Language Integration Based on Formal Model of Components. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2020. Vol. 12271 LNCS. pp. 357-370.

Статья
2020 год

Belskii A., Itsykson V.M. Automatic generation of software bug fixes based on analysis of software repositories. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2020. Vol. 13. No. 2. pp. 35-48.

Статья
2006 год

Стручков И.В., Ицыксон В.М. Формализм для описания программных систем и вычислительных процессов циклической параллельной обработки данных реального времени. Информационно-управляющие системы. 2006. № 2(21). С. 8-13.

Повышение квалификации

Повышение квалификации
2024 год
Как общается ИТМО

Российская Федерация, Санкт-Петербург