Personal information

Activities

Collapse all

Works (9)

Worst-Case Performance for Real-Time Systems

Research Directions: Cyber-Physical Systems
2025-01-30 | Journal article
DOI: 10.1017/cbp.2025.1
Contributors: Martin Schoeberl; Erling Jellum; Shaokai Lin; Chadlia Jerad; Emad Jacob Maroun; Marten Lohstroh; Edward A Lee
Source: check_circle
Crossref

Navigating Time and Energy Trade-Offs in Reactive Heterogeneous Systems

IEEE Embedded Systems Letters
2024 | Journal article
DOI: 10.1109/LES.2024.3469278
Contributors: Shaokai Lin; Tassilo Tanneberger; Jiahong Bi; Guangyu Feng; Yimo Xu; Julian Robledo; Robert Khasanov; Jeronimo Castrillon
Source: check_circle
Crossref

Provable Determinism for Software in Cyber-Physical Systems

2024 | Book chapter
DOI: 10.1007/978-3-031-66064-1_6
Contributors: Marcus Rossel; Shaokai Jerry Lin; Marten Lohstroh; Jeronimo Castrillon; Andrés Goens
Source: check_circle
Crossref

High-performance Deterministic Concurrency Using Lingua Franca

ACM Transactions on Architecture and Code Optimization
2023-12-31 | Journal article
DOI: 10.1145/3617687
Contributors: Christian Menard; Marten Lohstroh; Soroush Bateni; Matthew Chorlian; Arthur Deng; Peter Donovan; Clément Fournier; Shaokai Lin; Felix Suchert; Tassilo Tanneberger et al.
Source: check_circle
Crossref

Consistency vs. Availability in Distributed Cyber-Physical Systems

ACM Transactions on Embedded Computing Systems
2023-10-31 | Journal article
DOI: 10.1145/3609119
Contributors: Edward A. Lee; Ravi Akella; Soroush Bateni; Shaokai Lin; Marten Lohstroh; Christian Menard
Source: check_circle
Crossref

Towards Building Verifiable CPS using Lingua Franca

ACM Transactions on Embedded Computing Systems
2023-10-31 | Journal article
DOI: 10.1145/3609134
Contributors: Shaokai Lin; Yatin A. Manerkar; Marten Lohstroh; Elizabeth Polgreen; Sheng-Jung Yu; Chadlia Jerad; Edward A. Lee; Sanjit A. Seshia
Source: check_circle
Crossref

Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems

2023-09-21 | Conference paper
DOI: 10.1145/3610579.3613219
Contributors: Soroush Bateni; Marten Lohstroh; Hou Seng Wong; Hokeun Kim; Shaokai Lin; Christian Menard; Edward A. Lee
Source: check_circle
Crossref

InterPRET: a Time-predictable Multicore Processor

2023-05-09 | Conference paper
DOI: 10.1145/3576914.3587497
Contributors: Erling R. Jellum; Shaokai Lin; Peter Donovan; Chadlia Jerad; Edward Wang; Marten Lohstroh; Edward A. Lee; Martin Schoeberl
Source: check_circle
Crossref

UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis

2022 | Book chapter
DOI: 10.1007/978-3-031-13185-1_27
Contributors: Elizabeth Polgreen; Kevin Cheang; Pranav Gaddamadugu; Adwait Godbole; Kevin Laeufer; Shaokai Lin; Yatin A. Manerkar; Federico Mora; Sanjit A. Seshia
Source: check_circle
Crossref
How many people are using ORCID?