default search action

combined dblp search
author search
venue search
publication search

ask others

Joonwon Choi

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/ChoiPH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/ChoiPH24
Joonwon Choi, Hyunsang Park, Inseok Hwang:
Bootstrapped Gaussian Mixture Model-Based Data-Driven Forward Stochastic Reachability Analysis. IEEE Control. Syst. Lett. 8: 1-6 (2024)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/thri/ByeonCZH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/thri/ByeonCZH24
Sooyung Byeon, Joonwon Choi, Yutong Zhang, Inseok Hwang:
Stochastic-skill-level-based Shared Control for Human Training in Urban Air Mobility Scenario. ACM Trans. Hum. Robot Interact. 13(3): 37:1-37:25 (2024)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/aimech/YangCA024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aimech/YangCA024
Cheng-Han Yang, Joonwon Choi, Suriyan Anandavel, Inseok Hwang:
Reachability Analysis of Human-in-the-Loop Systems Using Gaussian Mixture Model with Side Information. AIM 2024: 1422-1427
2023
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/ChoiB023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/ChoiB023
Joonwon Choi, Sooyung Byeon, Inseok Hwang:
Data-Driven Forward Stochastic Reachability Analysis for Human-in-the-Loop Systems. CDC 2023: 1730-1735
2022
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/taes/ChoiSSO22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taes/ChoiSSO22
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): 5204-5219 (2022)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ChoiCA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ChoiCA22
Joonwon Choi, Adam Chlipala, Arvind:
Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols. CAV (2) 2022: 317-339
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-03318
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-03318
Joonwon Choi, Sooyung Byeon, Inseok Hwang:
State Prediction of Human-in-the-Loop Multi-rotor System with Stochastic Human Behavior Model. CoRR abs/2207.03318 (2022)
2021
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/jirs/SongGCOLST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jirs/SongGCOLST21
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): 53 (2021)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ErbsenGCWC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ErbsenGCWC21
Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, Adam Chlipala:
Integration verification across software and hardware for a simple embedded system. PLDI 2021: 604-619
2020
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/access/ChoiSLKO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/ChoiSLKO20
Joonwon Choi, Yeongho Song, Seunghan Lim, Cheolhyeon Kwon, Hyondong Oh:
Decentralized Multi-Subgroup Formation Control With Connectivity Preservation and Collision Avoidance. IEEE Access 8: 71525-71534 (2020)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/ProtzenkoPFHPBB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/ProtzenkoPFHPBB20
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. SP 2020: 983-1002

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[i1]
- view
  - electronic edition @ iacr.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/iacr/ProtzenkoPFHPBB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/ProtzenkoPFHPBB19
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: 757 (2019)
2018
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KangKSLPSKCCHY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KangKSLPSKCCHY18
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: 631-645
2017
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ChoiVSCA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ChoiVSCA17
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): 24:1-24:30 (2017)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.