날 짜 : 2017-04-03 ()

주 제 : 주간 업무 계획 공유

참여자 : JS, MR, GH

기록자 : GH



0. Agenda


1) 출장


- MACMESE2017, Berlin, Germany

- 30th March to 5th April

- MK, YB, SH


2) Members 주간 업무 공유

 


1. Members 주간 업무 공유


[JS]

[17-006-RD-02][JS] SRE0.1/ADOxx

[4/1]

1) Parser 개발

- a2e 코드 분석 및 SH 코드 분석

- 관련 자료 스터디(컴파일러)

 

[17-010-RC-03][ALL]연구실 세미나

[4/1]

1) CCS 세미나 준비

- CCS 세미나 자료 준비


[17-044-RC-18][MK,JS] -EU R&D Fair - Horizon2020

[4/1]

1) 내용 정리

- 설명회 관련 내용 정리

 

[17-031-RC-10][ALL] NEMO 2017 Participation

[4/1]

1) Motivation Letter 작성

 

[MR]

[17-007-RD-03][MR]PRISM0.1/ADOxx

1. Define "multi-state" state machine.

a. designing each behavior in basic level

b. considering the include relationships

c. designing a multi state

 

2. Define lattice based on state machine

a. finding including relationships

b. design lattice by abstract level

 

3. Finding a complete expression based on lattice behavior

a. cardinality and capacity are not enough to show all details.

 

JS : __________________

MR : __________________

GH : __________________


==========================================


[MK] Included: (3)


1) JS' Weekly Plan

2) MR's Weekly Plan

3) GH's Weekly Plan