1 - 10 out of 10Page size: 10
  1. 2022

  2. Semantic Image Segmentation Methods in the Duckietown Project

    Lanchukovskaya, K. S., Shabalina, D. E. & Liakh, T. V., 2022, Proceedings of the 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials, EDM 2022. IEEE Computer Society, p. 611-617 7 p. (International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM; vol. 2022-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  3. 2019

  4. Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems

    Liakh, T., Anureev, I., Rozov, A., Garanina, N. & Zyubin, V., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 466-471 6 p. 8958127. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  5. Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers∗

    Rozov, A., Anureev, I., Garanina, N., Liakh, T. & Zyubin, V., Oct 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 857-861 5 p. 8958258. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  6. LabVIEW-based automatic verification of process-oriented software

    Liakh, T., Rozov, A. & Zyubin, V., 1 Apr 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8729596. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  7. Towards safe cyber-physical systems: The reflex language and its transformational semantics

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Schulte, H. & Zyubin, V., Apr 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Stukach, O. (ed.). Institute of Electrical and Electronics Engineers Inc., 6 p. 8729633. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  8. Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators

    Lyakh, T. V., Zyubin, V. E. & Garanina, N. O., 1 Mar 2019, In: Optoelectronics, Instrumentation and Data Processing. 55, 2, p. 189-197 9 p.

    Research output: Contribution to journal › Article › peer-review

  9. Model-driven methods to design of reliable multiagent cyber-physical systems

    Staroletov, S., Shilov, N., Zyubin, V., Liakh, T., Rozov, A., Konyukhov, I., Shilov, I., Baar, T. & Schulte, H., 1 Jan 2019, In: CEUR Workshop Proceedings. 2478, p. 74-91 18 p.

    Research output: Contribution to journal › Conference article › peer-review

  10. Two-Step Deductive Verification of Control Software Using Reflex

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Zyubin, V. & Gorlatch, S., 1 Jan 2019, Perspectives of System Informatics - 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Bjørner, N., Virbitskaite, I. & Voronkov, A. (eds.). Springer International Publishing AG, p. 50-63 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11964 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

  11. Мобильное приложение непрерывной передачи видеоданных в облачные сервисы

    Лях, Т. В. & Марченко, К. В., 2019, In: Вестник Новосибирского государственного университета. Серия: Информационные технологии. 17, 1, p. 53-60 8 p.

    Research output: Contribution to journal › Article › peer-review

  12. 2017

  13. Verification of industrial control algorithms in virtual laboratory stands

    Liakh, T. & Zyubin, V., 2017, 29th European Modeling and Simulation Symposium, EMSS 2017, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2017. CAL-TEK S.r.l., p. 380-384 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

ID: 3440496