Scholar
Shaokai Lin
Google Scholar ID: g0eTMuIAAAAJ
CS PhD Candidate, University of California, Berkeley
Cyber-Physical Systems
Real-Time Systems
Embedded Systems
Formal Methods
Models of Computation
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
234
H-index
10
i10-index
10
Publications
20
Co-authors
45
list available
Publications
3 items
Deterministic Execution of ROS~2 Applications via Lingua Franca
2026
Cited
0
Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
2025
Cited
0
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
2025
Cited
0
Co-authors
9 total
Edward A. LEE
Professor of Electrical Engineering and Computer Sciences, University of California at Berkeley
Marten Lohstroh
Assistant Researcher at UC Berkeley, EECS Dept.
Hokeun Kim
Arizona State University
Jeronimo Castrillon
Professor, TU Dresden
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
Martin Schoeberl
Professor, Technical University of Denmark
Elizabeth Polgreen
Lecturer, University of Edinburgh
Yatin A. Manerkar
Assistant Professor, University of Michigan
