• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Препринты
  • Preventive Model-based Verification and Repairing for SDN Requests
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
9 сентября 2026 г.
В НИУ ВШЭ разработали методику оценки результативности адвокатов в уголовном судопроизводстве
Наличие хорошего адвоката для защиты в уголовном деле во многом определяет, сохранит ли его доверитель свободу, здоровье и доброе имя. Исследователи НИУ ВШЭ предложили прогнозировать результативность адвоката по итогам его деятельности в прежних процессах. Разработанная ими методика учитывает тяжесть обвинений, сложность дел и наиболее вероятный исход с учетом данных судебной статистики.
9 сентября 2026 г.
Исследователи НИУ ВШЭ оценили вклад стран БРИКС в ведущие конференции по машинному обучению
Наукометрический центр НИУ ВШЭ проанализировал более 104 тысяч работ за 2020–2025 годы, которые были представлены на десяти конференциях высшего уровня A* по рейтингу ICORE 2026. Исследователи изучили вклад Бразилии, России, Индии, Китая и ЮАР: на эти страны пришлось около 40,8 тысячи публикаций — 39,2% от всего массива. Однако распределение крайне неравномерно, и единого исследовательского пространства БРИКС пока нет.
8 сентября 2026 г.
Алгебра, геометрия, ИИ: российские и вьетнамские математики обсудили современные исследования
Делегация ученых из Ханоя посетила ФКН НИУ ВШЭ, а затем приняла участие в российско-вьетнамской конференции в Санкт-Петербурге. Мероприятия стали частью трехлетнего проекта «Гибкость и вычислительные методы». За время его реализации исследователи подготовили совместные публикации и получили новые математические результаты.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Preventive Model-based Verification and Repairing for SDN Requests

2020.
Burdonov I., Kossachev A., Nina Yevtushenko, L´opez J., Kushik N., Zeghlache D.
Язык: английский
Текст на другом сайте
Ключевые слова: VerificationSoftware Defined NetworkingRepairingGraph paths
Похожие публикации
Simulation Model Validation Based on Ontological Engineering Methods
Замятина Е. Б., Denis Churin, Ланин В. В. и др., , in: Proceedings of the 14th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - (Volume 2) KEODVol. 2: KEOD.: SciTePress, 2022. P. 237–244.
Добавлено: 24 октября 2022 г.
Making Weak Memory Models Fair
Lahav O., Namakonov E., Oberhauser J. и др., Proceedings of the ACM on Programming Languages 2021 Vol. 5 No. OOPSLA Article 98
Добавлено: 2 февраля 2022 г.
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021)
Евтушенко Н. В., Burdonov I., Kossachev A. и др., SCITEPRESS – Science and Technology Publications, 2021.
Добавлено: 25 октября 2021 г.
A Petri net extension for systems of concurrent communicating agents with durable actions
Mecheraoui K., Ломазова И. А., Belala N., Journal of Parallel and Distributed Computing 2021 Vol. 155 P. 14–23
Добавлено: 13 мая 2021 г.
2018 19th International Workshop on Microprocessor and SOC Test and Verification (MTV)
Austin: IEEE Computer Society, 2018.
Добавлено: 3 июля 2019 г.
«Пороги» между доходными группами: результаты анализа рисков бедности
Слободенюк Е. Д., В кн.: Модель доходной стратификации российского общества: динамика, факторы, межстрановые сравнения.: Издательство Нестор-История, 2018. Гл. 1.4 С. 93–116.
Глава посвящена вопросу того, какой именно должна быть черта бедности в ее монетарном относительном выражении в доле от медианы среднедушевых доходов по стране. В западных исследованиях, посвященных проблематике доходной стратификации, используются различные величины, колеблющиеся в пределах 0,5 - 0,75 от медианы среднедушевого дохода. На основе данных о рисках бедности делается вывод о том, что черта ...
Добавлено: 16 апреля 2019 г.
2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV)
IEEE, 2015.
Добавлено: 18 июля 2018 г.
2017 18th International Workshop on Microprocessor and SOC Test and Verification (MTV)
IEEE, 2017.
Добавлено: 18 июля 2018 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору