Joonwon Choi

According to our database, Joonwon Choi authored at least 19 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

Reachability-based Temporal Logic Verification for Reliable LLM-guided Human-Autonomy Teaming.

Joonwon Choi, Kartik Anand Pant, Karthik Nune, Inseok Hwang

CoRR, March, 2026

Signal Temporal Logic Verification and Synthesis Using Deep Reachability Analysis and Layered Control Architecture.

Joonwon Choi, Kartik Anand Pant, Youngim Nam, Henry Hellmann, Karthik Nune, Inseok Hwang

CoRR, February, 2026

2025

Data-Driven Closed-Loop Reachability Analysis for Nonlinear Human-in-the-Loop Systems Using Gaussian Mixture Model.

Joonwon Choi, Sooyung Byeon, Inseok Hwang

IEEE Trans. Control. Syst. Technol., March, 2025

Revamping Verilog Semantics for Foundational Verification.

Joonwon Choi, Jaewoo Kim, Jeehoon Kang

Proc. ACM Program. Lang., 2025

2024

Stochastic-skill-level-based Shared Control for Human Training in Urban Air Mobility Scenario.

Sooyung Byeon, Joonwon Choi, Yutong Zhang, Inseok Hwang

ACM Trans. Hum. Robot Interact., September, 2024

Bootstrapped Gaussian Mixture Model-Based Data-Driven Forward Stochastic Reachability Analysis.

Joonwon Choi, Hyunsang Park, Inseok Hwang

IEEE Control. Syst. Lett., 2024

On The Controllability Preservation of Koopman Bilinear Surrogate Model.

Joonwon Choi, Minhyun Cho, Hyunsang Park, Vishnu Vijay, Inseok Hwang

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

Reachability Analysis of Human-in-the-Loop Systems Using Gaussian Mixture Model with Side Information.

Cheng-Han Yang, Joonwon Choi, Suriyan Anandavel, Inseok Hwang

Proceedings of the IEEE International Conference on Advanced Intelligent Mechatronics, 2024

2023

Data-Driven Forward Stochastic Reachability Analysis for Human-in-the-Loop Systems.

Joonwon Choi, Sooyung Byeon, Inseok Hwang

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Adversarial Swarm Defence Using Multiple Fixed-Wing Unmanned Aerial Vehicles.

Joonwon Choi, Minguk Seo, Hyo-Sang Shin, Hyondong Oh

IEEE Trans. Aerosp. Electron. Syst., 2022

State Prediction of Human-in-the-Loop Multi-rotor System with Stochastic Human Behavior Model.

Joonwon Choi, Sooyung Byeon, Inseok Hwang

CoRR, 2022

Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols.

Joonwon Choi, Adam Chlipala, Arvind

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Using Lazy Agents to Improve the Flocking Efficiency of Multiple UAVs.

Yeongho Song, Myeonggeun Gu, Joonwon Choi, Hyondong Oh, Seunghan Lim, Hyo-Sang Shin, Antonios Tsourdos

J. Intell. Robotic Syst., 2021

Integration verification across software and hardware for a simple embedded system.

Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Decentralized Multi-Subgroup Formation Control With Connectivity Preservation and Collision Avoidance.

Joonwon Choi, Yeongho Song, Seunghan Lim, Cheolhyeon Kwon, Hyondong Oh

IEEE Access, 2020

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.

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

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2019

EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider.

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

IACR Cryptol. ePrint Arch., 2019

2018

Crellvm: verified credible compilation for LLVM.

Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Kami: a platform for high-level parametric hardware specification and its modular verification.

Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind

Proc. ACM Program. Lang., 2017