1. Generalized Net Model of DSP Real-Time Embedded System;2024 23rd International Symposium on Electrical Apparatus and Technologies (SIELA);2024-06-12
2. Reusable formal models for concurrency and communication in custom real-time operating systems;International Journal on Software Tools for Technology Transfer;2024-02-20
3. Characterizing Requirements Smells;Product-Focused Software Process Improvement;2023-12-02
4. RT DL Tasks Distribution for Sensitive Data Protection and Resource Optimization;2023 Eleventh International Conference on Intelligent Computing and Information Systems (ICICIS);2023-11-21
5. Inverse Kinematic Solver Based on Bat Algorithm for Robotic Arm Path Planning;Robotics;2023-03-09