• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
“Statistical and Combinatorial Analysis of the TOR Routing Protocol - Structural Weaknesses Identified in the Tor Network”

Filiol E. A., Delong M., Job N.

FORSe 2018 & 2019 Special Issue, Antonella Santone Guest editor, Journal of computer Virology and Hacking Techniques. 2020. Vol. 16. No. 1. P. 3-18.

Глава в книге
Effective Scheduling of Strict Periodic Task Sets with Given Permissible Periods in RTOS

Zelenov S. V., Zelenova S. A.

In bk.: Lecture Notes in Computer Science. Vol. 11964: Perspectives of System Informatics. Springer, 2019. P. 214-222.

Препринт
Темпоральные расширения в стандарте SQL

С.Д. Кузнецов

Препринты ИСП РАН. Институт системного программирования им. В.П. Иванникова РАН, 2017. № 30.

Тема «Департамент программной инженерии» – Новости

Названы победители конкурса на лучшую статью журнала "Труды ИСП РАН" в 2019 году

Статья Константина Дегтярева, доцента департамента программной инженерии, и Михаила Носовского, студента 4 курса ОП "Программная инженерия" Reputation Systems in E-commerce: Comparative Analysis and Perspectives to Model Uncertainty Inherent in Them признана победителем конкурса на лучшую статью журнала "Труды ИСП РАН" в 2019 году.

Поздравляем студентов и их научных руководителей с успешной защитой курсовых работ

Поздравляем студентов и их научных руководителей с успешной защитой курсовых работ
Завершились защиты курсовых работ и проектов студентов образовательной программы Программная инженерия, которые проходили с 18 апреля по 24 мая.

Подведены итоги открытого конкурса НИРС

На официальном сайте появились результаты конкурса научно-исследовательских работ студентов (НИРС) 2017 года. Публикуем список победителей и лауреатов по направлению «Компьютерные науки».

Поздравляем Андрея Дмитриевича Татарникова с успешной защитой диссертации

19 октября 2017 в ИСП РАН состоялась защита диссертации преподавателя департамента программной инженерии Татарникова Андрея Дмитриевича на тему «Автоматизация конструирования генераторов тестовых программ для микропроцессоров на основе формальных спецификаций» на соискание ученой степени кандидата технических наук по специальности 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Ершовская конференция собрала программистов со всего мира

27-29 июня в здании Российской академии наук прошла авторитетная международная ИТ-конференция, которая регулярно проводится в  России с 1991 года –  11-я Ершовская конференция по информатике PSI-2017. Ее участники съехались в Москву из многих стран мира, чтобы обсудить актуальные вопросы программирования, лежащие на стыке прикладной науки и «чистой» математики.