TMPA-2013: программа

About TMPA-2013

О конференции TMPA-2013


Видео репортаж
Yuri G. Karpov

Верификация параллельных программ современный этап и перспективы

Карпов Юрий Глебович, д.т.н., профессор, заведующий кафедрой «Распределенные вычисления и компьютерные сети» СПбГПУ
Vladimir A. Zakharov

Математические аспекты задачи обфускации программ

Захаров Владимир Анатольевич, д.ф.-м.н., доцент кафедры МК, зав. лабораторией МПКБ
Pakulin, N.

Динамическая верификация гибридных систем

Пакулин Н., Институт системного программирования РАН
Popesko

Верификация программно-конфигурируемых сетей при помощи системы UPPAAL

Подымов В., Попеско У., МГУ имени М.В. Ломоносова
Ryabukhin, D.

Построение и верификация ПЛК-программ по LTL-спецификации

Кузьмин Е., Рябухин Д., Шипов А., Ярославский государственный университет им. П.Г. Демидова
Smirnov

Особенности разработки программного обеспечения для Linux-контроллеров

Смирнов М., Олоничев В., Староверов Б., Костромской государственный технологический университет
Pakulin N.

Технические решения и нетехнические проблемы автоматизации тестирования

Петренко А., д.ф.-м.н., профессор, заведующий отделом «Технологии программирования», ИСПРАН
Basok, B.

Об усовершенствовании статистического метода оценки полноты тестов программ и устройств

Басок Б., Гречин А., Московский государственный технический университет радиотехники, электроники и автоматики
Zhuravlev, М.

Подход к верификации корректности миграции данных между СУБД с использованием криптографических хэш-функций

Журавлев М., Полозов В., Санкт-Петербургский Государственный Университет
Senov, А

Использование технологий OLAP и MapReduce для обработки результатов нагрузочного тестирования

Сенов А., Костромской государственный технологический университет
Matveeva, А.

Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем

Матвеева А., Антонов Н., Иткин И., ООО «Инновационные Трейдинговые Системы», Костромской государственный технологический университет, Exactpro Systems
Sharov D.

Тестирование совместимости протокольных подключений клиентов биржевых и брокерских систем

Алексеенко А., Проценко П., Матвеева А., Иткин И., Шаров Д., ООО «Инновационные Трейдинговые Системы», Exactpro Systems
Buyanova, O., Bulda, A.

Применение симуляторов рынка ценных бумаг для тестирования систем агрегации и распределения информации о котировках (Ticker Plant)

Буянова О., Булда А, Зверев А., ООО «Инновационные Трейдинговые Системы», Костромской государственный технологический университет, Exactpro Systems
Itkin, I.

Высокопроизводительный генератор нагрузки для тестирования систем автоматизированной торговли

Гурьев Д., Гай М., Иткин И., Терентьев А., ООО «Инновационные Трейдинговые Системы», Саратовский государственный технический университет имени Гагарина Ю.А.
Pryadkina N., Kryukov, A.

Использование MBT-подхода для верификации систем мониторинга и контроля на фондовых биржах

Прядкина Н., Крюков А., Костромской государственный технологический университет
Bobrov, I.

Тестирование графического интерфейса трейдинговых терминалов в условиях высокочастотной торговли

Бобров И., Зверев А., ООО «Инновационные Трейдинговые Системы»
Panel discussion

Нешаблонные методы тестирования программного обеспечения для электронных торговых платформ

Круглый стол
Trifanov, V.

Динамический поиск гонок в Java-программах на основе синхронизационных контрактов

Цителов Д., Трифанов В., Devexperts LLC, СПбГУ
>Vert, Т.

Обнаружение дефектов работы с указателями в программах С и С++ с использованием статического анализа и логического вывода

Верт Т., Крикун Т., Глухих М., Санкт-Петербургский государственный политехнический университет, Технический университет Клаусталя
Itsykson, V.

Автоматизированный синтез тестов для Java-программ на основе анализа программ и учета контрактов

Андрианова А., Ицыксон В., Санкт-Петербургский государственный политехнический университет
Panel discussion

Как написать хорошую научную статью

Круглый стол
Иванников В., Камкин А., Чупилко М., Институт системного программирования Российской академии наук (ИСП РАН)

Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс


Иванников В., Камкин А., Чупилко М., Институт системного программирования Российской академии наук (ИСП РАН)
Буй Д., Компан С., Киевский национальный университет имени Тараса Шевченко

Диаграммы классов ООП: формализация и анализ


Буй Д., Компан С., Киевский национальный университет имени Тараса Шевченко
Зайцев Д., Международный гуманитарный университет, Одесса, Украина

Эффективная универсальная сеть Слепцова


Зайцев Д., Международный гуманитарный университет, Одесса, Украина