Ernst, Gidon; Ludwig-Maximilians-University (LMU), Munich, Germany
Arcaini, Paolo; National Institute of Informatics (NII), Tokyo, Japan
Bennani, Ismail; École Normale Supérieure (ENS), Paris, France
Donzé, Alexandre; Decyphir SAS, Moirans, France
Fainekos, Georgios; Arizona State University (ASU), Tempe, USA
Frehse, Goran; Arizona State University (ASU), Tempe, USA
Mathesen, Logan; Arizona State University (ASU), Tempe, USA
MENGHI, Claudio ;
University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV Pedrinelli, Giulia; Arizona State University (ASU), Tempe, USA
Pouzet, Marc; École Normale Supérieure (ENS), Paris, France
Yaghoubi, Shakiba; National Institute of Advanced Industrial Science and Technology (AIST), Osaka, Japan
Yamagata, Yoriyuki; National Institute of Advanced Industrial Science and Technology (AIST), Osaka, Japan
Zhang, Zhenya; National Institute of Informatics (NII), Tokyo, Japan