Фильтр
статья в сборнике материалов конференции

Поиск результатов

  • 2020

    An ontology-based approach to support formal verification of concurrent systems

    Garanina, N., Anureev, I., Sidorova, E., Koznov, D., Zyubin, V. & Gorlatch, S., 1 сен 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (ред.). Springer Nature, стр. 114-130 17 стр. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); том 12232 LNCS).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • FPGA Based Modeling of Tohoku Tsunami Using Nested Grids

    Lavrentiev, M., Lysakov, K., Marchuk, A., Oblaukhov, K. & Shadrin, M., 5 окт 2020, 2020 Global Oceans 2020: Singapore - U.S. Gulf Coast. Institute of Electrical and Electronics Engineers Inc., 9389177. (2020 Global Oceans 2020: Singapore - U.S. Gulf Coast).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • 2019

    Dependence of nearshore tsunami heights maxima on the source location

    Lavrentiev, M., Lysakov, K., Marchuk, A., Oblaukhov, K. & Shadrin, M., июн 2019, OCEANS 2019 - Marseille, OCEANS Marseille 2019. Institute of Electrical and Electronics Engineers Inc., 8867113. (OCEANS 2019 - Marseille, OCEANS Marseille 2019; том 2019-June).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • 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., окт 2019, SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings. Institute of Electrical and Electronics Engineers Inc., стр. 466-471 6 стр. 8958127. (SIBIRCON 2019 - International Multi-Conference on Engineering, Computer and Information Sciences, Proceedings).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • LabVIEW-based automatic verification of process-oriented software

    Liakh, T., Rozov, A. & Zyubin, V., 1 апр 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).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

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

    Anureev, I., Garanina, N., Liakh, T., Rozov, A., Schulte, H. & Zyubin, V., 1 апр 2019, 2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings. Stukach, O. (ред.). Institute of Electrical and Electronics Engineers Inc., 6 стр. 8729633. (2019 International Siberian Conference on Control and Communications, SIBCON 2019 - Proceedings).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers

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

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • Two-Step Deductive Verification of Control Software Using Reflex

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

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    3 Цитирования (Scopus)
  • 2018

    FPGA-based modelling of the tsunami wave propagation at South Japan water area

    Lysakov, K., Lavrentiev, M., Marchuk, A., Oblaukhov, K. & Shadrin, M., 4 дек 2018, 2018 OCEANS - MTS/IEEE Kobe Techno-Oceans, OCEANS - Kobe 2018. Institute of Electrical and Electronics Engineers Inc., 5 стр. 8559365

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    1 Цитирования (Scopus)
  • 2017

    DYNAMIC KEYPOINT-BASED ALGORITHM OF OBJECT TRACKING

    Morgacheva, A. I., Kulikov, V. A. & Kosykh, V. P., мая 2017, INTERNATIONAL WORKSHOP PHOTOGRAMMETRIC AND COMPUTER VISION TECHNIQUES FOR VIDEO SURVEILLANCE, BIOMETRICS AND BIOMEDICINE. Zheltov, S., Vizilter, Y. & Knyaz (ред.). Copernicus Gesellschaft mbH, стр. 79-82 4 стр. (International Archives of the Photogrammetry Remote Sensing and Spatial Information Sciences; том 42-2).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • FPGA based solution for fast tsunami wave propagation modeling

    Lavrentiev, M. M., Romanenko, A. A., Oblaukhov, K. K., Marchuk, A. G., Lysakov, K. F. & Shadrin, M. Y., 2017, Proceedings of the 27th International Ocean and Polar Engineering Conference, ISOPE 2017. Society of Petroleum Engineers, стр. 924-929 6 стр.

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    8 Цитирования (Scopus)
  • Implementation of Mac-Cormack scheme for the fast calculation of tsunami wave propagation

    Lavrentiev, M. M., Romanenko, A. A., Oblaukhov, K. K., Marchuk, A. G., Lysakov, K. F. & Shadrin, M. Y., 25 окт 2017, OCEANS 2017 - Aberdeen. Institute of Electrical and Electronics Engineers Inc., Том 2017-October. стр. 1-5 5 стр. (OCEANS-IEEE).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

    4 Цитирования (Scopus)
  • 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., стр. 380-384 5 стр.

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование

  • 2015

    Soft mode behavior in lead germanate studied by terahertz time-domain spectroscopy

    Antsygin, V. D., Mamrashev, A. A., Nikolaev, N. A. & Potaturkin, O. I., 11 ноя 2015, IRMMW-THz 2015 - 40th International Conference on Infrared, Millimeter, and Terahertz Waves. Institute of Electrical and Electronics Engineers Inc., 7327643. (IRMMW-THz 2015 - 40th International Conference on Infrared, Millimeter, and Terahertz Waves).

    Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаярецензирование