publications

2026

1. FDL’26

   Embodied AI Launcher: A Tool for Modeling, Simulation, and Deployment Evaluation of Transformer-Based Embodied AI Tasks at the Edge

   Byeonggil Jun, Deeksha Prahlad, Mehdi Ghasemi, and Hokeun Kim

   In 2026 Forum on Specification & Design Languages (FDL), 2026
2. DATE’26

   PREFACE: Proactive Re-executions for Fault-aware Mixed-criticality Environments

   Hwisoo So, Byeonggil Jun, Chanhee Lee, Hokeun Kim, and Aviral Shrivastava

   In 2026 Design, Automation & Test in Europe Conference (DATE), 2026

   DOI

2025

1. FDL’25

   Towards Efficient Privacy-Preserving Federated Learning on Edge with Reconfigurable FPGA

   Byeonggil Jun, Megan Kuo, Aditya A. Krishnan, and Hokeun Kim

   In 2025 Forum on Specification & Design Languages (FDL), 2025

   DOI
2. ACM TOMACS

   Zero-Delay Cycles in Distributed Discrete-Event Systems using Lingua Franca

   Peter Donovan, Erling Jellum, Byeonggil Jun, Hokeun Kim, Lee Edward, Shaokai Lin, Marten Lohstroh, and Anirudh Rengarajan

   ACM Trans. Model. Comput. Simul., Nov 2025

   DOI
3. PADS’25

   Improving the Efficiency of Coordinating Timed Events in Distributed Systems

   Byeonggil Jun, Edward A. Lee, Marten Lohstroh, and Hokeun Kim

   In Proceedings of the 39th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, , 2025

   DOI

2024

1. MEMOCODE’24

   Efficient Coordination for Distributed Discrete-Event Systems

   Byeonggil Jun, Edward A. Lee, Marten Lohstroh, and Hokeun Kim

   In 2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), 2024

   DOI

2023

1. TCRS’23

   Reliable Event Detection Using Time-Synchronized IoT Platforms

   Byeonggil Jun, Dongha Kim, Marten Lohstroh, and Hokeun Kim

   In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, San Antonio, TX, USA, 2023

   Abs DOI

   State-of-the-art industrial IoT solutions struggle to handle applications in which timing is important and deterministic event ordering is crucial. We illustrate this on the basis of a simple parking lot occupancy sensing use case that is easy to explain but virtually impossible to implement using commercially available IoT infrastructure. In this paper, we compare an implementation using AWS IoT Core against one using Lingua Franca, a time-centric coordination language for constructing deterministic concurrent and distributed reactive software. Our preliminary evaluation shows that Lingua Franca can reliably address our use case.