TMPA-2013: agenda

About TMPA-2013

About TMPA-2013 Conference (RU)


Report
Yuri G. Karpov

Verification of Parallel Programs – Current Stage and Perspectives (RU)


Yuri G. Karpov, Professor, Head of Department of Distributed Computing and Networking of the St. Petersburg State Polytechnic University Technical Cybernetics School
Vladimir A. Zakharov

Mathematical Aspects of Program Obfuscation (RU)


Vladimir A. Zakharov, Associate Professor of Mathematical Cybernetics Department, Head of Laboratory of Mathematical Problems of Computer Security, Faculty of Computational Mathematics and Cybernetics, Moscow State University (MSU)
Pakulin, N.

Dynamic Verification of Hybrid Systems (RU)


Pakulin, N., Institute for System Programming, ISP RAS
Popesko

Verification of Programmable and Configurable Networks Using the UPPAAL System (RU)


Podymov, V., Popesko, U., Moscow State University
Ryabukhin, D.

Building and Verification of PLC Programs Based on LTL Specification (RU)


Kuzmin, Е., Ryabukhin, D., Shipov, А., Yaroslavl State University
Smirnov

The Specifics of Developing Software for Linux Controllers (RU)


Smirnov, М., Olonichev, V., Staroverov, B., Kostroma State Technological University
Pakulin N.

Technical Solutions and Non-Technical Challenges of Test Automation (RU)


Alexander K. Petrenko, Professor, Head of Programming Technologies Department, Institute for System Programming ISP RAS
Basok, B.

On Improving the Statistical Method of Assessing Test Coverage for Programs and Devices (RU)


Basok, B., Grechin, A., Moscow State Technical University of Radioengineering, Electronics and Automation
Zhuravlev, М.

An Approach to Verification of Correctness of Data Migration between DBMS Using Cryptographic Hash Functions (RU)


Zhuravlev, М., Polozov, V., St. Petersburg State University
Senov, А

Applying OLAP and MapReduce Technologies for Performance Testing Results Processing (RU)


Senov, А., Kostroma State Technological University
Matveeva, А.

The Specifics of Test Tools Used in Trading Systems Production Environments (RU)


Matveeva, А., Antonov, N., Itkin, I., Innovative Trading Systems, LLC, Kostroma State Technological University, Exactpro Systems, LLC
Sharov D.

Compatibility Testing of Protocol Connections of Exchange and Broker Systems Clients (RU)


Alexeenko, А., Protsenko, P., Matveeva, А., Itkin, I., Sharov D., Innovative Trading Systems, LLC, Exactpro Systems LLC
Buyanova, O., Bulda, A.

The Application of Exchange Simulators for Ticker Plant Testing (RU)


Buyanova, O., Zverev, А., Bulda, A., Innovative Trading Systems, LLC, Kostroma State Technological University, Exactpro Systems, LLC
Itkin, I.

High Performance Load Generator for Automated Trading Systems Testing (RU)


Guriev, D., Gai, M., Itkin, I., Terentiev, A., Innovative Trading Systems, LLC
Pryadkina N., Kryukov, A.

Model Based Testing Approach for Verification of Exchange Surveillance Systems (RU)


Pryadkina N., Kryukov, A., Kostroma State Technological University
Bobrov, I.

Testing of Graphical Interface of Trading Terminals in High Frequency Trading Conditions (RU)


Bobrov, I., Zverev, A., Innovative Trading Systems, LLC
Panel discussion

Electronic Trading Platforms: Unconventional Methods of Software Testing (RU)


Panel discussion
Trifanov, V.

Search of Race Conditions in Java Programs Based on Synchronization Contracts (RU)


Tsytelov, D., Trifanov, V., Devexperts LLC, St. Petersburg State University
>Vert, Т.

Finding Defects in C and C++ Pointers Using Static Analysis and Logical Inference (RU)


Vert Т., Krikun, Т. и Glukhih, М., St. Petersburg State Polytechnic University, Clausthal Technical
Itsykson, V.

Automated Test Synthesis for Java Programs Based on Program Analysis and Contract Inventory (RU)


Andrianova, А., Itsykson, V., St. Petersburg State Polytechnic University
Panel discussion

How to Write a Good Scientific Paper (RU)


Panel discussion
Ivannikov V.P., Kamkin A.S., Chupilko M.M., Institute for System Programming, ISP RAS

Verification of Correct Behaviour of HDL-Models of Digital Equipment Based on the Dynamic Comparison of Tracks (RU)


Ivannikov V.P., Kamkin A.S., Chupilko M.M., Institute for System Programming, ISP RAS
Bui D., Kompan S., Taras Shevchenko National University of Kyiv

OOP Class Diagrams: Formation and Analysis (RU)


Bui D., Kompan S., Taras Shevchenko National University of Kyiv
Zaitsev D., Professor, International Humanitarian University, Odessa, Ukraine

The Efficient Universal Sleptsov Net (RU)


Zaitsev D., Professor, International Humanitarian University, Odessa, Ukraine