Joonwon Choi

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 12

Top Topics

Gaussian Mixture

Formation Control

Software Package

Reachability Analysis

Top Venues

IEEE Control. Syst. Lett.

Proc. ACM Program. Lang.

IEEE Symposium on Security and Privacy

Publications

Joonwon Choi, Hyunsang Park, Inseok Hwang
Bootstrapped Gaussian Mixture Model-Based Data-Driven Forward Stochastic Reachability Analysis. IEEE Control. Syst. Lett. 8 (2024)
Joonwon Choi, Sooyung Byeon, Inseok Hwang
Data-Driven Forward Stochastic Reachability Analysis for Human-in-the-Loop Systems. CDC (2023)
Joonwon Choi, Minguk Seo, Hyo-Sang Shin, Hyondong Oh
Adversarial Swarm Defence Using Multiple Fixed-Wing Unmanned Aerial Vehicles. IEEE Trans. Aerosp. Electron. Syst. 58 (6) (2022)
Joonwon Choi, Sooyung Byeon, Inseok Hwang
State Prediction of Human-in-the-Loop Multi-rotor System with Stochastic Human Behavior Model. CoRR (2022)
Joonwon Choi, Adam Chlipala, Arvind
Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols. CAV (2) (2022)
Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala
Integration verification across software and hardware for a simple embedded system. PLDI (2021)
Yeongho Song, Myeonggeun Gu, Joonwon Choi, Hyondong Oh, Seunghan Lim, Hyo-Sang Shin, Antonios Tsourdos
Using Lazy Agents to Improve the Flocking Efficiency of Multiple UAVs. J. Intell. Robotic Syst. 103 (3) (2021)
Joonwon Choi, Yeongho Song, Seunghan Lim, Cheolhyeon Kwon, Hyondong Oh
Decentralized Multi-Subgroup Formation Control With Connectivity Preservation and Collision Avoidance. IEEE Access 8 (2020)
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
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IEEE Symposium on Security and Privacy (2020)
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
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IACR Cryptol. ePrint Arch. 2019 (2019)
Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi
Crellvm: verified credible compilation for LLVM. PLDI (2018)
Joonwon Choi, Muralidaran Vijayaraghavan, Benjamin Sherman, Adam Chlipala, Arvind
Kami: a platform for high-level parametric hardware specification and its modular verification. Proc. ACM Program. Lang. 1 (ICFP) (2017)