Warning: Declaration of PageLinesHighlight::section_template($clone_id) should be compatible with PageLinesSection::section_template() in /nfs/c04/h01/mnt/164090/domains/2014.rtss.org/html/wp-content/themes/pagelines/sections/highlight/section.php on line 128

Warning: Declaration of PageLinesFeatures::section_template($clone_id) should be compatible with PageLinesSection::section_template() in /nfs/c04/h01/mnt/164090/domains/2014.rtss.org/html/wp-content/themes/pagelines/sections/features/section.php on line 1007

Warning: Declaration of PageLinesFeatures::section_head($clone_id) should be compatible with PageLinesSection::section_head() in /nfs/c04/h01/mnt/164090/domains/2014.rtss.org/html/wp-content/themes/pagelines/sections/features/section.php on line 1007

Warning: Declaration of PLNavBar::section_template($clone_id, $location = '') should be compatible with PageLinesSection::section_template() in /nfs/c04/h01/mnt/164090/domains/2014.rtss.org/html/wp-content/themes/pagelines/sections/navbar/section.php on line 280

Warning: Declaration of PLMasthead::section_template($clone_id) should be compatible with PageLinesSection::section_template() in /nfs/c04/h01/mnt/164090/domains/2014.rtss.org/html/wp-content/themes/pagelines/sections/masthead/section.php on line 273

Warning: Declaration of PageLinesCarousel::section_template($clone_id) should be compatible with PageLinesSection::section_template() in /nfs/c04/h01/mnt/164090/domains/2014.rtss.org/html/wp-content/themes/pagelines/sections/carousel/section.php on line 289

Warning: Declaration of PageLinesQuickSlider::section_template($clone_id) should be compatible with PageLinesSection::section_template() in /nfs/c04/h01/mnt/164090/domains/2014.rtss.org/html/wp-content/themes/pagelines/sections/quickslider/section.php on line 252

Warning: Declaration of PageLinesQuickSlider::section_head($clone_id) should be compatible with PageLinesSection::section_head() in /nfs/c04/h01/mnt/164090/domains/2014.rtss.org/html/wp-content/themes/pagelines/sections/quickslider/section.php on line 252

Warning: Declaration of PageLinesBanners::section_template($clone_id) should be compatible with PageLinesSection::section_template() in /nfs/c04/h01/mnt/164090/domains/2014.rtss.org/html/wp-content/themes/pagelines/sections/banners/section.php on line 345

Warning: Declaration of PLheroUnit::section_template($clone_id) should be compatible with PageLinesSection::section_template() in /nfs/c04/h01/mnt/164090/domains/2014.rtss.org/html/wp-content/themes/pagelines/sections/hero/section.php on line 195
RTSS 2014 | Design and Verification Track PC

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