Программный комитет TMPA-2013 провел тщательный отбор статей, собрав по три-четыре рецензии на каждую из представленных работ.
Список докладов которые будут приняты для участия в конференции после внесения авторами изменений, основанных на комментариях, предложениях и замечаниях рецензентов, опубликован здесь:
http://tmpaconf.org/programru
Acceptance rate = 0.67 ( 0.46 для секционных докладов )
Секционные доклады
Кузьмин Е., Рябухин Д., Шипов А.
Построение и вертификация ПЛК-программ по LTL-спецификации
Ярославский государственный университет им. П.Г. Демидова
Верт Т., Крикун Т. и Глухих М.
Обнаружение дефектов работы с указателями в программах С и С++ с исользованием статистического анализа и логического вывода
Санкт-Петербургский государственный политехнический университет, Технический университет Клаусталя
Никешин А., Пакулин Н., Шнитман
Автоматизация тестирования соответствия протокола безопасности транспортного уровня TLS
Институт системного программирования РАН
Подымов В., Попеско У.
Вертификация программно-конфигурируемых сетей при помощи системы UPPAAL
МГУ имени М.В. Ломоносова
Иванников В.П., Камкин А.С., Чупилко М.М.
Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс
Институт системного программирования Российской академии наук (ИСП РАН)
Андрианова А., Ицыксон В.
Автоматизированный синтез тестов для Java-программ на основе анализа программ и учета контрактов
Санк-Петербургский государственный политехнический университет
Ануреев И.
На пути к технологии разработки стредств дедуктивной вертификации программ
Институт систем информатики имени А.П. Ершова, Россия
Френкель С.Л., Захаров В.Н., Ушаков В.Г.
Унифицированная высокоуровневая модель программно-аппаратной системы для верификации свойств надежности функционирования
Институт Проблем Информатики РАН, Московский Гос. Университет им. М.В. Ломоносова
Буянова О., Булда А, Зверев А.
Применение симуляторов рынка ценных бумаг для тестирования систем агрегации и распределения информации о котировках (Ticker Plant)
ООО «Инновационные Трейдинговые Системы», Костромской государственный технологический университет, Exactpro Systems LLC
Шипин А.А., Соколов В.А., Чалый Д.Ю.
Использование контрольных точек для вертификации SystemC-программ
Ярославский государственный университет
Матвеева А., Антонов Н., Иткин И.
Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем
ООО «Инновационные Трейдинговые Системы», Костромской государственный технологический университет, Exactpro Systems LLC
Алексеенко А., Проценко П.,Матвеева А., Иткин И.
Тестирование совместимости протокольных подключений клиентов биржевых и брокерских систем
ООО «Инновационные Трейдинговые Системы», Exactpro Systems LLC
Гурьев Д., Гай М., Иткин И., Терентьев А.
Высокопроизводительный генератор нагрузки для тестирования систем автоматизированной торговли
ООО «Инновационные Трейдинговые Системы», Саратовский государственный технический университет имени Гагарина Ю.А.
Цителов Д. ,Трифанов В.
Динамический поиск гонок в Java-программах на основе синхронизационных контрактов
Devexperts LLC, СПбГУ
Зорин Д.
Синтез архитектуры многопроцессорных вычислительных систем с учетом ограничений реального времени и требований к надежности
Московский Государственный Университет им. М.В. Ломоносова
Пакулин Н.
Динамическая верификация гибридных систем
Институт системного программирования РАН
Сартаков В., Тарасиков А.
Анализ производительности сетевой подсистемы микроядерного окружения Genode
ksys labs
Басок Б., Гречин А.
Об усовершенствовании статистического метода оценки полноты тестов программ и устройств
Московский государственный технический университет радиотехники, электроники и автоматики
Краткие сообщения
Смирнов М., Олоничев В., Староверов Б.
Особенности разработки программного обеспечения для Linux-контроллеров
Костромской государственный технологический университет
Тимофеев А.
Методика внедрения модельно-ориентированного подхода в процесс разработки программного обеспечения
Владимирский Государственный Университет имени А.Г. и Н.Г. Столетовых
Сенов А.
Применение технологий OLAP и MapReduce для обработки результатов нагрузочного тестирования
Костромской государственный технологический университет
Буй Д., Компан С.
Диаграммы классов ООП: форматицация и анализ
Киевский национальный университет имени Тараса Шевченка
Бобров И., Зверев А.
Тестирование графического интерфейса трейдинговых терминалов в условиях высокочастотной торговли
ООО «Инновационные Трейдинговые Системы»
Прядкина Н., Крюков А.
Использование MBT-подхода для верификации систем мониторинга и контроля на фондовых биржах
Костромской государственный технологический университет
Лукин М., Шалыто А.
Верификация распределенных автоматных программ с использованием инструментального средства Spin
СПб НИУ ИТМО
Журавлев М., Полозов В.
Подход к верификации корректности миграции данных между СУБД с использованием криптографических хэш-функций
Санкт-Петербургский Государственный Университет
