Подписаться
Shaokai Jerry Lin
Shaokai Jerry Lin
Подтвержден адрес электронной почты в домене berkeley.edu - Главная страница
Название
Процитировано
Процитировано
Год
High-performance Deterministic Concurrency Using Lingua Franca
C Menard, M Lohstroh, S Bateni, M Chorlian, A Deng, P Donovan, ...
ACM Transactions on Architecture and Code Optimization 20 (4), 1-29, 2023
262023
Quantifying and generalizing the CAP theorem
EA Lee, S Bateni, S Lin, M Lohstroh, C Menard
arXiv preprint arXiv:2109.07771, 2021
212021
UCLID5: multi-modal formal modeling, verification, and synthesis
E Polgreen, K Cheang, P Gaddamadugu, A Godbole, K Laeufer, S Lin, ...
International Conference on Computer Aided Verification, 538-551, 2022
152022
Xronos: Predictable coordination for safety-critical distributed embedded systems
S Bateni, M Lohstroh, HS Wong, R Tabish, H Kim, S Lin, C Menard, C Liu, ...
arXiv preprint arXiv:2207.09555, 2022
132022
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems
S Bateni, M Lohstroh, HS Wong, H Kim, S Lin, C Menard, EA Lee
Proceedings of the 21st ACM-IEEE International Conference on Formal Methods …, 2023
112023
Consistency vs. availability in distributed cyber-physical systems
EA Lee, R Akella, S Bateni, S Lin, M Lohstroh, C Menard
ACM Transactions on Embedded Computing Systems 22 (5s), 1-24, 2023
112023
Interpret: a time-predictable multicore processor
ER Jellum, S Lin, P Donovan, C Jerad, E Wang, M Lohstroh, EA Lee, ...
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 331-336, 2023
112023
Towards building verifiable CPS using Lingua Franca
S Lin, YA Manerkar, M Lohstroh, E Polgreen, SJ Yu, C Jerad, EA Lee, ...
ACM Transactions on Embedded Computing Systems 22 (5s), 1-24, 2023
82023
Beyond the threaded programming model on real-time operating systems
ER Jellum, S Lin, P Donovan, E Soyer, F Shakir, T Bryne, M Orlandic, ...
Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023), 2023
82023
Trading off consistency and availability in tiered heterogeneous distributed systems
EA Lee, S Bateni, S Lin, M Lohstroh, C Menard
Intelligent Computing 2, 0013, 2023
72023
Consistency vs. availability in distributed real-time systems
EA Lee, R Akella, S Bateni, S Lin, M Lohstroh, C Menard
arXiv preprint arXiv:2301.08906, 2023
52023
Scivik: A versatile framework for specifying and verifying smart contracts
S Lin, X Sun, J Yao, R Gu
Memorial Volume for Shoucheng Zhang, 403-437, 2022
52022
Debugging and verification tools for LINGUA FRANCA in GEMOC studio
J Deantoni, J Cambeiro, S Bateni, S Lin, M Lohstroh
2021 Forum on Specification & Design Languages (FDL), 01-08, 2021
52021
Provable Determinism for Software in Cyber-Physical Systems
M Rossel, SJ Lin, M Lohstroh, J Castrillon, A Goens
International Conference on Verified Software: Theories, Tools, and …, 2023
32023
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
S Lin, E Jellum, M Theile, T Tanneberger, B Sun, C Jerad, R Xu, G Feng, ...
arXiv preprint arXiv:2406.06253, 2024
22024
Strongly-Consistent Distributed Discrete-event Systems
P Donovan, E Jellum, B Jun, H Kim, EA Lee, S Lin, M Lohstroh, ...
arXiv preprint arXiv:2405.12117, 2024
12024
Worst-Case Execution Time Analysis of Lingua Franca Applications
M Schoeberl, E Khodadad, S Lin, EJ Maroun, L Pezzarossa, EA Lee
Open Access Series in Informatics 121, 4, 2024
12024
Navigating Time and Energy Trade-offs in Reactive Heterogeneous Systems
S Lin, T Tanneberger, J Bi, G Feng, Y Xu, J Robledo, R Khasanov, ...
IEEE Embedded Systems Letters, 2024
2024
Communication over Continuous Quantum Secure Dialogue using Einstein-Podolsky-Rosen States
S Lin, Z Wang, L Horesh
Quantum Information Processing 2020, 2019
2019
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis
A Godbole, K Laeufer, S Lin, YA Manerkar, F Mora, SA Seshia
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20