|
Design Automation Conference 2013 |
2-6 июня 2013 г. сотрудники отдела Технологий программирования ИСП РАН Михаил Чупилко, Андрей Татарников и Александр Камкин приняли участие в Конференции по проектированию электронных систем DAC-2013, которая состоялась в городе Остин, США. Они представили стендовый доклад на University Booth на тему «C++TESK and MicroTESK Hardware Verification Toolkits».
Более подробную информацию можно получить здесь. |
|
30-31 мая 2013 г. в Казани состоялся 7-ой коллоквиум молодых ученых в области программной инженерии SYRCoSE 2013, организованный Институтом системного программирования РАН, Санкт-Петербургским государственным университетом и Казанским национальным исследовательским университетом им. А.Н. Туполева при поддержке Intel, Российского фонда фундаментальных исследований и Нижегородского фонда содействия образованию.
Михаил Чупилко и Александр Петренко представили доклад на тему “Recognition and Explanation of Incorrect Behavior in Simulation-Based Hardware Verification”. Александр Камкин, Татьяна Сергеева, Андрей Татарников и Артемий Утехин (Московский Государственный Университет им. М.В. Ломоносова) представили доклад на тему “MicroTESK: An Extendable Framework for Test Program Generation“. Илья Захаров, Вадим Мутилин, Евгений Новиков и Алексей Хорошилов представили доклад на тему “Generating Environment Model for Linux Device Drivers“. Никита Комаров представил доклад на тему “On the Implementation of Data-Breakpoints Based Race Detection for Linux Kernel Modules“.
Более подробную информацию можно получить здесь. |
|
|
Model-Based Testing Workshop 2013 |
|
Сотрудники отдела "Технологий программирования" приняли участие в Восьмом международном семинаре по тестированию на основе моделей (Model-Based Testing Workshop), прошедшем 17 марта в Риме, Италия. Михаил Чупилко и Александр Камкин представили доклад на тему "Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces". Виктор Кулямин, совместно с Йенсом Грабовски (University of Gottingen, Germany), Аланом-Георгесом Воуффо Феуджио (Thales, Germany), Анталом Ву-Хен-Чанг (Ericsson, Hungary) и Миланом Зорич (ETSI, France) представил доклад на тему "Towards the Usage of MBT at ETSI".
Более подробную информацию можно получить здесь. |
|
|
30-31 мая 2013 г. в Казани состоится 7-ой коллоквиум молодых ученых в области программной инженерии SYRCoSE 2013, организованный Институтом системного программирования РАН, Санкт-Петербургским государственным университетом и Казанским национальным исследовательским университетом им. А.Н. Туполева при поддержке Intel, Российского фонда фундаментальных исследований и Нижегородского фонда содействия образованию. Приглашаем студентов, аспирантов и молодых кандидатов наук (до 35 лет) принять участие в работе коллоквиума. Более подробная информация доступна здесь. |
|
|
ETSI Model-Based Testing User Conference |
|
25-27 сентября 2012 года сотрудник отдела «Технологий программирования» ИСП РАН Виктор Кулямин принял участие в конференции ETSI Model-Based Testing User Conference, состоявшей в Таллине, Эстония. Более подробную информацию о конференции можно получить здесь.
|
|
|
|
<< [Первая] < [Предыдущая] 1 2 3 4 5 6 7 8 9 [Следующая] > [Последняя] >>
|
| Результаты 1 - 9 из 81 |
