Shaokai Lin
Scholar

Shaokai Lin

Google Scholar ID: g0eTMuIAAAAJ
CS PhD Candidate, University of California, Berkeley
Cyber-Physical SystemsReal-Time SystemsEmbedded SystemsFormal MethodsModels of Computation
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
234
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
45
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
45 total
Edward A. LEE
Edward A. LEE
Professor of Electrical Engineering and Computer Sciences, University of California at Berkeley
Marten Lohstroh
Marten Lohstroh
Assistant Researcher at UC Berkeley, EECS Dept.
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Hokeun Kim
Hokeun Kim
Arizona State University
Jeronimo Castrillon
Jeronimo Castrillon
Professor, TU Dresden