Институт системного программирования им. В.П. Иванникова РАН


Что искать

Искать в:

Публикации
Труды ИСП РАН
Везде

Публикации за 2018 год

Монографии

  1. А. С. Камкин Введение в формальные методы верификации программ: Учебное пособие. Москва: МАКС Пресс, 2018. – 272 с.
  2. П.Н. Девянин, Д.В. Ефремов, В.В. Кулямин, А.К. Петренко, А.В. Хорошилов, И.В. Щепетков Моделирование и верификация политик безопасности управления доступом в операционных системах

Другие публикации

  1. Е.М. Лаврищева, А.Г. Рыжов Подход к моделированию систем и сайтов из готовых ресурсов Конференция "Научный сервис в сети интернет", Новороссийск, 17-22 сентября
  2. Х. Йенигун, Н. Евтушенко, Н. Кушик, Х. Лопез Влияние частичности и адаптивности на сложность задачи идентификации состояний автомата Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 7-24.
  3. А.С. Твардовский, А.В. Лапутенко О возможностях автоматного описания параллельной композиции временных автоматов Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 25-40.
  4. Н.А. Шаляпина, А.А. Зайцев, С.В. Батрацкий, М.Л. Громов Тесты на константные неисправности как веб-сервис Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 41-54.
  5. С.М. Старолетов Методы анализа вредоносного программного обеспечения под ОС Android Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 55-68.
  6. И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин, А.Н. Томилин, В.З. Шнитман Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 69-88.
  7. С.М. Авдошин, А.В. Лазаренко Методы деанонимизации пользователей биткоин Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 89-102.
  8. Б.А. Позин Принципы построения системы обеспечения жизненного цикла ответственных систем Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 103-114.
  9. М.С. Гуськова,  Л.Ю. Бараш, Л.Н. Щур Применение AVX512-векторизации для увеличения производительности генератора псевдослучайных чисел Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 115-126.
  10. В.Н. Юдин, Л.Е. Карпов Работа с неполностью описанными объектами в системах поддержки принятия решений: альтернативные подходы Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 127-136.
  11. В.А. Павлов, Б.А. Новиков Базы данных для обработки массивов: взгляд изнутри Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 137-160.
  12. Е.И. Гусев Оптимизация доступа к страницам памяти в системах, использующих программную реализацию глобального страничного кеша Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 161-182.
  13. А.Н. Нуриев, А.М. Камалутдинов, О.Н. Зайцева Численное исследование влияния формы торцов колеблющихся пластин на гидродинамическое сопротивление в диапазоне больших амплитуд колебания Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 183-194.
  14. И.К. Марчевский, В.В. Пузикова Сравнение эффективности решателей разреженных систем линейных алгебраических уравнений на основе методов BiCGStab и FGMRES Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 195-214.
  15. С.А. Дергачев Математическое моделирование эволюции завихренности при пространственном обтекании тел методом вихревых петель Труды Института системного программирования РАН. Том 30, выпуск 1, 2018 г. Стр. 215-226.
  16. Столяров А.В., Французов О.Г., Аникина А.С. Чистая компиляция как парадигма программирования Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 7-24.
  17. Бугеря А.Б., Ким Е.С., Соловьев М.А. Распараллеливание реализаций сугубо последовательных алгоритмов Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 25-44.
  18. Лозов П.А., Булычев Д.Ю. Преобразование типизированных функций в реляционную форму Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 45-64.
  19. Фокина Н.Ю., Соловьев М.А. Автоматизированная генерация декодеров машинных команд Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 65-80.
  20. Гонахчян В.И. Алгоритм удаления невидимых поверхностей на основе программных проверок видимости Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 81-98.
  21. Ефанов Д.В., Сапожников В.В., Сапожников Вл.В., Пивоваров Д.В. Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 99-112.
  22. Никешин А.В., Шнитман В.З. Обзор расширяемого протокола аутентификации и его методов Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 113-148.
  23. Азимов Р.Ш., Григорьев С.В. Синтаксический анализ графов с использованием конъюнктивных грамматик Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 149-166.
  24. Бурдонов И.Б., Косачев А.С. Проблема отката в ориентированной распределенной системе Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 167-194.
  25. Сытник А.А., Шульга Т.Э., Данилов Н.А. Онтология предметной области «Удобство использования программного обеспечения» Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 195-214.
  26. Гилязев Р.А., Турдаков Д.Ю. Активное обучение и краудсорсинг: обзор методов оптимизации разметки данных Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 215-250.
  27. Нужный А.С., Прозоров А.А., Бугаев В.И., Шувалов Н.Д., Подымов В.В. Анализ баллистокардиограммы на граничных вычислительных узлах Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 251-262.
  28. Смирнова Е.В., Марчевский И.К., Бондарчук В.О. Моделирование осесимметричных течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 в программном комплексе Kratos с открытым кодом Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 263-284.
  29. Корчагова В.Н., Фуфаев И.Н., Сауткина С.М., Лукин В.В. Математическое моделирование двумерных течений газа с использованием RKDG-метода на структурированных прямоугольных сетках Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 285-300.
  30. Авдеева А.Н., Пузикова В.В. Применение параллельных алгоритмов при численном моделировании кровотока в квазиодномерном приближении Труды Института системного программирования РАН. Том 30, выпуск 2, 2018 г. Стр. 301-316.
  31. Асрян С.А., Гайсарян С.С., Курмангалеев Ш.Ф., Агабалян А.М., Овсепян Н.Г., Саргсян С.С. Обнаружение ошибок, возникающих при использовании динамической памяти после освобождения Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 7-20.
  32. Дудина И.А. Статический анализ для поиска переполнения буфера: актуальные направления развитияалгоритмов Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 21-30.
  33. Лесовой С.Л. Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 31-46.
  34. Трифанов В.Ю. Вопросы индустриального применения синхронизационных контрактов при динамическом поиске гонок в Java-программах Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 47-62.
  35. Чебыкин А.Е., Кириленко Я.А. Применение глубокого машинного обучения к синтезу цепочки вызовов C# Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 63-86.
  36. Абакумов М.А., Довгалюк П.М. Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 87-92.
  37. Иванов А.В., Довгалюк П.М., Макаров В.А. Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 93-98.
  38. Лаврищева Е.М., Пакулин Н.В., Рыжов А.Г., Зеленов С.В. Анализ методов оценки надежности оборудования и систем. Практика применения методов Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 99-120.
  39. Чепцов В.Ю., Хорошилов А.В. Эмуляция ввода-вывода оборудования с отображением в ОЗУ внутри ядер операционных систем Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 121-134.
  40. Маллачиев К.А., Хорошилов А.В Построение модульного программного обеспечения на основе однородной компонентой модели Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 135-148.
  41. А.А. Андрюхин Методы защиты децентрализованных автономных организаций от системных отказов и атак Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 149-164.
  42. Прокопьев С.Е. Нотация криптографической стековой машины версии один Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 165-182.
  43. Лебедев Д.А., Стотланд И.А. Построение модулей проверки на основе эталонных функциональных моделей при автономной верификации подсистемы связи Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 183-194.
  44. Петроченков М.В., Муштаков Р.Е., Шпагилев Д.И. Верификация контроллеров связи в системах на кристалле Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 195-206.
  45. Зосимов В.В., Христодоров А.В., Булгакова А.С. Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 207-220.
  46. Горденко М.К., Авдошин С.М. Варианты задач китайского почтальона и их решения через преобразование в задачи маршрутизации Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 221-232.
  47. Береснева Е.Н., Авдошин С.М. Анализ математических постановок задачи маршрутизации с ограничением по грузоподъемности и методов их решения. Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 233-250.
  48. Береснева Е.Н., Горденко М.К. Применение методов системного анализа к оцениванию работы учебных ассистентов Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 251-270.
  49. Ильин Д.В., Фокина Н.Ю., Семенов В.А. Статический анализ зависимостей для семантической валидации данных Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 271-284.
  50. Нестеров Р.А., Мицюк А.А., Ломазова И.А. Симуляция поведения мультиагентных систем с ациклически взаимодействующими агентами Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 285-302.
  51. Гнатенко А.Р., Захаров В.А. О верификации конечных автоматов-преобразователей над полугруппами Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 303-324.
  52. Винарский Е.М., Захаров В.А. К проверке строго детерминированного поведения временных конечных автоматов Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 325-340.
  53. Словохотов Ю.Л., Неретин И.С. К построению модульной модели распределенного интеллекта Труды Института системного программирования РАН. Том 30, выпуск 3, 2018 г. Стр. 341-362.
  54. Головешкин А.В., Михалкович С.С. Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 7-28.
  55. Адамович И.А., Климов Анд.В. Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 29-44.
  56. Киргизов Г.В., Кириленко Я.А. Библиотека программирования гетерогенных архитектур Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 45-62.
  57. Горелиц Н.К., Гукова А.С., Песков Е.В. Критерии, предъявляемые к программному обеспечению для разработки сложных сертифицируемых систем, критичных по безопасности Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 63-78.
  58. Кулик Т., Ларсен П.Г. К формальной верификации стандартов кибербезопасности Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 79-94.
  59. Путро П.А. Совмещение ACSL спецификаций с машинным кодом Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 95-106.
  60. Карраскель Х.С., Mоралес A., Виллаполь М. Е. Prosega/CPN: расширение CPN Tools для автоматного анализа и верификации систем Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 107-128.
  61. Чупилко М.М., Дроздова Е.А. Динамическая верификация контроллеров шин систем-на-кристалле Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 129-138.
  62. Твардовский А.С., Евтушенко Н.В. К синтезу адаптивных различающих последовательностей для конечных автоматов Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 139-154.
  63. Писарев И.А., Бабенко Л.К. Анализ безопасности протокола регистрации в системе электронного голосования на основе слепых посредников с помощью инструмента Avispa Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 155-168.
  64. Поляков А.Р., Корнилова А.В., Кириленко Я.А. Автоматическая калибровка и синхронизация камеры и МЭМС-датчиков Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 169-182.
  65. Мусатян С.А., Ломакин А.В., Сартасов С.Ю., Попыванов Л.К., Монахов И.Б., Чижова А.С. Способы сегментации медицинских изображений Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 183-194.
  66. Сачков В.Е. Применение ассоциативно-семантического препроцессора в интерактивных диалоговых системах на естественном языке Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 195-208.
  67. Лазарев Д.О., Кузюрин Н.Н. Об онлайновых алгоритмах для задач упаковки в контейнеры и полосы, их анализе в худшем случае и в среднем Труды Института системного программирования РАН. Том 30, выпуск 4, 2018 г. Стр. 209-230.

Вернуться к списку всех публикаций