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
152011
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
92012
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