10-Minute Demonstration of Lingua Franca
by Shaokai Lin, UC Berkeley, for the NSP CPS PI Meeting, May 2020
90-Second Introduction to the Lingua Franca Project
by Prof. Edward A. Lee, UC Berkeley, for the NSP CPS PI Meeting, May 2020
From Transistors to Swarm Systems: The Evolution of Design Methods and Tools in the last 40 Years
Lecture by Prof. Alberto Sangiovanni-Vincentelli, UC Berkeley at the Advanced Circuits Research Center (ACRC) online seminar. Date: November 24, 2020
Verifying Parallel and Distributed Systems: The Observer Problem
Invited Talk by Edward A. Lee at the Integrated Formal Methods (iFM) conference, held virtually from Lugano, Switzerland, on Nov. 18 2020.
Deterministic Actors
Invited talk in the Seminar Series:Design and Programming Cyber-Physical Systems and IoT Applications, organized by TU Dresden, Germany & Univ. of Manouba, Tunisia, Oct. 15, 2020.
Verified Artificial Intelligence and Autonomy
Keynote by Prof. Sanjit A. Seshia, UC Berkeley at the 12th NASA Formal Methods Symposium (NFM). Event Date: Wednesday May 13th, 2020
Towards Verified Artificial Intelligence: A Run-Time Verification Perspective
Invited talk by Prof. Sanjit A. Seshia, UC Berkeley at the 19th International Conference on Runtime Verification (RV 2019). Event Date: Wednesday October 8-11th, 2019
GridWatch: Sensing the Health of the Power Grid
Invited talk by Prof. Prabal Dutta, UC Berkeley.