HLDVT'17 Keynotes:

Click on links below for presentations

Keynote 1: October 5th, 9:00 am

Frank Schirrmeister, Cadence Design Systems

Enabling Systems of Systems - Towards Smarter Verification

Keynote 2: October 5th, 02:00 pm

Rainer Doemer, University of California, Irvine

Attacking the System Validation Challenge with Advanced

Parallel Simulation: The Good News and the Bad News

Keynote 3: October 6th, 08:30 am

Tajana Simunic Rosing, University of California, San Diego

Reliability and maintainability of IoT systems