Functional monitoring of SoC with dynamic actualization of behavioral model. - Pavel Kustarev; Sergey Bikovsky; Vasiliy Pinkevich (MECO, 2015)

Using Architectural Abstractions in Embedded System Design. - Vasiliy Pinkevich; Alexey Platunov (WiPiEC Journal, 2015)

Model-driven functional testing of cyber-physical systems using deterministic replay techniques. - Vasiliy Pinkevich; Alexey Platunov (ICPS, 2018)

Smart Home Systems Design Approach with the Thermal Management Problem Example. - Andrey Tsaplin; Alexey Platunov; Vasiliy Pinkevich (MICSECS, 2019)

Method for Testing and Debugging Flow Formal Specification in Full-Stack Embedded Systems Designs. - Vasiliy Pinkevich; Alexey Platunov (MECO, 2020)

Design of Embedded and Cyber-Physical Systems Using a Cross-Level Microarchitectural Pattern of the Computational Process Organization. - Vasiliy Pinkevich; Alexey Platunov (MICSECS, 2020)

Training Laboratories with Online Access on the ITMO.cLAB Platform. - Alexey Platunov; Arkady Kluchev; Vasiliy Pinkevich; Vladislav Kluchev; Maxim Kolchurin (MICSECS, 2020)

How to Improve IT Specialists Training for Designing Cyber-Physical Systems. - Vasiliy Pinkevich; Alexey Platunov; Arkady Kluchev (MECO, 2021)