Joonwon Choi

20 papers A* 3Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Reachability-based Temporal Logic Verification for Reliable LLM-guided Human-Autonomy Teaming.
CoRR
Joonwon Choi, Kartik Anand Pant, Karthik Nune, Inseok Hwang
2026 J jnl
Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture.
CoRR
Joonwon Choi, Kartik Anand Pant, Youngim Nam, Henry Hellmann, Karthik Nune, Inseok Hwang
2025 J jnl
Data-Driven Closed-Loop Reachability Analysis for Nonlinear Human-in-the-Loop Systems Using Gaussian Mixture Model.
IEEE Trans. Control. Syst. Technol.
Joonwon Choi, Sooyung Byeon, Inseok Hwang
2025 J jnl
Revamping Verilog Semantics for Foundational Verification.
Proc. ACM Program. Lang.
Joonwon Choi, Jaewoo Kim, Jeehoon Kang
2024 J jnl
Bootstrapped Gaussian Mixture Model-Based Data-Driven Forward Stochastic Reachability Analysis.
IEEE Control. Syst. Lett.
Joonwon Choi, Hyunsang Park, Inseok Hwang
2024 — conf
On The Controllability Preservation of Koopman Bilinear Surrogate Model.
CDC
Joonwon Choi, Minhyun Cho, Hyunsang Park, Vishnu Vijay, Inseok Hwang
2024 — conf
Reachability Analysis of Human-in-the-Loop Systems Using Gaussian Mixture Model with Side Information.
AIM
Cheng-Han Yang, Joonwon Choi, Suriyan Anandavel, Inseok Hwang
2024 J jnl
Stochastic-skill-level-based Shared Control for Human Training in Urban Air Mobility Scenario.
ACM Trans. Hum. Robot Interact.
Sooyung Byeon, Joonwon Choi, Yutong Zhang, Inseok Hwang
2023 — conf
Data-Driven Forward Stochastic Reachability Analysis for Human-in-the-Loop Systems.
CDC
Joonwon Choi, Sooyung Byeon, Inseok Hwang
2023 J jnl
Low-Shot Learning for Fictional Claim Verification.
CoRR
Viswanath Chadalapaka, Derek Nguyen, Joonwon Choi, Shaunak Joshi, Mohammad Rostami
2022 J jnl
Adversarial Swarm Defence Using Multiple Fixed-Wing Unmanned Aerial Vehicles.
IEEE Trans. Aerosp. Electron. Syst.
Joonwon Choi, Minguk Seo, Hyo-Sang Shin, Hyondong Oh
2022 — conf
Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols.
CAV (2)
Joonwon Choi, Adam Chlipala, Arvind
2022 J jnl
State Prediction of Human-in-the-Loop Multi-rotor System with Stochastic Human Behavior Model.
CoRR
Joonwon Choi, Sooyung Byeon, Inseok Hwang
2021 A* conf
Integration verification across software and hardware for a simple embedded system.
PLDI
Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala
2021 J jnl
Using Lazy Agents to Improve the Flocking Efficiency of Multiple UAVs.
J. Intell. Robotic Syst.
Yeongho Song, Myeonggeun Gu, Joonwon Choi, Hyondong Oh, Seunghan Lim, Hyo-Sang Shin, Antonios Tsourdos
2020 J jnl
Decentralized Multi-Subgroup Formation Control With Connectivity Preservation and Collision Avoidance.
IEEE Access
Joonwon Choi, Yeongho Song, Seunghan Lim, Cheolhyeon Kwon, Hyondong Oh
2020 A* conf
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.
SP
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
2019 J jnl
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.
IACR Cryptol. ePrint Arch.
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
2018 A* conf
Crellvm: verified credible compilation for LLVM.
PLDI
Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi
2017 J jnl
Kami: a platform for high-level parametric hardware specification and its modular verification.
Proc. ACM Program. Lang.
Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind