Baranov S., Kapitonova J., Letichevsky A., Volkov V., Weigert Th., “Basic Protocols, Message Sequence Charts, and Verification of Requirements Specifications”, Computer Networks, 49:5 (2005), 661–675
Baranov S., Kotlyarov V., Letichevsky A., “An Industrial Technology of Test Automation Based on Verified Behavioral Models of Requirement Specifications for Telecommunication Applications”, The The IEEE Region 8 Eurocon 2009 Conference (May 18–23, 2009, St. Petersburg, Russia), 2009, 122–129
Баранов С, Вайгерт Т., Капитонова Ю., Котляров В., Летичевский А., Летичевский А.мл., “Спецификация систем с помощью базовых протоколов”, Кибернетика и системный анализ, 2005, № 4, 3–21
Баранов С., “Процесс разработки программ как основа профессиональной деятельности программистов”, Компьютерные инструменты в образовании, 2002, № 3-4, 21–29
V. V. Nikiforov, S. N. Baranov, “A flat chart technique for embedded OS testing”, Труды ИСП РАН, 29:5 (2017), 75–92
2.
В. В. Никифоров, С. Н. Баранов, “Статическая проверка корректности разделения ресурсов в системах реального времени”, Тр. СПИИРАН, 52 (2017), 137–156
2016
3.
С. Н. Баранов, В. В. Никифоров, “Имитационное моделирование для анализа выполнимости приложений реального времени”, Модел. и анализ информ. систем, 23:6 (2016), 673–687
2015
4.
С. Н. Баранов, В. В. Никифоров, “Транзитивное наследование приоритетов в многозадачных приложениях реального времени”, Тр. СПИИРАН, 43 (2015), 114–134
2014
5.
С. Н. Баранов, А. М. Тележкин, “Метрическое обеспечение программных разработок”, Тр. СПИИРАН, 36 (2014), 5–27
S. N. Baranov, S. V. Soloviev, “Conditionally reversible computations and weak universality in category theory”, Зап. научн. сем. ПОМИ, 421 (2014), 19–32; J. Math. Sci. (N. Y.), 200:6 (2014), 654–661
И. С. Ануреев, С. Н. Баранов, Д. М. Белоглазов, Е. В. Бодин, П. Д. Дробинцев, А. В. Колчин, В. П. Котляров, А. А. Летичевский, А. А. Летичевский, В. А. Непомнящий, И. В. Никифоров, С. В. Потиенко, Л. В. Прийма, Б. В. Тютин, “Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений”, Тр. СПИИРАН, 26 (2013), 349–383
С. Н. Баранов, Б. Буавер, С. В. Соловьев, Л. Феро, “Некоторые приложения $\lambda$-исчисления с типами к атрибутным вычислениям в системах категорных преобразований графов”, Тр. СПИИРАН, 23 (2012), 296–323
9.
С.Н. Баранов, В.М. Шишкин, “Состояние и тенденции развития теории и практики индустрии программных средств”, Тр. СПИИРАН, 20 (2012), 5–26
2011
10.
С.Н. Баранов, В. П. Котляров, “Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов”, Модел. и анализ информ. систем, 18:4 (2011), 118–130
Обратная связь: