Mikhail J. Moiseev

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 6

Top Topics

Static Analysis

Defect Detection

Top Venues

Autom. Control. Comput. Sci.

Publications

Vinayak Honkote, Dileep Kurian, Sriram Muthukumar, Dibyendu Ghosh, Satish Yada, Kartik Jain, Bradley Jackson, Ilya Klotchkov, Mallikarjuna Rao Nimmagadda, Shreela Dattawadkar, Pranjali Deshmukh, Ankit Gupta, Jaykant Timbadiya, Ravi Pali, Karthik Narayanan, Saksham Soni, Saransh Chhabra, Praveen Dhama, N. Sreenivasulu, Jisna Kollikunnel, Sureshbabu Kadavakollu, Vijay Deepak Sivaraj, Paolo A. Aseron, Leonid Azarenkov, Nancy Robinson, Arun Radhakrishnan, Mikhail J. Moiseev, Ganeshram Nandakumar, Akhila Madhukumar, Roman Popov, Kamakhya P. Sahu, Ramesh Peguvandla, Alberto Del Rio Ruiz, Mukesh Bhartiya, Anuradha Srinivasan, Vivek De
A Distributed Autonomous and Collaborative Multi-Robot System Featuring a Low-Power Robot SoC in 22nm CMOS for Integrated Battery-Powered Minibots. ISSCC (2019)
Tanay Karnik, Dileep Kurian, Paolo A. Aseron, Richard Dorrance, Erkan Alpman, Angela Nicoara, Roman Popov, Leonid Azarenkov, Mikhail J. Moiseev, Li Zhao, Santosh Ghosh, Rafael Misoczki, Ankit Gupta, M. Akhila, Sriram Muthukumar, Saurabh Bhandari, Satish Yada, Kartik Jain, Robert Flory, Chanitnan Kanthapanit, Eduardo Quijano, Bradley Jackson, Hao Luo, Suhwan Kim, Vaibhav A. Vaidya, Adel Elsherbini, Renzhi Liu, Farhana Sheikh, Omesh Tickoo, Ilya Klotchkov, Manoj R. Sastry, Sheldon Sun, Mukesh Bhartiya, Anuradha Srinivasan, Yatin Hoskote, Hong Wang, Vivek De
A cm-scale self-powered intelligent and secure IoT edge mote featuring an ultra-low-power SoC in 14nm tri-gate CMOS. ISSCC (2018)
Sergey I. Salishev, Andrey Barabanov, Daniil Kocharov, Pavel A. Skrelin, Mikhail J. Moiseev
Voice Activity Detector (VAD) Based on Long-Term Mel Frequency Band Features. TSD (2016)
Kirill Gagarski, Maxim Petrov, Mikhail J. Moiseev, Ilya Klotchkov
Power specification, simulation and verification of SystemC designs. EWDTS (2016)
Mikhail Glukhikh, Mikhail J. Moiseev
Fast Simulation of SystemC Synthesizable Subset. DDECS (2015)
Maxim Petrov, Kirill Gagarski, Mikhail J. Moiseev
Automatic transformation of SystemC designs to speed up simulation. EWDTS (2015)
Harald Richter, Ahmad Obeid, Mikhail Glukhikh, Mikhail J. Moiseev
Layer 1 and 2 of a ring-based, real-time network for in-vehicle communication. ICUMT (2014)
Mikhail J. Moiseev, Mikhail Glukhikh, Alexey V. Zakharov, Harald Richter
A static analysis approach to data race detection in SystemC designs. DDECS (2013)
Mikhail Glukhikh, Mikhail J. Moiseev, Sergey I. Salishev
A Static Analysis Approach for Verification of Synchronization Correctness of SystemC Designs. DSD (2013)
Mikhail J. Moiseev
Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs. SERENE (2013)
Alexey V. Zakharov, Mikhail J. Moiseev
Automatic data race detection in SystemC models. Autom. Control. Comput. Sci. 46 (7) (2012)
Mikhail J. Moiseev, Alexey V. Zakharov, Ilya Klotchkov, Sergey I. Salishev
Static analysis method for deadlock detection in SystemC designs. SoC (2011)