月: 2019年11月

Xiaoyi Zhang，Paolo Arcaini，石川 冬樹の三氏による論文が国際会議 ICECCS 2019 — the 24th International Conference on Engineering of Complex Computer Systems — で最優秀論文賞を受賞しました.

Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Assessing the Relation Between Hazards and Variability in Automotive Systems. ICECCS 2019: 190-199. [ieee]

著者の三氏は ERATO MMSD プロジェクトのメンバーです（グループ３，石川冬樹グループリーダー）．

ICECCS は形式手法分野のトップ国際会議の一つです（CORE rank A）．昨年の受賞に続き，ERATO MMSD プロジェクトから2年連続の最優秀論文賞受賞となります．

ERATO MMSD プロジェクトの研究者が共著者となる2報の論文が，ITSC 2019 – the 22nd International Conference on Intelligent Transportation Systems に採択されました．

Chao Huang, Boyuan Li, Masako Kishida. Model predictive approach to integrated path planning and tracking for autonomous vehicles. IEEE Intelligent Transportation Systems Conference (ITSC 2019), 2019
[doi | arxiv]

Sasinee Pruekprasert, Xiaoyi Zhang, Jérémy Dubut, Chao Huang. Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles. IEEE Intelligent Transportation Systems Conference (ITSC 2019), 2019
[doi | arxiv]

ITSC は自動運転をはじめとするインテリジェント交通システム分野の主要国際会議です．ITSC 2019 は2019年10月にニュージーランド オークランド市で開催されました．

ERATO MMSD プロジェクトの研究者が共著者となる2報の論文が，ICECCS 2019 – the 24th International Conference on Engineering of Complex Computer Systems に採択されました．

Étienne André, Didier Lime, Mathias Ramparison. On the expressive power of invariants in parametric timed automata. The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), pp.87-96, 2019
[doi]

Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa. Assessing the Relation Between Hazards and Variability in Automotive Systems. The 24th International Conference on Engineering of Complex Computer Systems (ICECCS 2019), pp.190-199, 2019
[doi]

International Conference on Engineering of Complex Computer Systems (ICECCS) はソフトウェア科学・ソフトウェア工学分野の主要国際会議です．ICECCS 2019 は2019年11月に中国南沙市で開催されます．