ERATO MMSD Symposium - Academic Frontiers in Automated Driving Safety

Tuesday 21 May, 2019

Target audience: Researchers, developers and practitioners in the automotive and related sectors
Speakers: Krzysztof Czarnecki (U. Waterloo, in English),Ichiro Hasuo, Fuyuki Ishikawa (NII, in Japanese)
Please see the external site.

Colloquia and Seminars

For seminars and colloquia, please see the external site.

Awards

Xiaoyi Zhang, Paolo Arcaini and Fuyuki Ishikawa awarded Best Paper Award at ICECCS 2019

Xiaoyi Zhang, Paolo Arcaini and Fuyuki Ishikawa have been awarded Best Paper Award at ICECCS 2019 for the following contribution.

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

Masaki Waga awarded Best Paper Award at FORMATS 2019

Masaki Waga have been awarded Best Paper Award at FORMATS 2019 for the following contribution.

Masaki Waga. Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019: pp.3-22, 2019.

Jérémy Dubut awarded Best Theory Paper Award at ETAPS 2019

Dr. Jérémy Dubut has been awarded Best Theory Paper Award at ETAPS 2019 – European Joint Conferences on Theory and Practice of Software – for the following contribution of his. Dr. Jérémy Dubut is a project researcher at ERATO MMSD (Group 0).

Jérémy Dubut. Trees in Partial Higher Dimensional Automata. 22nd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2019).

Étienne André, Ichiro Hasuo and Masaki Waga awarded Best Paper Award at ICECCS 2018

Étienne André (Université de Paris 13/JFLI, CNRS-NII), Ichiro Hasuo project leader and Masaki Waga (Sokendai) have been awarded Best Paper Award at ICECCS 2018 for the following contribution.

Étienne André, Ichiro Hasuo and Masaki Waga. Offline Timed Pattern Matching under Uncertainty. International Conference on Engineering of Complex Computer Systems (ICECCS 2018).

Events

NII Open House

We displayed posters about our research in NII Open House (Japanese) (31 May-1 Jun, 2019). Our project members Ichiro Hasuo, Fuyuki Ishikawa and Kohei Suenaga gave lectures in the seminar on industry-government-academia collaboration.

Tokyo meeting 2019

ERATO members from Osaka, Kyoto and Kyushu gathered at Tokyo site on 18th Mar, 2019. We held a two-day workshop and exchanged research ideas across groups.

Project Camp 2018

We held Project Camp 2017 from 19th to 21th September, 2018 at Laforet Hakone, Kanagawa prefecture.

Tokyo meeting 2018

ERATO members from Osaka, Kyoto and Kyushu gathered at Tokyo site on 08th Mar, 2018. We held a two-day workshop and exchanged research ideas across groups.

Presentations at informatics winter festa episode3

We gave oral presentations and posters about our research at informatics winter festa episode3 (25-26 Dec, 2017).

NII Today No. 77

ERATO MMSD Project is featured in NII Today No. 77

NII Today No.77

Project Camp 2017

We held Project Camp 2017 from 25th to 27th September, 2017 at Laforet Nasu, Tochigi prefecture.

Poster session
Poster session

Groupwork
Groupwork

Presentation
Presentation

Presentation
Presentation

Tokyo site visit

ERATO members from Osaka and Kyoto gathered at Tokyo site on 27th Jul, 2017. We held a two-day workshop and exchanged research ideas across groups.

Kikoff Ceremony and Workshop

We held the kick-off ceremony and an academic workshop on the project on 15th Jun, 2017 at NII.

A snapshot of the kickoff ceremony
A snapshot of the kickoff ceremony

A snapshot of the academic workshop
A snapshot of the academic workshop

Poster presentations in NII Open House

We displayed two posters about our research in NII Open House (Japanese) (9-10 Jun, 2017).

NII webpageJST webpage

Osaka-u webpageKyoto-u webpageKyusyu-u webpageWaterloo-u webpage