Баранов Сергей Николаевич

Публикации в базе данных Math-Net.Ru

1. A flat chart technique for embedded OS testing
   
   Труды ИСП РАН, 29:5 (2017),  75–92
2. Статическая проверка корректности разделения ресурсов в системах реального времени
   
   Тр. СПИИРАН, 52 (2017),  137–156
3. Имитационное моделирование для анализа выполнимости приложений реального времени
   
   Модел. и анализ информ. систем, 23:6 (2016),  673–687
4. Транзитивное наследование приоритетов в многозадачных приложениях реального времени
   
   Тр. СПИИРАН, 43 (2015),  114–134
5. Метрическое обеспечение программных разработок
   
   Тр. СПИИРАН, 36 (2014),  5–27
6. Conditionally reversible computations and weak universality in category theory
   
   Зап. научн. сем. ПОМИ, 421 (2014),  19–32
7. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений
   
   Тр. СПИИРАН, 26 (2013),  349–383
8. Некоторые приложения $\lambda$-исчисления с типами к атрибутным вычислениям в системах категорных преобразований графов
   
   Тр. СПИИРАН, 23 (2012),  296–323
9. Состояние и тенденции развития теории и практики индустрии программных средств
   
   Тр. СПИИРАН, 20 (2012),  5–26
10. Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов
    
    Модел. и анализ информ. систем, 18:4 (2011),  118–130