• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Books
  • 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers. Tools and Methods of Program Analysis
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
September 11, 2026
How to Assess Students Knowledge in the Age of AI
A researcher at HSE University has proposed a flowchart to help lecturers decide how to assess students who use artificial intelligence. It shows where the use of AI should be restricted and where it can be incorporated into the learning process. The article has been published in IT Professional.
September 9, 2026
‘Balkan Hospitality Opens Doors: Studying Dialects on the Verge of Extinction
You cannot study spoken dialects from books. Instead, you need to go to a village, seek out its elders, and earn the trust of local residents before you can record hours of spontaneous stories. This is how Natalia Muravleva, Associate Professor at the Faculty of Humanities, conducts her research. Her internship in Serbia continued her long-standing study of dialects spoken by Macedonian settlers. In this interview, she discusses how diaspora cultural centres help researchers reach informants, why native speakers need to be interviewed only in their own language (otherwise, as she puts it, they may 'break'), and how a single field season helped her finalise her monograph. She also shares warm memories of autumn in Belgrade and of colleagues with whom grammar can be discussed in three languages at once.
September 9, 2026
Scientists Train Neural Network to Generate Process Plans from 3D Models
Researchers at the HSE FCS AI and Digital Science Institute have developed CAD2TechSpec, a framework that converts 3D models of mechanical parts into machining process plans—step-by-step instructions for machine tools. The solution aims to reduce the time required for the design and preparation of technical process documentation in mechanical engineering, aircraft manufacturing, and other high-tech industries. The study findings have been published in PeerJ Computer Science.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers. Tools and Methods of Program Analysis

Vol. 1559: CCIS . Springer, 2024.
Under the general editorship: Yavorskiy R., A. R. Cavalli, Anna Kalenkova

This book constitutes the refereed proceedings of the 6th International Conference on Tools and Methods of Program Analysis, TMPA 2021, held in Tomsk, Russia, during November 25–27, 2021.

The 15 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They focus on various aspects of application of modern methods of data science to the analysis of software quality.

Chapters
Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives
Julio C. Carrasquel, Irina A. Lomazova, , in: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers. Tools and Methods of Program AnalysisVol. 1559: CCIS .: Springer, 2024. P. 94–106.
Trading systems are software platforms that support the exchange of securities (e.g., company shares) between participants. In this paper, we present a method to search for deviations in trading systems by checking conformance between colored Petri nets and event logs. Colored Petri nets (CPNs) are an extension of Petri nets, a formalism for modeling of ...
Added: January 31, 2024
Link Graph and Data-Driven Graphs as Complex Networks: Comparative Study
Gromov V., , in: 6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers. Tools and Methods of Program AnalysisVol. 1559: CCIS .: Springer, 2024. P. 120–129.
Added: October 29, 2024
Research target: Computer Science
Language: English
DOI
Text on another site
Keywords: software engineeringformal methodsdistributed computer systemsSoftware architecting artificial intelligence
6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers. Tools and Methods of Program Analysis
Similar publications
Метод кодирования голосового источника турбулентного типа на основе гибридной модели линейного предсказания
Савченко В. В., Savchenko L., Измерительная техника 2026 Т. 75 № 3 С. 105–113
Within the framework of a current area of research in the field of speech acoustics – non-invasive analysis of speech production processes – the acute problem of insufficient accuracy of parametric methods for coding a turbulent (noise) type voice source is considered. In order to overcome this problem, a method for coding a sound source with increased ...
Added: September 11, 2026
Может ли ИИ производить значение? Семантический капитал, «стохастический попугай» и пределы антропоцентризма
Филатова А. А., Эпистемология и философия науки 2026 Т. 63 № 2 С. 154–171
intelligence (hereafter, AI), particularly in the form of large lan guage models, has prompted a renewed wave of philosophical debates concerning the semantic competences of technical sys tems and the criteria for evaluating the outputs they generate, especially textual outputs. This article examines a set of central problem areas and their treatment in contemporary philosophical ...
Added: September 10, 2026
What Do Text-to-Image Models Know About the Languages of the World?
Фирсанова В. И., Journal of Mathematical Sciences 2024 Vol. 285 No. 1 P. 112–125
Text-to-image models use user-generated prompts to produce images. Such text-to-image models as DALL-E 2, Imagen, Stable Diffusion, and Midjourney can generate photorealistic or similar to human-drawn images. Apart from imitating human art, large text-to-image models have learned to produce combinations of pixels reminiscent of captions in natural languages. For example, a generated image might contain ...
Added: September 9, 2026
Разработка интерфейса виртуального ассистента преподавателя на основе технологий вызова функций и инженерии инструкций для больших языковых моделей
Фирсанова В. И., Человек: образ и сущность. Гуманитарные аспекты 2025 Vol. 2 No. 62 P. 203–214
Abstract. The paper highlights prompt engineering in academic setting to reduce plagiarism and increase students' interest. The research problem is the lack of a unified methodology for using artificial intelligence in education. The paper aims to create a generative artificial intelligence user interface, the Virtual Teaching Assistant. Teachers were interviewed, the first collection of presets ...
Added: September 9, 2026
Анализ согласованности голосования стран ЕАЭС и ОДКБ в ГА ООН с помощью иерархической кластеризации
Вохминцев И. В., Вестник международных организаций: образование, наука, новая экономика 2026 Т. 21 № 2
The EAEU and the CSTO are Russia’s principal regional international organisations. Understanding, assessing, and analysing the foreign-policy positions of the countries that belong to them is a matter of the state’s national interests. This determines the purpose of the study: to identify the level and the form of cohesion in the voting of EAEU and ...
Added: September 7, 2026
Pupillometry and autonomic nervous system responses to cognitive load and false feedback: an unsupervised machine learning approach
Alshanskaia E., Portnova G., Liaukovich K. et al., Frontiers in Neuroscience 2024 Vol. 18
Added: September 7, 2026
Oil Spill Segmentation in SAR Data Using ViT-UNet: Performance and Practical Insights
Зуенко Д. О., Trofimova E., Хайдарова И., IEEE Access 2026 Vol. 14 P. 121339–121357
Oil spill segmentation in Synthetic Aperture Radar (SAR) images is limited by noisy annotations in publicly available datasets and by architectural choices that interact with label quality in opposing directions. First, we introduce a manually refined version of the Deep-SAR Oil Spill (SOS) dataset, in which 36.25% of masks are corrected for false positives, missed ...
Added: September 7, 2026
Variational representation of weighted divergencies and error exponent function
Kelbert M., Statistics 2026 Vol. 60
We present variational representations for the weighted divergencies and exponential error function, and discuss implications for the statistical inference and entropic optimal transport. ...
Added: September 7, 2026
Scalable machine learning approach to disordered s-wave superconductors
Неверов В. Д., Красавин А. В., Vagov A. et al., Physical Review B: Condensed Matter and Materials Physics 2026 Vol. 113 P. 1–6
We develop a neural network approach to solve the self-consistent Bogoliubov-de Gennes equations in strongly disordered s-wave superconductors. The method accurately reproduces inhomogeneous gap distributions and generalizes to system sizes far larger than those used in training. It reduces computational scaling from O(N6 ) to O(N2), enabling quantitative analysis of percolation phenomena and the superconductor-insulator ...
Added: September 5, 2026
On the rate of Gaussian approximation for online linear regression problems
Sheshukova M., Durmus A., Khusainov M. et al., Statistics 2026 P. 1–25
In this paper, we consider the problem of Gaussian approximation for the online linear regression task. We derive the corresponding rates for the setting of a constant stepsize and study the explicit dependence of the convergence rate on the problem dimension d and quantities related to the design matrix. When the number of iterations n is known in advance, ...
Added: September 4, 2026
Proceedings of the 42nd Conference on Uncertainty in Artificial Intelligence (UAI), PMLR Volume 337, 17-21 August 2026, KIT, Amsterdam, the Netherlands
Proceedings of Machine Learning Research , 2026.
Added: September 4, 2026
Банки и экосистемы
Бровкина Н. Е., Терновская Е. П., Мешкова Е. И. et al., В кн.: Банк в современной экономикеКн. Банк в современной экономике.: М.: КноРус, 2026. С. 127–147.
Banks are the central link in the national financial market and the economy as a whole. The share of bank assets in the asset structure of the Russian financial market, despite a slight decline, remains dominant relative to other participants, reaching 80%. Russian banks are multifaceted. On the one hand, they provide working capital financing, long-term ...
Added: September 3, 2026
Tokyo Sympathy Tower by Qudan Rie: The Tower of Babel of Our Days and the Birth of the “New Human”
Borkina A., Russian Japanology Review 2026 Vol. 9 No. 1 P. 30–48
The article examines the novel by Japanese writer Qudan Rie Tokyo Sympathy Tower, which was awarded the prestigious Akutagawa Literary Prize in 2024. The award sparked a wide discussion due to the writer’s use of generative artificial intelligence in her work, which not only suggested some ideas, but also became the prototype for one of ...
Added: September 2, 2026
A unified frequency-domain framework for tilted slice localization and ischemic stroke detection
Khodadoust J., Kulikova S., Khodadoust F., Biomedical Signal Processing and Control 2027 Vol. 129 P. 111284–111284
Acute ischemic stroke (AIS) analysis from two-dimensional (2D) clinical imaging is hindered by uncontrolled slice tilt and geometric inconsistencies that violate the assumptions of pose-agnostic deep learning (DL) models. This paper proposes a unified geometry-aware, frequency-domain framework for tilted slice localization and ischemic stroke segmentation that explicitly decouples pose estimation from lesion analysis. The method ...
Added: September 2, 2026
Proceedings of the 2026 Fourth International Conference on Distributed Computing and High Performance Computing (DCHPC)
IEEE, 2026.
On behalf of the Organizing Committee, it is my great pleasure to extend a warm welcome to all participants of the Fourth International IEEE Conference on Distributed Computing and High-Performance Computing (DCHPC 2026), held in Tehran from May 10–11, 2026. This conference is jointly organized by the School of Computer Science at the Institute for Research in Fundamental Sciences (IPM) ...
Added: September 2, 2026
Discrete Markowitz Portfolio Optimization with Open-Source Classical and Quantum-Inspired Solvers: A Cross-Market Walk-Forward Study
S.M. Avdoshin, Patrushev K. A., Proceedings of the Institute for System Programming of the RAS 2026 Vol. 38 No. 4-2 P. 245–256
The cardinality-constrained Markowitz problem is NP-hard and traditionally solved with commercial MIQP solvers. Following the 2022 export restrictions that rendered both commercial MIQP software and cloud quantum platforms (IBM Quantum, D-Wave Leap) inaccessible from the Russian Federation, practitioners require open-source alternatives. This paper systematically compares three solver families for the discrete mean-variance problem: two open-source ...
Added: August 27, 2026
Benchmarking Synolitic Graphs for Autism Classification from Multisite Resting-State fMRI
Zaikin A., Vlasenko D., Zakharov D. et al., Diagnostics 2026 Vol. 16 No. 17 P. 1–15
Background/Objectives: Synolitic graphs (SGs) were developed for task-based fMRI, where edge weights encode the discriminative power of pairwise regional features; whether similar information can be recovered from resting-state data was untested. We benchmarked SGs for autism spectrum disorder (ASD) classification using the multisite ABIDE-I dataset (871 subjects: 403 subjects with ASD, 468 typical controls; 17 sites; CC200 atlas). Methods: Using ...
Added: August 27, 2026
Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование. Современные проблемы, приложения и проблемы истории. Материалы XXIV Международной конференции, посвящённой 110-летию со дня рождения академика Юрия Владимировича Линника и 110-летию со дня рождения профессора Андрея Борисовича Шидловского и 80-летию со дня рождения профессора Геннадия Ивановича Архипова
Тула: Тульский государственный педагогический университет им. Л.Н. Толстого, 2025.
Сборник содержит материалы, представленные на XXIV Международной конференции «Алгебра, теория чисел, дискретная геометрия и многомасштабное моделирование: современные проблемы, приложения и проблемы истории», посвящённой 110-летию со дня рождения академика Юрия Владимировича Линника и 110-летию со дня рождения профессора Андрея Борисовича Шидловского и 80-летию со дня рождения профессора Геннадия Ивановича Архипова. Материалы конференции будут полезны научным работникам, ...
Added: August 27, 2026
Characterizing the Scheduling Performance of 5G NR Base Stations Under Signaling and Data Traffic Constraints
Eduard Sopin, Nazarin A., Begishev V. et al., IEEE Transactions on Vehicular Technology 2026 Vol. 75 No. 6 P. 10995–11007
Aimed at rate-greedy applications having extreme requirements for the data rate at the air interface, 5G New Radio (NR) systems may experience problems when the number of user equipment (UE) in the coverage of the cell increases due to limited capacity of the physical downlink control channel (PDCCH).The aim of this study is to explore ...
Added: August 26, 2026
Generative geospatial modelling with geometric algebra
Yu Z., Wang J., Wang Z. et al., Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2026 Vol. 384 No. 2326 Article 20250103
The integration of data-driven and knowledge-driven approaches in generative geospatial modelling (GGM) is often hindered by their mathematical incompatibilities. Here, we propose a geometric algebra (GA)-based framework that employs a unified multi-vector representation to fuse heterogeneous data and diverse knowledge. The framework facilitates structured reasoning and hypothesis generation through a task-adaptable, five-stage cycle: representation, reasoning, ...
Added: August 13, 2026
ASEAN and the Resolution of the South China Sea Issue: Assessing Digital Limitations
Kanaev E., Southeast Asia: Actual Problems of Development 2026 Vol. 2 No. 2(71) P. 11–22
The author focuses on a strengthening digital component in the evolution of the South China Sea issue in the context of ASEAN’s evolving approach to the deepening contradictions and its policy in the digital field. On outlining ASEAN’s policy on the South China Sea issue, the author proceeds to exploring the digital agenda of ASEAN’s ...
Added: July 30, 2026
Artificial Intelligence in Courts, Arbitration and Issues of “Hallucinations”
Klementiev A., Kasatkina A., Legal Issues in the Digital Age 2026 Vol. 7 No. 2 P. 40–60
The article examines specific aspects of artificial (machine) intelligence in dispute resolution in state and arbitration courts . Drawing on legal research methods and data from artificial intelligence science, the authors propose a significant obstacle to its application in the legal sphere is the so-called “hallucination problem,” i .e ., the generation of false data by machine intelligence programs ...
Added: July 14, 2026
Проникновение искусственного интеллекта в жизненный цикл разработки программного обеспечения: эмпирический анализ рынка труда
Stoyanova O., Окусков И. С., Бизнес-информатика 2026 Т. 20 № 2 С. 81–93
The integration of artificial intelligence (AI) into information technologies is reshaping competency requirements for IT specialists. However, AI competency penetration into the early phases of the Software Development Life Cycle (SDLC) – requirements analysis and planning – remains underexplored. Existing studies either rely on static competency models lacking empirical validation or analyze the labor market ...
Added: July 5, 2026
Сегодня: четыре мегатренда клиентоцентричности
Selskiy A., Snegirev A., Колбин Е. И. et al., В кн.: Цифровая клиентоцентричность. Как современные технологии помогают компаниям и государству сделать шаг навстречу потребителям.: М.: ИСИЭЗ ВШЭ, 2026. Гл. 2 С. 71–142.
The second chapter of the monograph analyzes the current megatrends of customer centricity, shaped by digital technologies and transforming the approaches of companies and government bodies to customer and citizen engagement. Based on semantic big data analysis (using the iFORA system) and expert interviews, the authors identify four key megatrends. The first megatrend, proactive engagement and personalization, describes ...
Added: June 26, 2026
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit