Month: November 2019

Dr. Xiaoyi Zhang, Dr. Paolo Arcaini and Dr. Fuyuki Ishikawa have been awarded the best paper award at 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]

The three authors are members of ERATO MMSD Project (Group 3, led by Fuyuki Ishikawa).

ICECCS is one of the top international conferences in the field of formal methods (CORE rank A). This is the second best paper award in a row at ICECCS from ERATO MMSD, following the last year.

Two papers authored by ERATO MMSD researchers accepted for presentation at 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]

The ITSC Conference is a major international venue on intelligent transportation systems, including automated driving. ITSC 2019 took place in Auckland, New Zealand, in October 2019.

Two papers authored by ERATO MMSD researchers accepted for presentation at 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]

The ICECCS Conference is a premier international venue on system-level quality assurance of computer systems. ICECCS 2019 will take place in Nansha, China, in November 2019.