Seminars
-
Prof. Insup Lee (University of Pennsylvania, USA)
Challenges and Research Directions in Medical Cyber-Physical Systems - Part 1
-
Prof. John A. Stankovic (University of Virginia, USA)
*-Aware Software for Cyber-Physical Systems - Part 2
-
Prof. John A. Stankovic (University of Virginia, USA)
*-Aware Software for Cyber-Physical Systems - Part 1
-
Prof. Sanjoy Baruah (University of North Carolina at Chapel Hill, USA)
Certification-Cognizant Modeling and Implementation of Mixed-Criticality Systems - Part 2
-
Prof. Sanjoy Baruah (University of North Carolina at Chapel Hill, USA)
Certification-Cognizant Modeling and Implementation of Mixed-Criticality Systems - Part 1
-
Prof. Gernot Heiser (University of New South Wales, Australia)
Can We Make Trusted Systems Trustworthy? - Part 2
-
Prof. Gernot Heiser (University of New South Wales, Australia)
Can We Make Trusted Systems Trustworthy? - Part 1
-
Prof. Peter Marwedel (TU Dortmund, Germany)
Efficient Computing in Cyber-Physical Systems - Part 2
-
Prof. Peter Marwedel (TU Dortmund, Germany)
Efficient Computing in Cyber-Physical Systems - Part 1
-
Prof. Giovanni De Micheli (EPFL, Switzerland)
Heterogeneous System Design: Technologies and Design Challenges - Part 2
-
Prof. Giovanni De Micheli (EPFL, Switzerland)
Heterogeneous System Design: Technologies and Design Challenges - Part 1
-
Prof. Luca Benini (University of Bologna & STmicroelectronics, Italy)
Designing a Many-Core Homogeneous Computing Chip in 28nm: Lessons Learned - Part 2
-
Prof. Luca Benini (University of Bologna & STmicroelectronics, Italy)
Designing a Many-Core Homogeneous Computing Chip in 28nm: Lessons Learned - Part 1
-
Prof. Alberto Sangiovanni-Vincentelli (University of California at Berkeley, USA)
Cyber-Physical System Design Challenges and Solutions
-
Prof. Peter Müller (ETHZ, Switzerland)
The Spec# Programming System - Part 2
-
Prof. Peter Müller (ETHZ, Switzerland)
The Spec# Programming System - Part 1
-
Prof. Rolf Ernst (TU Braunschweig, Germany)
Switched Network Based Embedded Systems for Time and Safety Critical Applications - Part 2
-
Prof. Rolf Ernst (TU Braunschweig, Germany)
Switched Network Based Embedded Systems for Time and Safety Critical Applications - Part 1
-
Prof. Joseph Sifakis (EPFL, Switzerland)
Rigorous System Design in BIP - Part 1
