Dyana Май 2012

dyana@asvk.cs.msu.ru

3 участники
6 обсуждения

Совещания по ГК
by Dmitry Volkanov 28 Май '12

28 Май '12

Уважаемые коллеги! Напоминаю, что завтра, 29 мая состоится совещание группы по верификации в 15:00 в аудитории 591. Ввиду того, что многие аспиранты во вторник будут готовиться к экзамену группа по моделированию собирается в аудитории 761 в СРЕДУ 30 мая в 14:00. P.S. Извиняюсь, в предыдущем письме немного ошибся с датами. -- С уважением, Дмитрий Волканов

1 1

Совещания по ГК
by Dmitry Volkanov 28 Май '12

28 Май '12

Уважаемые коллеги! Напоминаю, что завтра, 29 мая состоится совещание группы по верификации состоится также 15 мая в 15:00 в аудитории 591. Ввиду того что многие аспиранты во вторник будут готовиться к экзамену группа по моделированию собирается в аудитории 761 в 14:00. -- С уважением, Дмитрий Волканов

1 0

Общего совещания по ГК завтра не будет
by Dmitry Volkanov 21 Май '12

21 Май '12

Уважаемые коллеги! Поскольку завтра, 22 мая у многих из нас зачёты, госэкзамены и прочие экзамены, то общего совещания не будет. Тем не менее я планирую с каждым из Вас побеседовать лично. С Павлом планирую поговорить завтра 22го мая после ГосЭкзамена. С Василием, Евгением и Даниилом завтра 22го мая после защиты курсовиков 3го курса. С Виталием и Алевтиной планирую поговорить в четверг 24 мая после защиты курсовиков 4го курса, от Владислава я жду сметы по поездке на PSSV. Прошу не забывать про свои разделы отчёта, у кого остались хвосты. У кого есть вопросы по разделам, я планирую быть на ВМК с 10 часов, пишите-звоните. Сейчас занимаюсь тем, что сливаю все разделы воедино, попутно внося косметические правки. -- С уважением, Дмитрий Волканов

1 0

Совещания по ГК
by Dmitry Volkanov 14 Май '12

14 Май '12

Уважаемые коллеги! Напоминаю, что завтра, 15 мая состоятся совещания по ГК. Группа по моделированию (+ Даниил) собирается в 761 в 12:00. Совещание группы по верификации состоится также 15 мая в 15:00 в аудитории 591. Прошу не забывать про свои разделы отчёта, особенно Владислава и Василия. -- С уважением, Дмитрий Волканов

1 0

Про отчёт и совещание
by Dmitry Volkanov 10 Май '12

10 Май '12

Здравствуйте, коллеги! Следующее совещание по моделированию состоится в пятницу в 11:00 в 761ой, а не в четверг как планировалось ранее. Время совещания по верификации уточняется. К 15 мая прошу всех закончить написание своих глав отчёта. В stage4/report/plan.doc приведена структура разделов отчёта с указанием исполнителей. Предлагаю как и на прошлом не писать весь отчёт в одном гигантском документе, а сделать свой doc в svn на каждый подраздел, в начале имени которого идёт номер подраздела. Например, для подраздела 1.1 документ можно озаглавить 1_1_RTI_Modification.doc (Только никаких русских имён и имён с пробелами, пожалуйста). После того, как документы подразделов будут готовы, мы объединим их в один большой документ. Призываю не забывать использовать шаблон документа stage4/report/section_template.doc, чтобы все документы у нас были написаны в одном стиле. Для заголовков используйте стили "Заголовок *". Для абзацев -- стиль "Обычный с отступом". Ссылки выделяем жёлтым цветом и обозначаем их символьным идентификатором, а в конце вашего файла приводим список статей, на которые вы ссылаетесь. Например, "В данной работе [Смелянский90] рассматривается задача" [Смелянский90] Смелянский Р.Л. Анализ производительности распределенных микропроцессорных вычислительных систем на основе инварианта поведения программ. / Дисс. на соискание ученой степени доктора физико-математических наук. М.:МГУ, 1990. Анологично, у рисунков и таблиц просьба использовать номера подразделов (разделов) в качестве префиксов. Например, [Рисунок 2-1-1] [Таблица 3-2-15] Просьба тех товарищей, кто ещё уже закомитил свои подразделы коммитить их в соответствии с описанными здесь правилами, а остальных просьба править свои подразделы в соответствии с правилами оформления -- С уважением, Дмитрий Волканов

2 2

Fwd: SYRCoSE 2012 notification for paper 18
by Daniel A. Zorin 02 Май '12

02 Май '12

-------- Исходное сообщение -------- Тема: SYRCoSE 2012 notification for paper 18 Дата: Wed, 2 May 2012 08:49:50 +0100 От: SYRCoSE 2012 <syrcose2012(a)easychair.org> Кому: Daniil Zorin <juan(a)lvk.cs.msu.su> Dear Daniil Zorin, We would like to inform you that your paper has been accepted by SYRCoSE 2012 Program Committee as a regular paper, which means that the paper will be published in the colloquium proceedings and you will be allowed approximately 20-25 minutes for oral presentation (exact information will be available soon in the colloquium program). Please correct the paper according to the reviews given below and submit the final version. Deadline for camera-ready papers is May 10, 2012. Thank you for submitting your paper to SYRCoSE. Kind wishes SYRCoSE organizers ----------------------- REVIEW 1 --------------------- PAPER: 18 TITLE: Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems AUTHORS: Daniil Zorin and Vladislav Podymov OVERALL RATING: 1 (weak accept) REVIEWER'S CONFIDENCE: 2 (medium) The paper is concerned about the extremely significant problem of the real-time system verification. In fact, it is beyond doubt that finding a convenient and a fast way to verify UML statecharts is essential due to the cost of later testing. The authors provide some additional constraints for the UML syntax in order to avoid ambiguities in UML statecharts when translating them to UPPAAL automata. An algorithm for such translation is proposed by the authors and experimental results of the algorithm implementation are mentioned. Unfortunately, the paper lacks the comparison between a developed tool and other similar tools that seems to necessary for a scientific paper. For example, there is the similar tool, HUGO/RT, presented on www. pst.informatik.uni-muenchen.de web-page. HUGO/RT is claimed to be also designed for the automatic verification of UML models with certain timing constraints via converting UML state machines in UPPAAL automata. What about benefits of a new developed tool? The paper also contains several insignificant grammatical errors and some mistypes in Figures 7-8 (UPPAAL instead of UML needed). The paper is recommended to be accepted. ----------------------- REVIEW 2 --------------------- PAPER: 18 TITLE: Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems AUTHORS: Daniil Zorin and Vladislav Podymov OVERALL RATING: 3 (strong accept) REVIEWER'S CONFIDENCE: 3 (high) The paper is well written and presents results interesting both from theoretical and from practical points of view.

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Dyana Май 2012