Follow
Mikhail Glukhikh
Mikhail Glukhikh
Associate professor, Saint Petersburg Polytechnical University
Verified email at kspt.icc.spbstu.ru
Title
Cited by
Cited by
Year
Программная инженерия. Обеспечение качества программных средств методами статического анализа: учебное пособие
МИ Глухих, ВМ Ицыксон
282011
Использование зависимостей для повышения точности статического анализа программ
МИ Глухих, ВМ Ицыксон, ВА Цесько
Моделирование и анализ информационных систем 18 (4), 68-79, 2011
172011
Detection of incorrect pointer dereferences for C/C++ programs using static code analysis and logical inference
T Vert, T Krikun, M Glukhikh
2013 Tools & Methods of Program Analysis, 78-82, 2013
102013
A static analysis approach to data race detection in systemc designs
M Moiseev, M Glukhikh, A Zakharov, H Richter
2013 IEEE 16th international symposium on design and diagnostics of…, 2013
102013
Using dependencies to improve precision of code analysis
MI Glukhikh, VM Itsykson, VA Tsesko
Automatic Control and Computer Sciences 46, 338-344, 2012
102012
On Requirements for Acceptance Testing Automation Tools in Behavior Driven Software Development
E Pyshkin, M Mozgovoy, M Glukhikh
SECR-2012, http://2012.secr.ru, 2012
82012
Ispol'zovanie zavisimostei dlya povysheniya tochnosti staticheskogo analiza programm [The use of dependencies for improving the precision of program static analysis]
MI Glukhikh, VM Itsykson, VA Tses' ko
Modelirovanie i analiz informa-tsionnykh sistem–Modeling and Analysis of…, 2011
82011
The use of dependencies for improving the precision of program static analysis
MI Glukhikh, VM Itsykson, VA Tsesko
Modeling and analysis of information systems 18 (4), 68-79, 2011
72011
An Approach for the Reliability Analysis of Automotive Control Systems
M Glukhikh, M Moiseev, H Richter
tu-clausthal. de, 51-56, 2011
62011
" Plasma Quest" code for pulse scenario synthesis and transient electromagnetic studies in tokamaks
MI Glukhikh, SN Sadakov
Plasma Devices and Operations 11 (1), 57-70, 2003
42003
Организация и проектирование высоконадежных вычислительных систем
МИ Глухих, СЛ Максименко, ВФ Мелехин, АС Филиппов
Информатика, телекоммуникации и управление, 54-61, 2011
32011
Fast simulation of systemc synthesizable subset
M Glukhikh, M Moiseev
2015 IEEE 18th International Symposium on Design and Diagnostics of…, 2015
22015
Layer 1 and 2 of a ring-based, real-time network for in-vehicle communication
H Richter, A Obeid, M Glukhikh, M Moiseev
2014 6th International Congress on Ultra Modern Telecommunications and…, 2014
22014
Автоматизация анализа надежности невосстанавливаемых информационно-управляющих систем
МИ Глухих, МЮ Моисеев, ИВ Егоров, ТС Крикун
Информатика, телекоммуникации и управление, 81-90, 2012
12012
3D Automated Anatomically Correct Face Reconstruction: Facial Feature Points Positioning and Motion Analysis
I Dorofeev, M Glukhikh
2015
A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs
M Glukhikh, M Moiseev, S Salishev
2013 Euromicro Conference on Digital System Design, 89-96, 2013
2013
A STATIC ANALYSIS APPROACH FOR FORMAL VERIFICATION OF SYSTEMC DESIGNS
M GLUKHIKH, M MOISEEV, H RICHTER
CrISS-DESSERT 2013, http://www.stc-dessert.co, 2013
2013
Software reliability estimation based on static error detection
M Glukhikh, M Moiseev, A Karpenko, H Richter
2011 7th Central and Eastern European Software Engineering Conference (CEE…, 2011
2011
РАЗРАБОТКА МОДЕЛИ ДЛЯ АНАЛИЗА НАДЕЖНОСТИ СТРУКТУРНО-СЛОЖНОЙ СИСТЕМЫ
ТС Крикун, ИВ Егоров, МИ Глухих
ФАКУЛЬТЕТ ТЕХНИЧЕСКОЙ КИБЕРНЕТИКИ СЕКЦИЯ КОМПЬЮТЕРНЫЕ СИСТЕМЫ И…, 2011
2011
РАЗРАБОТКА ПРОТОТИПА СИСТЕМЫ АВТОМАТИЧЕСКОГО СОСТАВЛЕНИЯ РАСПИСАНИЯ С ИСПОЛЬЗОВАНИЕМ ГЕНЕТИЧЕСКОГО АЛГОРИТМА
АР Коссаковский
ФАКУЛЬТЕТ ТЕХНИЧЕСКОЙ КИБЕРНЕТИКИ СЕКЦИЯ КОМПЬЮТЕРНЫЕ СИСТЕМЫ И…, 2011
2011
The system can't perform the operation now. Try again later.
Articles 1–20