| emsoft | participants

Shaokai Lin

EMSOFT 2023: 23rd International Conference on Embedded Software

Consistency vs. Availability in Distributed Cyber-Physical Systems

Edward A. Lee, Ravi Akella, Soroush Bateni, Shaokai Lin, Marten Lohstroh, and Christian Menard

Towards Building Verifiable CPS using Lingua Franca

Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia