TMPA-2013: agenda

About TMPA-2013 Conference (RU)

Report

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

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)

Dynamic Verification of Hybrid Systems (RU)

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

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

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

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

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

The Specifics of Developing Software for Linux Controllers (RU)

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

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

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

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

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

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

Senov, А., Kostroma State Technological University

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

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

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

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

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

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

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

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

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

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

Panel discussion

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

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

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

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

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

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

How to Write a Good Scientific Paper (RU)

Panel discussion

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

OOP Class Diagrams: Formation and Analysis (RU)

Bui D., Kompan S., Taras Shevchenko National University of Kyiv

The Efficient Universal Sleptsov Net (RU)

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