Хританков Антон Сергеевич

2023²

• Статья Fedotov I., A. S. Khritankov, Obidare M. Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems // Programming and Computer Software. 2023. Vol. 49. No. 5. P. 448-454. doi
• Статья Anton Khritankov. Positive feedback loops lead to concept drift in machine learning systems // Applied Intelligence. 2023. Vol. 53. No. 19. P. 22648-22666. doi

2022⁵

• Глава книги Iakusheva S., Anton Khritankov. Composite metamorphic relations for integration testing, in: ICCTA '22: Proceedings of the 2022 8th International Conference on Computer Technology Applications. NY : Association for Computing Machinery (ACM), 2022. P. 98-105. doi
• Глава книги Anton Khritankov, Pershin N., Ukhov N., Ukhov A. MLDev: Data Science Experiment Automation and Reproducibility Software, in: Data Analytics and Management in Data Intensive Domains. 23rd International Conference, DAMDID/RCDL 2021, Moscow, Russia, October 26–29, 2021, Revised Selected Papers. Springer, 2022. doi P. 3-18. doi
• Глава книги Fedotov I., Anton Khritankov, Barger A. Optimizing multi-party agreement protocols, in: 2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022. IEEE, 2022. doi P. 55-58. doi
• Глава книги Fedotov I., Anton Khritankov, Barger A. Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties, in: 2022 The 5th International Conference on Software Engineering and Information Management (ICSIM). NY : Association for Computing Machinery (ACM), 2022. doi P. 100-105. doi
• Статья Федотов И. А., Хританков А. С., Обидаре М. Д. Автоматическая верификация многосторонних соглашений и планирование отправки сообщений в системах распределенного реестра // Программная инженерия. 2022. № 4. С. 200-208. doi

2021⁵

• Глава книги Anton Khritankov, Pilkevich A. Existence Conditions for Hidden Feedback Loops in Online Recommender Systems, in: Web Information Systems Engineering – WISE 2021. 22nd International Conference on Web Information Systems Engineering, WISE 2021, Melbourne, VIC, Australia, October 26–29, 2021, Proceedings Vol. 2: Part II. Springer, 2021. doi P. 267-274. doi
• Глава книги Anton Khritankov. Hidden Feedback Loops in Machine Learning Systems: A Simulation Model and Preliminary Results, in: Software Quality: Future Perspectives on Software Engineering Quality: 13th International Conference, SWQD 2021, Vienna, Austria, January 19–21, 2021, Proceedings. Springer, 2021. doi P. 54-65. doi
• Препринт Khritankov Anton, Pershin N., Uhov N., Uhov A. MLDev: Data Science Experiment Automation and Reproducibility Software / arXiv.org. Series arXiv:2107.12322 "Computer Science > Machine Learning". 2021.
• Глава книги Fedotov I., Anton Khritankov. Statistical Model Checking of Common Attack Scenarios on Blockchain, in: Electronic Proceedings in Theoretical Computer Science (EPTCS). Proceedings of the 9th International Symposium on Symbolic Computation in Software Science. Open Publishing Association, 2021. doi P. 65-77. doi
• Статья Воронцов К. В., Игловиков В., Стрижов В., Устюжанин А. Е., Хританков А. С. Проблемы проведения экспериментов и воспроизводимости исследований в науках о данных // Труды Московского физико-технического института. 2021. Т. 13. № 2. С. 100-108.

2020²

• Глава книги Ivanova Y., Anton Khritankov. RegularMutator: A Mutation Testing Tool for Solidity Smart Contracts, in: Procedia Computer Science Vol. 178: 9th International Young Scientists Conference in Computational Science, YSC2020, 05-12 September 2020. Elsevier, 2020. P. 75-83. doi
• Статья Федотов И., Хританков А. С. Систематический обзор исследований в области автоматической верификации кода смарт-контрактов // Программная инженерия. 2020. № 1. С. 3-13. doi

2019¹