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


Что искать

Искать в:

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

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

Диссертации

  1. Д.В.Силаков. Методы информационно-аналитической поддержки разработки и использования стандартов на интерфейсы операционной системы Linux. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2010 г.
  2. Е. В.Корныхин. Построение тестовых программ для проверки подсистем управления памяти микропроцессоров. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2010 г.
  3. Д.Ю. Кичигин. Метод редукции тестового набора для интеграционного тестирования. Диссертация на соискание ученой степени к.ф.-м.н., Москва, 2010 г.
  4. Турдаков Д. Ю. Методы и программные средства разрешения лексической многозначности терминов на основе сетей документов Диссертация на соискание ученой степени кандидата физико-математических наук, МГУ, 2010.

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

  1. Таранов И., Щеклейн И., Калинин А., Новак Л., Кузнецов С., Пастухов Р., Болдаков А., Турдаков Д., Антипин К., Фомичёв А., Плешачков П., Велихов П., Заварицкий Н., Гринёв М., Гринёва М., Лизоркин Д. Sedna: прирождённая XML СУБД (обзор архитектуры). In Proceedings of the 2010 international Conference on Management of Data (Indianapolis, Indiana, USA, June 06 - 10, 2010). SIGMOD '10. ACM, New York, NY, 1037-1046.
  2. Турдаков Д. Ю., Кузнецов С. Д. Автоматическое разрешение лексической многозначности терминов на основе сетей документов. Программирование, 2010, Том. 36, Номер 1, 11-18.
  3. Захаров В.А., Коннов И.В. Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени. Моделирование и анализ информационных систем, 2010, том 17, № 4, с. 78-87.
  4. Захаров В.А., Подымов В.В. Об одной полугрупповой модели программ, определяемой при помощи двухленточных автоматов. Научные ведомости Белгородского государственного университета. Серия История, экономика, политология, информатика, 2010, том 14, № 7, с. 94-101.
  5. Захаров В.А. Проверка эквивалентности программ при помощи двухленточных автоматов. Кибернетика и системный анализ, 2010, № 4, с. 39-48.
  6. Захаров В.А., Кузюрин Н.Н., Подловченко Р.И., Щербина В.Л. Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода. Фундаментальная и прикладная математика, 2010, том 15, № 5, с. 181-198.
  7. A. Kamkin, D. Vorobyev. An Approach to Test Programs Generation for Microprocessors Based on Pipeline Hazards Templates. Proceedings of the 4th Spring/Summer young Researchers Colloquium on Software Engineering, pp.130-135, 2010.
  8. Y. Gerlits. Testing AJAX functionality with UniTESK. Proceedings of the 4th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCOSE), 2010, pp. 50-57.
  9. Е.А. Герлиц. Апробация технологии тестирования UniTESK на реализациях паттернов управления взаимодействием в AJAX приложениях. Сборник тезисов XVII Международной научной конференции студентов, аспирантов и молодых ученых «Ломоносов 2010». М.: Издательский отдел факультета ВМК МГУ, 2010, C. 12.
  10. V. Omelchenko, S. Zelenov, E. Kostychev. Test data generation for covering functionality of database applications. Proceedings of the 4th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2010), 2010, 43-49.
  11. Корныхин Е.В. Генерация тестовых данных для тестирования механизмов кэширования и трансляции адресов микропроцессоров. Программирование, 36(1), 2010, с. 40-49.
  12. Корныхин Е.В. Определение стратегии вытеснения PseudoLRU на ветвях бинарного дерева. // Сборник тезисов "Ломоносов-2010", с.20-21.
  13. А.С. Косачев, И.Б.Бурдонов. Симуляция систем с отказами и разрушением. 5-ый Международный симпозиум по компьютерным наукам в России. // Семинар «Семантика, спецификация и верификация программ: теория и приложения».Казань 2010, стр. 43-48.
  14. А.С. Косачев, И.Б.Бурдонов. Тестирование безопасной симуляции. 5-ый Международный симпозиум по компьютерным наукам в России. // Семинар «Семантика, спецификация и верификация программ: теория и приложения». Казань 2010, стр. 37-42.
  15. A. Kossachev, I.Burdonov. Formal Conformance Verifcation. Short Papers of the 22nd IFIP ICTSS, Alexandre Petrenko, Adenilso Simao, Jose Carlos Maldonado (eds.), Nov. 08-10, 2010, Natal, Brazil, pp.1-6.
  16. А.С. Косачев, И.Б.Бурдонов. Тестирование с преобразованием семантик. Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Всероссийской суперкомпьютерной конференции (21-24 сентября 2010 г., г. Новороссийск). - М.: Изд-во МГУ, 2010. с. 420-424.
  17. А.С. Косачев, И.Б.Бурдонов, С.Г. Грошев, А.С. Камкин, А.А. Сортов. Параллельное тестирование больших автоматных моделей. Научный сервис в сети Интернет: суперкомпьютерные центры и задачи: Труды Всероссийской суперкомпьютерной конференции (21-24 сентября 2010 г., г. Новороссийск). - М.: Изд-во МГУ, 2010, с. 224-228.
  18. А.С. Косачев, И.Б.Бурдонов. Семантики взаимодействия с отказами, дивергенцией и разрушением. "Программирование", 2010, №5–стр 3-23.
  19. А.С. Косачев, И.Б.Бурдонов, П.Н.Яковенко. Защита целостности файлов на внешних носителях в условиях недоверенной операционной системы. Методы и технические средства обеспечения безопасности информации: респ. научно-технич. конф.: тез. докл. – СПб. Изд-во СПбГТУ, 2010.
  20. И.Б.Бурдонов, А.С.Косачев, Семантики взаимодействия с отказами, дивергенцией и разрушением. Часть 1. Гипотеза о безопасности и безопасная конформность. Вестник Томского государственного университета. Управление, вычислительная техника и информатика, №4, 2010, стр.124-133
  21. И.Б.Бурдонов, А.С.Косачев, Безопасное тестирование симуляции систем с отказами и разрушением. Моделирование и анализ информационных систем, Том 17, Номер 4, 2010. стр. 27—40.
  22. V.Mutilin. On Context Switch Upper Bound for Checking Linearizability. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, pp. 106-112, Nizhniy Novgorod (2010).
  23. Е.М. Новиков, В.С. Мутилин, А.В. Хорошилов. Применение аспектно-ориентированного программирования для поддержки верификация ядра операционной системы Linux. Труды 52-й Научной Конференции МФТИ стр. 31-33.
  24. A.Petrenko, A.Khoroshilov, V.Mutilin, V.Zakharov. Establishing Linux Driver Verification Process. Proceedings of the PSI 2009, LNCS, Volume 5947/2010, 165-176.
  25. A.Petrenko, Yu.Gurevich, B.Finkbeiner. Model-Based Testing. Editor of proceddings. Electronic Note in Theoretical Computer Science, 2009.
  26. A.Petrenko, Luis S. Barbosa, Antonio Cerone, and Siraj A. Shaikh. Certification of open-source software: A role for formal methods? International Journal of Computer Systems Science and Engineering (IJCSSE), Vol 25 No 4 July 2010.
  27. Д. Силаков. Linux: интерфейсные стандарты и профили. Открытые системы. №1, 2010, стр. 44-47.
  28. D. Silakov. Informational System to Support Development and Usage of Linux Interface Standards. Proceedings of SYRCoSE 2010. Moscow, 2010, pp.9-16.
  29. Д. Силаков. Информационно-аналитическая система для разработки и использования базового стандарта операционной системы Linux (LSB). Информационные технологии. №5, 2010, стр. 53-58.
  30. D. Silakov, A. Smachev. Improving Portability of Linux Applications by Early Detection of Interoperability Issues. Proceedings of ISoLA 2010. Heraclion, Greece, 2010, part II, pp. 357–370.
  31. В. Кулямин, В. Рубанов, А. Хорошилов. О комитете по образованию и высшей школе Российской Ассоциации Свободного Программного Обеспечения. Сборник докладов Пятой конференции “Свободное программное обеспечение в высшей школе”, сс. 46-50, г. Переславль-Залесский, 30 31 января 2010 г.
  32. О. Л. Петренко, А. В. Хорошилов. Реализация контекстного подхода на основе проблемных ситуаций в ИТ образовании. Сборник докладов 8-ой всероссийской конференции “Преподавание информационных технологий в России”, Петрозаводск, 17-18 мая 2010 г.
  33. В. В. Кулямин, О. Л. Петренко, А. В. Хорошилов. Возможности свободного программного обеспечения для обучения студентов. Информационные технологии на базе свободного программного обеспечения: материалы всероссийской научно-практической конференции. – Елец: ЕГУ им. И.А. Бунина, 2010. – сс. 194-200.
  34. A. Khoroshilov, V. Kuliamin, A. Petrenko, O. Petrenko, V. Rubanov. Building open learning environment for software engineering students. Free and Open Source Software for E-Learning: Issues, Successes and Challenges / Betul Ozkan Czerkawski, editor, ISBN 978-1-61520-917-0, pp. 110-119, Information Science Reference, New York, 2011.
  35. А.В. Пономаренко, В.В. Рубанов, А.В. Хорошилов. Автоматическая генерация тестов для C/C++ библиотек. Сборник докладов Седьмой конференции разработчиков свободных программ, Переславль, 26-27 июля 2010 г.
  36. А. В. Хорошилов. Открытость и стандартизация - на пути становления мобильных платформ. Сборник докладов 4-ой конференции “Стандартизация информационных технологий и интероперабельность”, Москва, 7 октября 2010 г.
  37. М. В. Екимов, И. В. Ковернинский, А. В. Хорошилов. АРМ ПТ: создание системы проектирования тестов для критических систем на основе СПО. Сборник докладов Всероссийской конференции “Свободное программное обеспечение – 2010”, стр.64-65, Санкт-Петербург, 26-27 октября 2010 г.
  38. E. Chernov. Universal System for Creation and Installation Linux Packages. Proceedings of the SYRCoSE 2010, pp.17-19.
  39. М.М. Чупилко. Об одном методе применения конечных автоматов для системного тестирования моделей аппаратуры (тезисы). МИЭТ-2010. Микроэлектроника и информатика - 2010. 17-я Всероссийская межвузовская научно-техническая конференция студентов и аспирантов: Тезисы докладов. - М.: МИЭТ, 2010. - 352 с., страница 230.
  40. M. Chupilko, A. Kamkin. Contract Specification of Hardware Designs at Different Abstraction Levels: Application to Functional Verification. SYRCOSE-2010 (Spring-Summer Young Researchers' Colloquium on Software Engineering 2010), pp.125-129.
  41. M. Chupilko. Models of Synchronous Hardware Designs Based on FSM at Different Abstraction Levels: Application to Functional Verification. EWDTS-2010 (East-West Design and Test Symposium 2010). Proceedings of IEEE East-West Design & Test Symposium (EWDTS 2010), 127-130 pp.
  42. M. Chupilko, A. Kamkin. Developing cycle-accurate contract specifications for synchronous parallel-pipeline hardware: application to verification. BEC-2010 (Baltic Electronics Conference 2010). Proceedings of the 12th Biennial Baltic Electronics Conference (BEC 2010), 185-188 pp.
  43. P. Shved. On Reasoning About Finite Sets in Software Model Checking. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, pp. 100-105, Nizhniy Novgorod, 2010.
  44. В.В. Гингина. О методах анализа полноты требований. Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2010» (тезисы), стр.13-14.
  45. V.Gingina. On requirements completeness analysis method. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 29-32.
  46. А.Н. Тугаенко. Тестирование соответствия почтовых протоколов сети Интернет. Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2010» (тезисы), стр.25-27.
  47. V. Fedotov. Service-oriented approach to integration testing in distributed systems. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 58-59.
  48. A. Tugaenko, N. Pakulin. Test suite development for conformance testing of email protocols. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 87-91.
  49. D. Yefremov, P. Iakovenko. An approach to on the fly activation and deactivation of virtualization-based security systems. Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 157-161.
  50. N. Pakulin, A. Tugaenko. Specification Based Conformance Testing for Email Protocols. Proceedings of ISoLA 2010, pp.371-382. Heraclion, Greece, 2010.
  51. V. Kuliamin, A. Petukhov. Covering arrays generation methods survey. Proceedings of ISoLA 2010, pp.382-397. Heraclion, Greece, 2010.
  52. В.Н. Федотов. Сервисно-ориентированный подход к тестированию интеграции в распределенных системах. 5-ый Международный симпозиум по компьютерным наукам в России. Семинар «Семантика, спецификация и верификация программ: теория и приложения». Казань 2010, стр. 144-149.
  53. A. Berge, А. Baire, N. Pakulin. An approach to codec development for text-based protocols. TTCN3 User Conference 2010, Beijing, China. 8-10 June, 2010.
  54. L. Bing, Z. Linlin, R. Guofang, C. Viho, N. Pakulin, M. Zoric. Java-Based Test System Development with Open Source Components. TTCN3 User Conference 2010, Beijing, China. 8-10 June, 2010.
  55. В. В. Кулямин. Компонентная архитектура среды для тестирования на основе моделей. Программирование, 36(5):54-75, 2010.
  56. А. Камкин. Верификация микропроцессоров: борьба с ошибками и управление качеством. Электроника: Наука, Технология, Бизнес, №3, 2010. С. 98-104.
  57. A. Kamkin. CTestBench: A Lightweight C-Based Tool for Specification and Functional Verification of Hardware Designs. East-West Design & Test Symposium, September, 2010.
  58. В.А. Семенов, К.В. Драгалов, Д.В. Ильин, С.В. Морозов, О.В. Сидяка О комплементарных принципах объектно-ориентированного программирования в ограничениях. Журнал «Программирование». Том: 36. Номер: 5. Издательство: МАИК «Наука/Интерпериодика», 2010. Стр. 24-37.
  59. В.А. Семенов, Д.В. Ильин, О.В. Сидяка, О.А Тарлапан Системная интеграция на основе международного информационного стандарта STEP. Всероссийская конференция «Свободное программное обеспечение – 2010» (СПО-2010). Тезисы докладов. Издательство: РАСПО, 2010. Страницы 31.
  60. А.В. Филоненко, И.К. Исаев, Д.В. Сидоров, Ю.М. Туманов. Поиск уязвимостей по бинарному коду с помощью проверки выполнимости ограничений. Безопасность информационных технологий, №3, 2010.
  61. Исаев И.К., Сидоров Д.В. Применение динамического анализа для генерации входных данных, демонстрирующих критические ошибки и уязвимости в программах. Программирование, №4, 2010.
  62. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 5-8.
  63. В.В. Кулямин. Архитектура среды тестирования на основе моделей, построенная на базе компонентных технологий. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 9-44.
  64. С.Г. Грошев. Технология создания гетерогенных трасс, их анализа и генерации из них отчётов. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 45-66.
  65. Е.В. Корныхин. Метод зеркальной генерации ограничений для построения тестовых программ по тестовым шаблонам. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 67-80.
  66. П.М. Довгалюк, М.А. Климушенкова, А.М. Мухина. Создание модулей поддержки архитектур для среды TrEx с помощью специализированного языка описания процессоров. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 81-90.
  67. Д.Н. Воробьев, А.С. Камкин. Генерация тестовых программ для микропроцессоров на основе шаблонов конвейерных конфликтов. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 91-114.
  68. М.М. Чупилко. Автоматизация системного тестирования моделей аппаратуры на основе формальных спецификаций. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 115-128.
  69. А.С. Камкин. Некоторые вопросы автоматизации построения тестовых программ для модулей обработки переходов микропроцессоров. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 129-150.
  70. А.В. Никешин, Н.В. Пакулин, В.З. Шнитман. Разработка тестового набора для верификации реализаций протокола безопасности IPsec v2. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 151-182.
  71. И.Б. Бурдонов, А.С. Косачев. Тестирование конформности на основе соответствия состояний. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 183-220.
  72. П.Н. Яковенко. Прозрачный механизм удаленного обслуживания системных вызовов. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 221-242.
  73. Д.А. Грушин, А.И. Поспелов. Система моделирования Grid: реализация и возможности применения. Труды Института системного программирования РАН. Том 18, 2010 г. Стр. 243-260.
  74. В.П. Иванников. Предисловие. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 5-8.
  75. С.Д. Кузнецов. Год эпохи перемен в технологии баз данных. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 9-34.
  76. С.Д. Кузнецов. MapReduce: внутри, снаружи или сбоку от параллельных СУБД? Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 35-70.
  77. Л.Е. Карпов, В.Н. Юдин. Обмен данными в распределенной системе поддержки решений. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 71-80.
  78. Л.Е. Карпов, В.Н. Юдин. Многопараметрическое управление на основе прецедентов. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 81-93.
  79. В.А. Семенов, Д.В. Ильин, С.В. Морозов, О.В. Сидяка. Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 95-116.
  80. В.А. Семенов, О.В. Сидяка. Теоретические и экспериментальные оценки сложности методов локального распространения в задачах программирования в ограничениях. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 117-138.
  81. С.А. Мартишин, М.В. Храпченко. Упаковка прямоугольников в полосу модифицированным методом Нелдера-Мида с использованием генетического алгоритма. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 135-156.
  82. Н.Н. Кузюрин, А.И. Поспелов. Вероятностный анализ одного алгоритма упаковки прямоугольников в полосу. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 157-164.
  83. В.А. Падарян, М.А. Соловьев, А.И. Кононов. Моделирование операционной семантики машинных инструкций. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 165-186.
  84. И.И. Каретин, В.А. Макаров. Энергосберегающая оптимизация кода за счет использования отключаемых компонентов процессора. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 187-194.
  85. А.И. Гетьман, Ю.В. Маркин, В.А. Падарян, Е.И. Щетинин. Восстановление формата данных. Труды Института системного программирования РАН. Том 19, 2010 г. Стр. 195-214.

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