Ivannikov Institute for System Programming of the RAS


What to search

Search by:

Publications
Proceedings of ISP RAS
All

Publications during 2006

Dissertations

  1. Pleshachkov P.O. Transaction Management in XML Database Management Systems. Phd thesis, Institute for System Programming of Russian Academy of Sciences,2006.
  2. Khoroshilov, Aleksey. The specification and testing of components with asynchronous interface Diss. Institute for System Programming of the Russian Academy of Sciences, 2006.
  3. Pakulin, Nikolay. Formalization of Internet protocols standards and benchmarks. Diss. Institute for System Programming of the Russian Academy of Sciences, 2006.
  4. Arhipova, Maria. Automatic test generation for semantic analyzers of translators. Diss. Institute for System Programming of the Russian Academy of Sciences, 2006.
  5. Demakov, Alexey. Object-oriented description of graph representation of programs and models. Diss. Institute for System Programming of the Russian Academy of Sciences, 2006.

Other publications

  1. N. Pakulin Conformance Testing from Researcher's Point of View. French Worldwide IPv6 Summit. November 14, 2006. Cannes, France.
  2. Boldakov A., Grinev M., Lisovsky K. XQuery, XSLT, and OmniMark: Mixed Content Processing. O'Reilly xml.com, December 06, 2006.
  3. Boldakov A.A., Grinev M.N. Transformation of XML Data Using Updates without Side Effects. Programming and Computer Software, Vol. 32, No. 5, 2006, pp. 255-267.
  4. Aznauryan N. A., Kuznetsov S. D., Novak L. G., Grinev M. N. SLS: A Numbering Scheme for Large XML Documents. Programming and Computer Software, Vol. 32, No. 1, 2006, pp. 8-18.
  5. Rekouts M., Grinev M., Boldakov A. A Method for XQuery Transform Implementation Based on Shadow Mechanism. DEXA 2006 Workshop XANTEC'2006.
  6. Pleshachkov P. Transaction Management for XML Stored in Relational Database Systems. BNCOD 2006 PhD Workshop, Belfast, Northern Ireland.
  7. Pleshachkov P., Kuznetsov S. Transaction Management in RDBMSs with XML Support. Programming and Computing Software, Num. 5, 2006.
  8. Fomichev A., Grinev M., Kuznetsov S. Sedna: A Native XML DBMS. In Proc. of SOFSEM 2006, pp. 272-281.
  9. Novak L., Zamulin A. An XML Algebra for XQuery. In proc. of ADBIS 2006, 4-21.
  10. Shcheklein I., Fomichev A. XQuery for Streams (XQS): XQuery Streaming Extensions Design. SYRCoDIS 2006.
  11. Boldakov A., Grinev M. Extending XQuery with Functional Updates. Preprint 10, Institute for System Programming RAS, 2006.
  12. Ciobanu G., Zakharov V.A. Encoding mobile ambients into the pi-calculus. Proceedings of the Andrei Ershov 6th International Conference «Prespectives of System Informatics» (27-30 June 2006, Novosibirsk), Lecture Notes in Computer Science, 2006, Springer Berlin, vol. 4378, pp. 148-161.
  13. Podlovchenko R.I., Rusakov D.M., Zakharov V.A. On the equivalence problem for programs with mode switching. Proceedings of CIAA-2005 "The 10-th International Conference on Implementation and Application of Automata" (June 27-29, 2005), Sophia Antipolis, France, Lecture Notes in Computer Science, 2006, vol. 3845, pp. 351-352.
  14. A.Grinevich, A.Khoroshilov, V.Kuliamin, D.Markovtsev, A.Petrenko, V.Rubanov. Formal Methods in Industrial Software Standards Enforcement. Proc. of PSI'2006, Novosibirsk, Russia, June 2006.
  15. I.B.Bourdonov, A.S.Kossatchev, V.V.Kuliamin. Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. Proceedings of the Workshop on Model Based Testing (MBT 2004), Elsevier, 2006.
  16. S.Zelenov, S.Zelenova. Automated Generation of Positive and Negative Tests for Parsers. Proc. of the 5th Int. Workshop on Formal Approaches to Testing of Software (FATES 2005), LNCS 3997, Springer-Verlag, Berlin, 2006, 187-202.
  17. S.Zelenov, D.Silakov, A.K.Petrenko, M.Conrad, I.Fey. Automatic Test Generation for Model-Based code Generators. IEEE ISoLA 2006 Second Intern.Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Paphos, Cyprus, 2006, pp. 68-75.
  18. V.Mutilin. Concurrent Testing of Java Components Using Java PathFinder. IEEE ISoLA 2006 Second Intern.Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Paphos, Cyprus, 2006, pp. 45-51.
  19. V.A. Semenov, A.A.Karaulov Semantic-Based Decomposition of Long-Lived Transactions in Advanced Collaborative Environments. eWork and eBusiness in Architecture, Engineering and Construction, ECPPM 2006 Proceedings. Publisher: Taylor & Francis Group, 2006. Pp. 223-231.
  20. В.В. Кулямин, В.А. Омельченко, О.Л. Петренко. Формирование профессиональных компетенций современного разработчика ПО. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 237-250.
  21. Г.Т. Маракаева. Применение методов выявления закономерностей для классификации химических соединений. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 223-236.
  22. А. Волков. Использование ролей в сценариях взаимодействия. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 193-222.
  23. Е.Д. Волкова, А.Д. Страбыкин. Анализ и трансформации исполняемых UML моделей. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 171-192.
  24. Ю. Фонин. Использование языков описания процессоров высокого уровня для генерации платформо-зависимых частей операционной системы. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 159-170.
  25. В.В. Рубанов, А.С. Михеев. Интегрированная среда описания системы команд встраиваемых процессоров. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 143-158.
  26. С.В. Зеленов, Д.В. Силаков. Автоматическая генерация тестовых данных для оптимизаторов графических моделей. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 129-142.
  27. В.С. Мутилин. Паттерны проектирования тестовых сценариев. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 97-128.
  28. А.В. Демаков, С.В. Зеленов, С.А. Зеленова. Генерация тестовых данных сложной структуры с учетом контекстных ограничений. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 83-96.
  29. С.Г. Грошев. Применение технологии UniTesK для тестирования систем с различной конфигурацией активных потоков управления. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 67-82.
  30. М.А. Владимиров. Критерии полноты тестового покрытия в генетических алгоритмах генерации тестов. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 57-66.
  31. В.С. Несов, О.Р. Маликов. Использование информации о линейных зависимостях для обнаружения уязвимостей в исходном коде программ. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 51-56.
  32. П.В. Бойко. Метод виртуального процессора в защите программного обеспечения. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 43-50.
  33. С.С. Гайсарян, К.Н. Долгова. Разработка системной поддержки вызова программ, реализованных на языке Fortran, из среды Java. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 29-42.
  34. П.М. Довгалюк. Разреженная модель базовых блоков для оптимизации потоков команд. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 23-28.
  35. А. Белеванцев, М. Кувырков, Д. Мельник. Использование параллелизма на уровне команд в компиляторе для Intel Itanium. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 9-22.
  36. В.П. Иванников. Предисловие. Proceedings of the Institute for System Programming. Volume 9 (in Russian), 2006 . Стр. 5-6.
  37. А.И. Гриневич, Д.А. Марковцев, В.В. Рубанов. Проблемы совместимости Linux-систем. Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 15-28.
  38. А.В. Пономаренко. Разработка модельной реализации функций Бесселя из стандарта LSB. Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 115-142.
  39. В.П.Иванников, А.К. Петренко. Задачи верификации ОС Linux в контексте ее использования в государственном секторе. Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 9-14.
  40. В.П. Иванников, В.В. Кулямин. Предисловие. Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 5-8.
  41. А.Р.Арутюнян. Сравнение эффективности обходчиков UniTESK. Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 167-180.
  42. А.С. Камкин. Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов. Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 143-166.
  43. В.В. Кулямин. Формальные подходы к тестированию математических функций. Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 69-114.
  44. А.И. Гриневич, В.В. Кулямин, Д.А. Марковцев, А.К. Петренко, В.В. Рубанов, А.В. Хорошилов. Использование формальных методов для обеспечения соблюдения программных стандартов. Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 51-68.
  45. А.В. Хорошилов. Linux Standard Base: история успеха? Proceedings of the Institute for System Programming. Volume 10 (in Russian), 2006 . Стр. 29-50.
  46. Н.П. Варновский, В.А. Захаров, Н.Н. Кузюрин, А.В. Чернов, А.В. Шокуров. Об особенностях применения методов обфускации программ для информационной защиты микроэлектронных схем. Proceedings of the Institute for System Programming. Volume 11 (in Russian), 2006 . Стр. 27-60.
  47. В.А. Захаров, К.С. Иванов. О проблеме логико-термальной эквивалентности последовательных программ с динамической памятью. Proceedings of the Institute for System Programming. Volume 11 (in Russian), 2006 . Стр. 61-82.
  48. Andrey Belevantsev, Oleg Malikov. Using data flow analysis for detecting security vulnerabilities. Proceedings of the Institute for System Programming. Volume 11 (in Russian), 2006 . Стр. 83-98.
  49. Rimma Podlovchenko, Dmitry Rusakov, Vladimir Zakharov. The equivalence problem for programs with mode switching is PSPACE-complete. Proceedings of the Institute for System Programming. Volume 11 (in Russian), 2006 . Стр. 109-128.
  50. Yury Lifshits. Guaranteed Slowdown, Generalized Encryption Scheme, and Function Sharing. Proceedings of the Institute for System Programming. Volume 11 (in Russian), 2006 . Стр. 99-108.
  51. Николай Вяххи, Анатолий Коваль. Архитектурный подход к защите программ. Proceedings of the Institute for System Programming. Volume 11 (in Russian), 2006 . Стр. 17-26.
  52. С.И. Алейников, А.О. Богатов. Защита программ от дизассемблирования. Proceedings of the Institute for System Programming. Volume 11 (in Russian), 2006 . Стр. 9-16.
  53. В.П. Иванников. Предисловие. Proceedings of the Institute for System Programming. Volume 11 (in Russian), 2006 . Стр. 5-8.

Back to the list of publications of ISP RAS