Publication schedule
  • №3 September 2025
  • №4 December 2025
M. Itsykson Vladimir
M. Itsykson Vladimir
Position
Associate professor
Affiliation
Peter the Great St.Petersburg Polytechnic University
Degree
PhD in Technical Sciences
Publications
Scopus ID
36237396900
РИНЦ ID
333305
Researcher ID
N-8983-2014

The formalism for description of the partial specifications of program envinroment components

Computer Systems and Software
  • Year: 2011
  • Issue: 4
  • 0
  • 8103
  • Pages: 81-90

A program component behavior specification language

Computer Systems and Software
  • Year: 2010
  • Issue: 3
  • 0
  • 8226
  • Pages: 63-70

Source code modification technology based on parametrized code patterns

Computer Systems and Software
  • Year: 2010
  • Issue: 3
  • 2
  • 7845
  • Pages: 99-106

Research of C/C++ source code model extraction tools

Computer Systems and Software
  • Year: 2009
  • Issue: 1
  • 0
  • 7791
  • Pages: 123-130

Research on tools for automation of defects detection in program source code

Computer Systems and Software
  • Year: 2008
  • Issue: 5
  • 0
  • 7648
  • Pages: 119-127

Automatic model checking based defect detection

Computer Systems and Software
  • Year: 2008
  • Issue: 5
  • 0
  • 7386
  • Pages: 127-133

Conference «Tools & Methods of Program Analysis — 2013»

Conference «Tools & Methods of Program Analysis — 2013»
  • Year: 2014
  • Issue: 2
  • 1
  • 7167
  • Pages: 129-129

Automatic generation of software bug fixes based on analysis of software repositories

Software of Computer, Telecommunications and Control Systems
  • Year: 2020
  • Volume: 13
  • Issue: 2
  • 29
  • 6490
  • Pages: 35-48