Program Committee Alessandro Abate, TU Delft, The Netherlands Erika Abraham, RWTH Aachen, Germany Aaron Ames, Texas A&M University, USA Patrick Cousot, New York University, USA Stefano Di Cairano, Mitsubishi Electric Research Laboratories, MA, USA Alexandre Bayen, University of California at Berkeley, USA Calin Belta, Boston University, USA Emilio Frazzoli, Massachusetts Institute of Technology, USA Goran Frehse, VERIMAG, France Antoine Girard, Joseph Fourier University, Grenoble, France Radu Grosu, SUNY Stony Brook, USA Klaus Havelund, NASA Jet Propulsion Laboratory, USA Holger Hermanns, Saarland University, Germany Jianghai Hu, Purdue University, USA Jun-Ichi Imura, Tokyo Institute of Technology, Japan Franjo Ivancic, NEC, USA T. John Koo, Chinese Academy of Sciences, China Kim Larsen, Aalborg University, Denmark Mircea Lazar, TU Eindhoven, The Netherlands Hai Lin, National University of Singapore, Singapore Jan Lunze, Ruhr-University Bochum, Germany Rupak Majumdar, Max Planck Institute for Software Systems, Germany Sayan Mitra, University of Illinois at Urbana-Champaign, USA Dragan Nesic, University of Melbourne, Australia Songhwai Oh, Seoul National University, Korea Paritosh Pandya, Tata Institute of Fundamental Research, India Andre Platzer, Carnegie Mellon University, USA Stefan Ratschan, Academy of sciences of Czech Republic, Czech Republic Ricardo Sanfelice, University of Arizona, USA Sriram Sankaranarayanan, University of Colorado at Boulder, USA Thomas Stauner, BMW, Munich, Germany Paulo Tabuada, University of California at Los Angeles, USA Ashish Tiwari, SRI, USA Pascal Traverse, Airbus, France Shaofa Yang, Chinese Academy of Sciences, China Qianchuan Zhao, Tsinghua University, China
|
|