Search
Computing, Telecommunications and Control
Computing, Telecommunications and Control
Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2687-0517
Английский
Русский
Version for the visually impaired
About the journal
Editorial board
All issues
Guide for Authors
Menu
Submission contents and structure
Formatting guidelines
Submission
Peer review
References
Article abstract
Lisence Agreement
Publication ethics
Artificial Intelligence
Journal metrics
News
Contact us
Author
Vladimir M. Itsykson
Submit Your Paper
Publication schedule
№1 March 2025
№2 June 2025
№3 September 2025
№4 December 2025
Latest issues
2024
,
Volume 17
Issue 4
Full text
2024
,
Volume 17
Issue 3
Full text
2024
,
Volume 17
Issue 2
Full text
2024
,
Volume 17
Issue 1
Full text
Vladimir M. Itsykson
Position
Associate professor
Affiliation
Peter the Great St.Petersburg Polytechnic University
Degree
PhD in Technical Sciences
Publications
Scopus ID
ELIBRARY ID
Researcher ID
Orcid ID
The formalism for description of the partial specifications of program envinroment components
Computer Systems and Software
Itsykson V.M.
Zozulya A.V.
Year: 2011
Issue: 4
0
7017
Pages: 81-90
A program component behavior specification language
Computer Systems and Software
Itsykson V.M.
Glukhikh M.I.,
Year: 2010
Issue: 3
0
7130
Pages: 63-70
Source code modification technology based on parametrized code patterns
Computer Systems and Software
Itsykson V.M.
Timofeyev D.A.
Year: 2010
Issue: 3
2
6724
Pages: 99-106
Research of C/C++ source code model extraction tools
Computer Systems and Software
Itsykson V.M.
Glukhikh M.I.,
Zozulya A.V.
Vlasovskikh A.S.
Year: 2009
Issue: 1
0
6687
Pages: 123-130
Research on tools for automation of defects detection in program source code
Computer Systems and Software
Itsykson V.M.
Moiseev M.Yu.
Tsesko V.A.
Karpenko A.V.
Year: 2008
Issue: 5
0
6563
Pages: 119-127
Automatic model checking based defect detection
Computer Systems and Software
Itsykson V.M.
Zaharov A.V.
Akhin M.K.
Myasnov A.V.
Year: 2008
Issue: 5
0
6334
Pages: 127-133
Conference “Tools & Methods of Program Analysis – 2013”
Conference «Tools & Methods of Program Analysis – 2013»
Itsykson V.M.
Year: 2014
Issue: 2
1
6263
Pages: 129-129
Automatic generation of software bug fixes based on analysis of software repositories
Software of Computer, Telecommunications and Control Systems
Belskii A.
Itsykson V.M.
Year: 2020
Volume: 13
Issue: 2
29
5423
Pages: 35-48