Dyana

dyana@asvk.cs.msu.ru

105 обсуждения

Совещания по ГК
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

Syrcose
by Daniel A. Zorin 30 Апр '12

30 Апр '12

Господа, что у нас с Syrcose? На сайте висит такая новость: *April 28, 2012* We have finished the paper reviewing process and are waiting for final version of your papers. The deadline for camera-ready papers is*May 10, 2012*. The colloquium program will be available soon Но я так и не нашел, где посмотреть, принята статья или нет.

3 2

Совещание по ГК
by Dmitry Volkanov 25 Апр '12

25 Апр '12

Уважаемые коллеги! Предлагаю завтра, 26 апреля после семинара "Моделирование распределённых систем" провести совещание группы моделирования по ГК. Совещание предлагается провести в 761 в 16:00. -- С уважением, Дмитрий Волканов

1 1

Совещания по ГК
by Dmitry Volkanov 16 Апр '12

16 Апр '12

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

1 0

Чистка репозитория
by Daniel A. Zorin 12 Апр '12

12 Апр '12

Джентльмены! Существует небезосновательное мнение, что наш репозиторий за четыре этапа оказался в полном беспорядке. Для удобства пользования и интеграции всех наших достижений надо отсортировать материалы в репозитории. Я придерживаюсь мнения, что файлы, с которыми не предполагается вести совместную работу (статьи в pdf, исходники open-source программ и.т.п.) не должны быть под контролем версий, но т.к. не все с этим согласны, я предлагаю компромиссный вариант. В корне репозитория сделать две папки, в одну (назовем ее, например, archive), выкладывать материалы для архива, а во вторую (например, dev), закачивать то, над чем идет работа. Таким образом можно будет сделать checkout репозитория не с корня, а с папки dev, и избежать выкачивания гигабайта материалов (выкачивание у меня лично из дома идет с перебоями). Соответственно, статьи в архиве надо разложить в папки по темам. В папке dev же будет несколько поддиректорий. Предварительный список такой: * papers - для наших статей * reports - для отчетов по этапам, внутри можно сделать подпапки. Промежуточные материалы вроде "Сравнения UML-редакторов" из папки UML тоже можно туда. * presentations - для презентаций * courses - для курсов, наверное, оставить как есть * management, то, что лежит в папках planning и stageX/nonpublic. Сюда же можно timesheetы для полноты картины. Может быть, нужны несколько разных папок для этого? * src - для исходников всех программ, которые мы разрабатываем. Возможно, я что-то забыл. Навскидку также в репозитории лежит большое количество неактуальных материалов, прежде всего это куски отчетов, которые впоследствии были интегрированы в эти самые отчеты. Их, наверное, нужно либо удалить, либо сложить куда-нибудь. После этого можно будет на досуге подумать об упорядочивании наших статей. Ваши замечания, предложения, возмущения и.т.п. приветствуются в рассылке или здесь: https://trac.lvk.cs.msu.su/dyana/ticket/217 Даниил

2 1

Совещания по ГК
by Dmitry Volkanov 09 Апр '12

09 Апр '12

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

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Dyana