ru

Person Profile

Aleksei Evgenevich Platunov

professor, DSc

ITMO University, computer engineering department

Publications

  1. 13Pinkevich 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. 12Pinkevich 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. 11Tsaplin 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. 10Pinkevich 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. 9Pinkevich 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. 8Pinkevich 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. 7Pinkevich 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
  8. 6Kluchev A., Platunov A., Penskoi A. HLD methodology in embedded systems design with a multilevel reconfiguration // Proceedings - 2014 3rd Mediterranean Conference on Embedded Computing, MECO 2014 - Including ECyPS 2014 - 2014, pp. 36-39 [SJR: 0.125]
    more >>
  9. 5Platunov A., Kluchev A., Penskoi A. HLD Methodology: The Role of Architectural Abstractions in Embedded Systems Design // 14th International Multidisciplinary Scientific Geoconference SGEM 2014. GeoConference on Informatics, Geoinformatics and Remote Sensing. Conference Proceedings - 2014, Vol. 1, No. 2, pp. 209-218 [SJR: 0.217]
    more >>
  10. 4Platunov A., Penskoi A., Kluchev A. The Architectural Specification of Embedded Systems // Proceedings - 2014 3rd Mediterranean Conference on Embedded Computing, MECO 2014 - Including ECyPS 2014 - 2014, pp. 48-51 [SJR: 0.125]
    more >>
  11. 3Platunov A., Nickolaenkov A. Aspects in the design of software-intensive systems // 2012 Mediterranean Conference on Embedded Computing, MECO 2012 - 2012, pp. 84-87
  12. 2Platunov A., Nickolaenkov A., Penskoi A. Architectural representation of embedded systems // 2012 Mediterranean Conference on Embedded Computing, MECO 2012 - 2012, pp. 80-83
  13. 1Platunov A., Kustarev P. Problems of Abstract Representation of Embedded Systems at High-level Stages Design // Networked Embedded and Control System Technologies: European and Russian R and D Cooperation - Proceedings of the 1st International Workshop - NESTER 2009 In Conjunction with ICINCO 2009 - 2009, pp. 100-107