| Программная инженерия. Обеспечение качества программных средств методами статического анализа: учебное пособие МИ Глухих, ВМ Ицыксон | 29 | 2011 |
| Использование зависимостей для повышения точности статического анализа программ МИ Глухих, ВМ Ицыксон, ВА Цесько Моделирование и анализ информационных систем 18 (4), 68-79, 2011 | 17 | 2011 |
| 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 | 10 | 2013 |
| 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 | 10 | 2013 |
| Using dependencies to improve precision of code analysis MI Glukhikh, VM Itsykson, VA Tsesko Automatic Control and Computer Sciences 46, 338-344, 2012 | 10 | 2012 |
| 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 | 9 | 2012 |
| 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 | 8 | 2011 |
| 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 | 8 | 2011 |
| An Approach for the Reliability Analysis of Automotive Control Systems M Glukhikh, M Moiseev, H Richter tu-clausthal. de, 51-56, 2011 | 6 | 2011 |
| " 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 | 4 | 2003 |
| Организация и проектирование высоконадежных вычислительных систем МИ Глухих, СЛ Максименко, ВФ Мелехин, АС Филиппов Информатика, телекоммуникации и управление, 54-61, 2011 | 3 | 2011 |
| Fast simulation of systemc synthesizable subset M Glukhikh, M Moiseev 2015 IEEE 18th International Symposium on Design and Diagnostics of …, 2015 | 2 | 2015 |
| 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 | 2 | 2014 |
| Автоматизация анализа надежности невосстанавливаемых информационно-управляющих систем МИ Глухих, МЮ Моисеев, ИВ Егоров, ТС Крикун Информатика, телекоммуникации и управление, 81-90, 2012 | 1 | 2012 |
| 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 |
Prof. Dr. Harald RichterChair of Technical Informatics and Computer Systems, Clausthal UniversityVerified email at tu-clausthal.de
