me:research

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
me:research [2026/08/29 08:35] – userme:research [2026/08/29 08:37] (current) – user
Line 78: Line 78:
   - I. Fedotov, A. Khritankov. Statistical Model Checking of Common Attack Scenarios on Blockchain // In Temur Kutsia: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), Hagenberg, Austria, September 8-10, 2021, Electronic Proceedings in Theoretical Computer Science 342, pp. 65–77. [[https://arxiv.org/abs/2109.02803|arXiv:2109.02803]]   - I. Fedotov, A. Khritankov. Statistical Model Checking of Common Attack Scenarios on Blockchain // In Temur Kutsia: Proceedings of the 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021), Hagenberg, Austria, September 8-10, 2021, Electronic Proceedings in Theoretical Computer Science 342, pp. 65–77. [[https://arxiv.org/abs/2109.02803|arXiv:2109.02803]]
   - Y. Ivanova, A. Khritankov. RegularMutator: A Mutation Testing Tool for Solidity Smart Contracts // Procedia Computer Science 178. - 2020 - p. 75-83. [[https://www.sciencedirect.com/science/article/pii/S1877050920323826|Online at SceinceDirect]]   - Y. Ivanova, A. Khritankov. RegularMutator: A Mutation Testing Tool for Solidity Smart Contracts // Procedia Computer Science 178. - 2020 - p. 75-83. [[https://www.sciencedirect.com/science/article/pii/S1877050920323826|Online at SceinceDirect]]
-  - Федотов И. А., Хританков А. С. Систематический обзор исследований в области автоматической верификации кода смарт-контрактов // Программная инженерия, №1. - 2020 - c. 3–13. {{me:me:smart_contract_verification.pdf|PDF}}+  - Федотов И. А., Хританков А. С. Систематический обзор исследований в области автоматической верификации кода смарт-контрактов // Программная инженерия, №1. - 2020 - c. 3–13. {{me:smart_contract_verification.pdf|PDF}}
   - Иванова Ю. А., Хританков А.С. “Исследование применимости мутационного тестирования для повышения надежности смарт-контрактов.” // In Международная научная конференция SCVRT2019“ Ситуационные центры и информационно-аналитические системы класса 4i для задач мониторинга и безопасности”. - 2019. - pp. 65-69.   - Иванова Ю. А., Хританков А.С. “Исследование применимости мутационного тестирования для повышения надежности смарт-контрактов.” // In Международная научная конференция SCVRT2019“ Ситуационные центры и информационно-аналитические системы класса 4i для задач мониторинга и безопасности”. - 2019. - pp. 65-69.
  
Line 133: Line 133:
  
   - Хританков А.С. Математическая модель характеристик производительности распределенных вычислительных систем // Труды 50-й научной конференции МФТИ. – 2007. – с. 86-88.   - Хританков А.С. Математическая модель характеристик производительности распределенных вычислительных систем // Труды 50-й научной конференции МФТИ. – 2007. – с. 86-88.
-  - Хританков А.С. Способ балансировки нагрузки при распределенном решении задач оптимизации методом ветвей и границ // [[http://urss.ru/cgi-bin/db.pl?lang=Ru&blang=ru&page=Book&id=66913|Труды международной конференции САИТ-2007]], Т. 2. – 2007. – с. 247-251. {{me:me:khritankov_bnb.pdf|PDF}}+  - Хританков А.С. Способ балансировки нагрузки при распределенном решении задач оптимизации методом ветвей и границ // [[http://urss.ru/cgi-bin/db.pl?lang=Ru&blang=ru&page=Book&id=66913|Труды международной конференции САИТ-2007]], Т. 2. – 2007. – с. 247-251. {{me:khritankov_bnb.pdf|PDF}}
  
 === 2006 === === 2006 ===
Line 143: Line 143:
  
   - Хританков А.С. Сложности балансировки сессионной нагрузки // Труды 48-ой Научной Конференции МФТИ, 2005.   - Хританков А.С. Сложности балансировки сессионной нагрузки // Труды 48-ой Научной Конференции МФТИ, 2005.
-  - Хританков А.С. Оптимальное распределение нагрузки открытого типа на совокупность разнородных узлов. // Труды Международной конференции САИТ-2005, Переславль, 2005. - с. 229-235. Скачать препринт статьи. {{me:me:khritankov-optimallb-sait2005.pdf|PDF}}, {{me:me:конференция_слайды_pic.pdf|слайды}}+  - Хританков А.С. Оптимальное распределение нагрузки открытого типа на совокупность разнородных узлов. // Труды Международной конференции САИТ-2005, Переславль, 2005. - с. 229-235. Скачать препринт статьи. {{me:khritankov-optimallb-sait2005.pdf|PDF}}, {{me:конференция_слайды_pic.pdf|слайды}}
  
 ===== Other publications ===== ===== Other publications =====
Line 150: Line 150:
   - Tatiana Kuvshinova and Anton Khritankov. 2019. Improving a Language Model Evaluator for Sentence Compression Without Reinforcement Learning. In Proceedings of the Tenth International Symposium on Information and Communication Technology (SoICT 2019). Association for Computing Machinery, New York, NY, USA, 92–97. DOI:https://doi.org/10.1145/3368926.3369713   - Tatiana Kuvshinova and Anton Khritankov. 2019. Improving a Language Model Evaluator for Sentence Compression Without Reinforcement Learning. In Proceedings of the Tenth International Symposium on Information and Communication Technology (SoICT 2019). Association for Computing Machinery, New York, NY, USA, 92–97. DOI:https://doi.org/10.1145/3368926.3369713
   - Хританков А.С. Сценарная оценка возможных архитектурных изменений на примере одного класса программ анализа данных. // Современные информационные технологии и ИТ-образование [Текст] / Сборник избранных трудов VIII Международной научно-практической конференции. Под ред. проф. В.А. Сухомлина. - М.: ИНТУИТ.РУ, 2013. – 829 с. – с. 414-421.   - Хританков А.С. Сценарная оценка возможных архитектурных изменений на примере одного класса программ анализа данных. // Современные информационные технологии и ИТ-образование [Текст] / Сборник избранных трудов VIII Международной научно-практической конференции. Под ред. проф. В.А. Сухомлина. - М.: ИНТУИТ.РУ, 2013. – 829 с. – с. 414-421.
-  - А. С. Хританков. Линейки программных продуктов: современное состояние и стандарты // Программная инженерия. - 2017. - № 9. - с. 387–395. {{me:me:khritankov-sple-20170606-7-site.pdf|PDF}}+  - А. С. Хританков. Линейки программных продуктов: современное состояние и стандарты // Программная инженерия. - 2017. - № 9. - с. 387–395. {{me:khritankov-sple-20170606-7-site.pdf|PDF}}
   - Khritankov A. An Approach to Software Project Feasibility Study Using Stochastic Risk Model during Proposal Preparation // In Proceedings of The 5th Central and Eastern European Software Engineering Conference in Russia 2009 (CEE-SECR’2009), Moscow, Russia, October 28th-29th, 2009. - IEEE, 2010. - pp. 37-42.   - Khritankov A. An Approach to Software Project Feasibility Study Using Stochastic Risk Model during Proposal Preparation // In Proceedings of The 5th Central and Eastern European Software Engineering Conference in Russia 2009 (CEE-SECR’2009), Moscow, Russia, October 28th-29th, 2009. - IEEE, 2010. - pp. 37-42.
   - Белавина Е.В., Леонова М.В., Ткачман Г.Д., Хританков А.С. Конкурсный механизм многокритериального отбора инвестиционно-привлекательных проектов для бизнес-инкубатора МФТИ // Труды 49-ой Научной Конференции МФТИ, 2006.   - Белавина Е.В., Леонова М.В., Ткачман Г.Д., Хританков А.С. Конкурсный механизм многокритериального отбора инвестиционно-привлекательных проектов для бизнес-инкубатора МФТИ // Труды 49-ой Научной Конференции МФТИ, 2006.
  • me/research.txt
  • Last modified: 2026/08/29 08:37
  • by user