TMPA-2014: agenda

About TMPA-2014

Vesti Kostroma about
TMPA-2014 (RU)

Iosif Itkin

How We Test Software at Exactpro (RU)

Iosif Itkin,
Exactpro Systems

Andrey Konushin

The Agile-Tester: a Professional or a Craftsman? (RU)

Andrey Konushin,
RSTQB, Vladimir
Josef Widder

Introduction into Fault-tolerant Distributed Algorithms and their Modeling

Josef Widder, Vienna University of Technology
Vitaly Trifanov

Current Challenges in the Area of Efficient Parallel Algorithms and Data
Structure Development (RU)

Vitaly Trifanov, Dmitry Tsitelov, Devexperts LLC, Saint Petersburg
Michael Lukin

Verification of 800 Automata-Based Programs Built by means of Genetic Programming (RU)

Michael Lukin, Maxim Buzdalov and Anatoly Shalyto, Saint Petersburg State University of Information Technologies, Mechanics and Optics, Saint Petersburg
Vladimir Shelekhov

Optimization of Automata-Based Programs by means of Requirements Transformation Method (RU)

Vladimir Shelekhov, A.P. Ershov Institute of Informatics Systems, Novosibirsk
Andrew Mironov

A Method of Reducing Computational Complexity in Verification of Programming Probability Models (RU)

Andrew Mironov, Sergei Frenkel, ISP RAS, Moscow
Michael Chushkin

A System of Deductive Verification of Predicate Programs (RU)

Michael Chushkin, A.P. Ershov Institute of Informatics Systems, Novosibirsk
Sergey Frenkel

Probabilistic Verification in Computational Systems Design (RU)

Sergey Frenkel, Victor Zakharov, Vladimir Ushakov, IPI RAS, Lomonosov Moscow State University, Moscow
Mikhail Vyugin

New Exchange Platform NP RTS: Goals, Architecture and Risk Management (RU)

Mikhail Vyugin, NP RTS
Igor Konnov

Parametrized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction (RU)

Igor Konnov, Vienna University of Technology
Pavel Protsenko

Trading Day Logs Replay Limitations and Test Tools Applicability (RU)

Pavel Protsenko, Anna-Mariia Lukina, Iosif Itkin, Anna Khristenok, Andrey Alekseenko
and Tatiana Pavlyuk
, Exactpro Systems, London, Кostroma, Моscow, Оbninsk
Vsevolod Brekelov

Integration Test Automation for FIX Protocol Data
Exchange Modules (RU)

Vsevolod Brekelov, Ilya Barigin, Egor Borisov, Devexperts LLC,
Saint Petersburg

Rostislav Yavorsky

Modelling of Exchange Trading Participants Behavior Test Scenarios (RU)

Elena Gerasimova, Rostislav Yavorsky, Higher School of Economics, Moscow
Dmitry Chalyy

On a Method of Programmatically Configurable Networks Balancing (RU)

Michael Nikitinsky, Dmitry Chalyy, Yaroslavl State University, Energia-info LLC, Yaroslavl
Dmitry Chalyy

A Methodology of Reproducible Research of Simulation Test Models and Communication Protocols Implementations (RU)

Dmitry Chalyy, Yaroslavl State University, Yaroslavl
Sergey Staroletov

On Contemporaneous Application of Model Driven Development and Model Based Checking Methods (RU)

Sergey Staroletov, Altai State Technical University, Barnaul
Victor Altukhov

A runtime verification system for Software Defined Networks (RU)

Victor Altukhov, Eugene Chemeritskiy, Vladislav Podymov and Vladimir Zakharov, Lomonosov Moscow State University, Moscow
Vasily Sartakov

Approaches to the Fragmentation of a Paravirtualization System (RU)

Vasily Sartakov, Nikolay Golikov, ksys labs, Odintsovo
Yakоv Kirilenko

Service Robotics in Science and Education (RU)

Yakоv Kirilenko, CyberTech, Saint Petersburg
Tatiana Ulyanina

Test Automation of a Backup System (RU)

Vadim Zherder, Tatiana Ulyanina, Mockow Exchange, National Research Nuclear University MEPhI, Moscow
Alyona Bulda Alexey Zverev

Testing of a Risk Control System Implementation for High-Load Exchange and Brokerage Systems (RU)

Alyona Bulda, Maxim Rudovsky and Alexey Zverev, Exactpro Systems, Kostroma, Моscow
Dmitriy Ryabukhin

On Modelling of Coordinated Behavior of PLC Sensors (RU)

Egor Kuzmin, Dmitriy Ryabukhin and Valery Sokolov, Yaroslavl State University, Yaroslavl
Nikita Voinov

The Analysis of Test Scenario Coverage for a UCM-Model (RU)

Igor Nikiforov, Pavel Drobintsev, Vsevolod Kotlyarov, Nikita Voinov, Saint Petersburg State Polytechnic University, Saint Petersburg
Pavel Drobintsev

Test Set Generation Based on a Management Stream Model (RU)

Igor Nikiforov, Pavel Drobintsev, Vsevolod Kotlyarov, Nikita Voinov, Saint Petersburg State Polytechnic University, Saint Petersburg
Anastasiia Ragozina

Generalized Tabular LL-Analysis (RU)

Anastasiia Ragozina, Semyon Grigorev, Saint Petersburg State University, JetBrains, Saint Petersburg
Mikhail Mandrykin

Extended High-Level C-Compatible Memory Model with Limited Low-Level Pointer Cast Support for Jessie Intermediate Language (RU)

Mikhail Mandrykin and Alexey Khoroshilov, ISP RAS, Moscow, Exactpro Systems LLC
Nikolay Shilov

Alias Calculus for a Simple Imperative Language with Decidable Pointer Arithmetic (RU)

Nikolay Shilov, Alexander Vorontsov, Aizhan Satekbayeva, Nazarbayev University, Kazakhstan
Sergey Smolov

A Method of Building Extended Finite State Machines According to HDL-Description Based on Static Code Analysis (RU)

Sergey Smolov, Alexander Kamkin, ISP RAS, Moscow
Pavel Andrianov

Lightweight Static Analysis for Data Race Detection in Operating System Kernels (RU)

Pavel Andrianov, Alexey Khoroshilov, Vadim Mutilin, ISP RAS, Moscow
Ivan Grachev

Static Analysis of Transactions Management in Applications for Java EE Platform (RU)

Ivan Grachev, Andrey Solovev, Vladimir State University, Vladimir
Andrey Tyugashev

Automated Software Development and Verification Technologies in the Aerospace Industry (RU)

Andrey Tyugashev, SSAU, Samara