Embedded Systems Challenges and Research Directions PART I
by Joseph Sifakis
84:42

The evolution of computer security: attacks and defenses
by Angelos Keromytis
76:38

von Neumann and the current computer security landscape
by Angelos Keromytis
77:07

Embedded Systems Challenges and Research Directions PART II
by Joseph Sifakis
80:32

Component Architectures for Time-Sensitive Systems PART I
by Edward Lee
73:59

Component Architectures for Time-Sensitive Systems PART II
by Edward Lee
89:41

Η Έρευνα στην Πληροφορική: Νέες Προκλήσεις για την Επιστήμη και την Κοινωνία
by Joseph Sifakis - PUBLIC LECTURE (in Greek)
91:37

Verifications of Progress Properties PART I
by Amir Pnueli
81:50

Verifications of Progress Properties PART II
by Amir Pnueli
63:07

Timing Analysis and Timing Predictability PART I
by Reinhard Wilhelm
85:15

Timing Analysis and Timing Predictability PART II
by Reinhard Wilhelm
68:23

Overcoming the Memory Wall: Kilo-Instruction, Run ahead and SMT Processors
by Mateo Valero
83:07

Supercomputing for the future, Supercomputing from the Past
by Mateo Valero
76:20