Hokeun Kim | SCU CoAI Lab

Reactor-Based Modeling of Safe Interrupt-Driven Communication for Distributed Embedded Systems

Thu, 27 Aug 2026 00:00:00 +0000

Value-Aware Real-Time Scheduling for Intelligent Transportation Systems

Mon, 01 Jun 2026 00:00:00 +0000

This paper was selected through the Time-Centric Reactive Software (TCRS) 2025 Workshop at ESWEEK and subsequently published in the IEEE Embedded Systems Letters (ESL) Special Issue on TCRS.

The work was presented at TCRS 2025 (ESWEEK 2025) and later appeared in IEEE Embedded Systems Letters, Volume 18, Issue 3 (June 2026).

Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software.

Create your slides in Markdown - click the Slides button to check out the example.

Add the publication’s full text or supplementary notes here. You can use rich formatting such as including code, math, and images.

Ensuring Deterministic Timing in a Federated GNSS Correction Pipeline with Lingua Franca

Mon, 20 Apr 2026 00:00:00 +0000

Create your slides in Markdown - click the Slides button to check out the example.

Add the publication’s full text or supplementary notes here. You can use rich formatting such as including code, math, and images.

Platform Design for Privacy-Preserving Federated Learning using Homomorphic Encryption : Wild-and-Crazy-Idea Paper

Wed, 04 Sep 2024 00:00:00 +0000

Recognition

This paper received the Best Paper Award at the 27th Forum on Specification & Design Languages (FDL 2024). :contentReference[oaicite:0]{index=0}

Click the Cite button above to demo the feature to enable visitors to import publication metadata into their reference management software.

Create your slides in Markdown - click the Slides button to check out the example.

Add the publication’s full text or supplementary notes here. You can use rich formatting such as including code, math, and images.