Vasiliy Pinkevich

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 8

Top Topics

Formal Specification

Embedded Systems

Behavioral Model

Top Venues

Publications

Vasiliy Pinkevich, Alexey Platunov, Arkady Kluchev
How to Improve IT Specialists Training for Designing Cyber-Physical Systems. MECO (2021)
Vasiliy Pinkevich, Alexey Platunov
Design of Embedded and Cyber-Physical Systems Using a Cross-Level Microarchitectural Pattern of the Computational Process Organization. MICSECS (2020)
Alexey Platunov, Arkady Kluchev, Vasiliy Pinkevich, Vladislav Kluchev, Maxim Kolchurin
Training Laboratories with Online Access on the ITMO.cLAB Platform. MICSECS (2020)
Vasiliy Pinkevich, Alexey Platunov
Method for Testing and Debugging Flow Formal Specification in Full-Stack Embedded Systems Designs. MECO (2020)
Andrey Tsaplin, Alexey Platunov, Vasiliy Pinkevich
Smart Home Systems Design Approach with the Thermal Management Problem Example. MICSECS (2019)
Vasiliy Pinkevich, Alexey Platunov
Model-driven functional testing of cyber-physical systems using deterministic replay techniques. ICPS (2018)
Pavel Kustarev, Sergey Bikovsky, Vasiliy Pinkevich
Functional monitoring of SoC with dynamic actualization of behavioral model. MECO (2015)
Vasiliy Pinkevich, Alexey Platunov
Using Architectural Abstractions in Embedded System Design. WiPiEC Journal 1 (1) (2015)