1. 2019
  2. 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 proceedingConference contributionResearchpeer-review

  3. Dependence of tsunami wave maximal heights along a coastline on the source orientation

    Lavrentiev, M., Lysakov, K., Marchuk, A., Oblaukhov, K. & Shadrin, M., 16 Jul 2019, In: Journal of Physics: Conference Series. 1268, 1, 8 p., 012041.

    Research output: Contribution to journalConference articlepeer-review

  4. Analyzing the Efficiency of Segment Boundary Detection Using Neural Networks

    Kugaevskikh, A. V. & Sogreshilin, A. A., 1 Jul 2019, In: Optoelectronics, Instrumentation and Data Processing. 55, 4, p. 414-422 9 p.

    Research output: Contribution to journalArticlepeer-review

  5. Dependence of nearshore tsunami heights maxima on the source location

    Lavrentiev, M., Lysakov, K., Marchuk, A., Oblaukhov, K. & Shadrin, M., Jun 2019, OCEANS 2019 - Marseille, OCEANS Marseille 2019. Institute of Electrical and Electronics Engineers Inc., 8867113. (OCEANS 2019 - Marseille, OCEANS Marseille 2019; vol. 2019-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

  6. Constructive Model of Object Image Formation in Partially Coherent Light

    Chugui, Y. V., 1 May 2019, In: Optoelectronics, Instrumentation and Data Processing. 55, 3, p. 280-288 9 p.

    Research output: Contribution to journalArticlepeer-review

  7. 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 proceedingConference contributionResearchpeer-review

  8. 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 proceedingConference contributionResearchpeer-review

  9. Adaptation of the Process-Oriented Approach to the Development of Embedded Microcontroller Systems

    Rozov, A. S. & Zyubin, V. E., 1 Mar 2019, In: Optoelectronics, Instrumentation and Data Processing. 55, 2, p. 198-204 7 p.

    Research output: Contribution to journalArticlepeer-review

  10. 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 journalArticlepeer-review

  11. Fast evaluation of tsunami waves heights around kamchatka and kuril islands

    Lavrentiev, M., Lysakov, K., Marchuk, A., Oblaukhov, K. & Shadrin, M., 1 Feb 2019, In: Science of Tsunami Hazards. 38, 1, p. 1-13 13 p.

    Research output: Contribution to journalArticlepeer-review

ID: 3080771