ru

Laboratory of Architecture and Design Techniques for Embedded Systems and Systems on Chip

Adaptive and Nonlinear Control Systems Lab

  1. Home
  2. Person list

Person Profile

Vasiliy Pinkevich


Publications

  1. 8Pinkevich V., Platunov A. Method for Testing and Debugging Flow Formal Specification in Full-Stack Embedded Systems Designs // 9th Mediterranean Conference on Embedded Computing, MECO 2020 - Proceedings - 2020, pp. 9134213
    more >>
  2. 7Pinkevich V.Y., Platunov A.E., Penskoi A.V. The Approach to Design of Problem-Oriented Reconfigurable Hardware Computational Units // Wave Electronics and its Application in Information and Telecommunication Systems (WECONF 2020) - 2020, pp. 9131512
    more >>
  3. 6Tsaplin A., Platunov A., Pinkevich V. Smart Home Systems Design Approach with the Thermal Management Problem Example // CEUR Workshop Proceedings - 2020, Vol. 2590, pp. 1-8 [SJR: 0.177]
    more >>
  4. 5Pinkevich V., Platunov A. Model-Driven Functional Testing of Cyber-Physical Systems Using Deterministic Replay Techniques // Proceedings 2018 IEEE Industrial Cyber-Physical Systems (ICPS) - 2018, pp. 141-146
    more >>
  5. 4Pinkevich V., Platunov A., Bykovskii S. Computational process specification model for embedded systems testing and debug with record and deterministic replay // 18th International Multidisciplinary Scientific GeoConference Surveying Geology and Mining Ecology Management, SGEM-2018 - 2018, Vol. 18, No. 2.1, pp. 231-238 [SJR: 0.217]
    more >>
  6. 3Pinkevich V., Yanalov R., Platunov A. Hardware computational units design with combined debug capabilities // 17th International Multidisciplinary Scientific GeoConference, SGEM 2017 - 2017, Vol. 17, No. 21, pp. 77-84 [SJR: 0.217]
    more >>
  7. 2Kustarev P., Bikovsky S., Pinkevich V. Functional monitoring of SoC with dynamic actualization of behavioral model // Proceedings - 2015 4th Mediterranean Conference on Embedded Computing, MECO 2015 - Including ECyPS 2015, BioEMIS 2015, BioICT 2015, MECO-Student Challenge 2015 - 2015, pp. 85-88
    more >>
  8. 1Pinkevich V., Platunov A. Using architectural abstractions in embedded system design // Proceedings of the 4th Mediterranean Conference on Embedded Computing (MECO 2015), Works in Progress in Embedded Computing (CD ROM) - 2015, Vol. 1, No. 1, pp. 3-6