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

Paolo Arcaini awarded Distinguished paper award at SSBSE 2021

Paolo Arcaini (group 3 leader) has been awarded Distinguished paper award at SSBSE 2021 for a co-authored contribution. For detail, see this webpage.

Paolo Arcaini awarded Best Paper Award at SSBSE 2020

Paolo Arcaini has been awarded Best Paper Award at SSBSE 2020 for a co-authored contribution. For detail, see this webpage.

Paolo Arcaini awarded Best Paper Award (Testing AI System) at AITest 2020

Paolo Arcaini has been awarded Best Paper Award (Testing AI System) at AITest 2020 for a co-authored contribution. For detail, see this webpage.

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 Oded Maler Award at FORMATS 2019

Mr. Masaki Waga has been awarded Oded Maler Award for the best paper at FORMATS 2019 – the 17th International Conference on Formal Modeling and Analysis of Timed Systems – for the following contribution of his.

Waga M. (2019) Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata. In: André É., Stoelinga M. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2019. Lecture Notes in Computer Science, vol 11750. Springer, Cham.

Mr. Masaki Waga is a PhD student at SOKENDAI/NII, a JSPS Research Fellow (DC), and a research assistant at ERATO MMSD (Group 3). (2020/11/24: Correction of duplicated entries)

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