Program Committee — Design and Verification Track

PC Chair: Sebastian Fischmeister, University of Waterloo, Canada

Borzoo Bonakdarpour, University of Waterloo, Canada
Rance Cleaveland, University of Maryland, USA
Petru Eles, Linköping University, Sweden
Christian Fraboul, University of Toulouse, France
Guto Froehlich, Universidade Federal de Santa Catarina, Brazil
Sathish Gopalakrishnan, University of British Columbia, Canada
Christoph Kirsch, University of Salzburg, Austria
Radu Marulescu, Carnegie Mellon University, USA
Frank Mueller, NCSU, USA
Dionisio de Niz, SEI, USA
S. Ramesh, General Motors, USA
Abhik Roychoudhury, National University of Singapore, Singapore
Wilfried Steiner, TTTech
Gera Weiss, Ben Gurion University, Israel
Marilyn Wolf, Georgia Tech, USA
Wang Yi, Uppsala University, Sweden