Deprecated: Non-static method PageLinesTemplate::current_admin_post_type() should not be called statically, assuming $this from incompatible context in /nfs/c04/h02/mnt/164090/domains/2013.ieee-rtss.org/html/wp-content/themes/pagelines/admin/class.options.metapanel.php on line 30

Deprecated: Non-static method PageLinesTemplate::current_admin_post_type() should not be called statically, assuming $this from incompatible context in /nfs/c04/h02/mnt/164090/domains/2013.ieee-rtss.org/html/wp-content/themes/pagelines/admin/class.options.metapanel.php on line 30

Deprecated: Non-static method PageLinesTemplate::current_admin_post_type() should not be called statically, assuming $this from incompatible context in /nfs/c04/h02/mnt/164090/domains/2013.ieee-rtss.org/html/wp-content/themes/pagelines/admin/class.options.metapanel.php on line 30

Deprecated: Non-static method PageLinesTemplate::current_admin_post_type() should not be called statically, assuming $this from incompatible context in /nfs/c04/h02/mnt/164090/domains/2013.ieee-rtss.org/html/wp-content/themes/pagelines/admin/class.options.metapanel.php on line 30
RTSS 2013 | Program Committee – Design & Verification Track

Program Committee – Design & Verification Track

Track Chair: Dionisio de Niz, SEI – Carnegie Mellon University, USA

Eli Bozorgzadeh, Univ. of California, Irvine, USA
Sagar Chaki, SEI – Carnegie Mellon University, USA
Petru Eles, Linköping University, Sweden
Sebastian Fischmeister, University of Waterloo, Canada
X. Sharon Hu, University of Notre Dame, USA
Marta Kwiatkowska, University of Oxford, UK
Frank Mueller, NCSU, USA
Linh Thi Xuan Phan, University of Pennsylvania, USA
Abhik Roychoudhury, National University of Singapore, Singapore
Paulo Tabuada, UCLA, USA
Wang Yi, Uppsala University, Sweden