Two papers co-authored by ERATO MMSD researchers accepted for ICECCS 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.