Skip to main content
SpringerLink
Log in

Tools and Methods of Program Analysis

6th International Conference, TMPA 2021, Tomsk, Russia, November 25–27, 2021, Revised Selected Papers

  • Conference proceedings
  • © 2024

Overview

Editors:
  1. Rostislav Yavorskiy

    1. Tomsk Polytechnic University, Tomsk, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ana Rosa Cavalli

    1. Telecom SudParis, Paris, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Anna Kalenkova

    1. The University of Adelaide, Adelaide, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Communications in Computer and Information Science (CCIS, volume 1559)

Included in the following conference series:

Conference proceedings info: TMPA 2021.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 64.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Contributed Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Algorithm for Mapping Layout Grids in User Interfaces: Automating the “Squint Test”

      • Maxim Bakaev, Maxim Shirokov
      Pages 3-14

    3. Process Mining Algorithm for Online Intrusion Detection System

      • Yinzheng Zhong, John Y. Goulermas, Alexei Lisitsa
      Pages 15-25

    4. Bayesian Optimization with Time-Decaying Jitter for Hyperparameter Tuning of Neural Networks

      • Konstantin A. Maslov
      Pages 26-40

    5. Investigation of the Capabilities of Artificial Neural Networks in the Problem of Classifying Objects with Dynamic Features

      • N. V. Laptev, V. V. Laptev, O. M. Gerget, D. Yu. Kolpashchikov, A. A. Kravchenko
      Pages 41-51

    6. Analysis of Hardware-Implemented U-Net–Like Convolutional Neural Networks

      • Zoev Ivan, Maslov Konstantin, Markov Nikolay, Mytsko Evgeniy
      Pages 52-63

    7. Early Detection of Tasks with Uncommonly Long Run Duration in Post-trade Systems

      • Maxim Nikiforov, Danila Gorkavchenko, Murad Mamedov, Andrey Novikov, Nikita Pushchin
      Pages 64-74

    8. Unpaired Image-To-Image Translation Using Transformer-Based CycleGAN

      • Chongyu Gu, Maxim Gromov
      Pages 75-82

    9. Model-Based Testing Approach for Financial Technology Platforms: An Industrial Implementation

      • Liubov Konnova, Ivan Scherbinin, Vyacheslav Okhlopkov, Levan Gharibashvili, Mariam Mtsariashvili, Tiniko Babalashvili
      Pages 83-93

    10. Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives

      • Julio C. Carrasquel, Irina A. Lomazova
      Pages 94-106

    11. SPIDER: Specification-Based Integration Defect Revealer

      • Vladislav Feofilaktov, Vladimir Itsykson
      Pages 107-119

    12. Link Graph and Data-Driven Graphs as Complex Networks: Comparative Study

      • Vasilii A. Gromov
      Pages 120-129

    13. An Approach to Creating a Synthetic Financial Transactions Dataset Based on an NDA-Protected Dataset

      • Luba Konnova, Yuri Silenok, Dmitry Fomin, Daria Degtiarenko, Ksenia Vorontsova, Andrey Novikov et al.
      Pages 130-141

    14. Optic Flow Approximated by a Homogeneous, Three-Dimensional Point Renewal Process

      • D. V. Dubinin, A. I. Kochegurov, E. A. Kochegurova, V. E. Geringer
      Pages 142-148

    15. Fair Mutual Exclusion for N Processes

      • Yousra Hafidi, Jeroen J. A. Keiren, Jan Friso Groote
      Pages 149-160

    16. Data Stream Processing in Reconciliation Testing: Industrial Experience

      • Iosif Itkin, Elena Treshcheva, Alexey Yermolayev, Nikolay Dorofeev, Stanislav Glushkov
      Pages 161-174

  3. Short Papers

    1. Front Matter

      Pages 175-175
      Download chapter PDF

    2. Detection of Flying Objects Using the YOLOv4 Convolutional Neural Network

      • Semen Tkachev, Nikolay Markov
      Pages 177-182

    3. Modern Experiment Management Systems Architecture for Scientific Big Data

      • Anastasiia Kaida, Aleksei Savelev
      Pages 183-187
Back to top

Other volumes

  1. Tools and Methods of Program Analysis

Keywords

About this book

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.

Editors and Affiliations

  • Tomsk Polytechnic University, Tomsk, Russia

    Rostislav Yavorskiy

  • Telecom SudParis, Paris, France

    Ana Rosa Cavalli

  • The University of Adelaide, Adelaide, Australia

    Anna Kalenkova

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation