YoungMin Kwon

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 16

Top Topics

Nonlinear Systems

Formal Verification

Top Venues

Publications

YoungMin Kwon, Gul Agha
Bounded Quantum Regular Language Generator. QCE (2023)
YoungMin Kwon, Eunhee Kim, Gul Agha
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. QEST (2023)
Seonghwan Jeong, YoungMin Kwon
Energy Efficient Text Spotting Technique for Mobile Edge Computing. AICAS (2022)
Eun-Ju Park, Hoyoung Kim, Seonghwan Jeong, Byungkon Kang, YoungMin Kwon
Keyword-Based Vehicle Retrieval. CVPR Workshops (2021)
Xiao Hu, Ming-Ching Chang, Yuwei Chen, Rahul Sridhar, Zhenyu Hu, Yunhe Xue, Zhenyu Wu, Pengcheng Pi, Jiayi Shen, Jianchao Tan, Xiangru Lian, Ji Liu, Zhangyang Wang, Chia-Hsiang Liu, Yu-Shin Han, Yuan-Yao Sung, Yi Lee, Kai-Chiang Wu, Wei-Xiang Guo, Rick Lee, Shengwen Liang, Zerun Wang, Guiguang Ding, Gang Zhang, Teng Xi, Yubei Chen, Han Cai, Ligeng Zhu, Zhekai Zhang, Song Han, Seonghwan Jeong, YoungMin Kwon, Tianzhe Wang, Jeffery Pan
The 2020 Low-Power Computer Vision Challenge. AICAS (2021)
YoungMin Kwon, Eunhee Kim
A Design of GPU-Based Quantitative Model Checking. VMCAI (2021)
Jay Hoon Jung, YoungMin Kwon
Boundaries of Single-Class Regions in the Input Space of Piece-Wise Linear Neural Networks. ICPR (2020)
Jay Hoon Jung, YoungMin Kwon
A Metric to Compare Pixel-Wise Interpretation Methods for Neural Networks. IEEE Access 8 (2020)
Jay Hoon Jung, YoungMin Kwon
Color, Edge, and Pixel-wise Explanation of Predictions Based on Interpretable Neural Network Model. ICPR (2020)
Jay Hoon Jung, Yousun Shin, YoungMin Kwon
A Metric to Measure Contribution of Nodes in Neural Networks. SSCI (2019)
Jay Hoon Jung, YoungMin Kwon
Robustness of Piece-Wise Linear Neural Network with Feasible Region Approaches. ICFEM (2019)
Jay Hoon Jung, Eunhee Kim, YoungMin Kwon
Quantitative Model Checking for a Resilient Control System. SSCI (2019)
Jay Hoon Jung, Yousun Shin, YoungMin Kwon
Extension of Convolutional Neural Network with General Image Processing Kernels. CoRR (2019)
Jay Hoon Jung, Yousun Shin, YoungMin Kwon
Extension of Convolutional Neural Network with General Image Processing Kernels. TENCON (2018)
YoungMin Kwon, Eunhee Kim
Quantitative Model Checking for a Controller Design. SPIN (2018)
YoungMin Kwon, Eunhee Kim, Seonghwan Jeong, Arthur H. Lee
Quantitative Model Checking for a Smart Grid Pricing. QEST (2017)
YoungMin Kwon, Eunhee Kim
Bounded Model Checking of Hybrid Systems for Control. IEEE Trans. Autom. Control. 60 (11) (2015)
YoungMin Kwon, Kirill Mechitov, Gul A. Agha
Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks. Concurrent Objects and Beyond (2014)
YoungMin Kwon, Gul Agha
Performance evaluation of sensor networks by statistical modeling and euclidean model checking. ACM Trans. Sens. Networks 9 (4) (2013)
Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon
Model Checking MDPs with a Unique Compact Invariant Set of Distributions. QEST (2011)
YoungMin Kwon, Gul A. Agha
Verifying the Evolution of Probability Distributions Governed by a DTMC. IEEE Trans. Software Eng. 37 (1) (2011)
Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon
Reasoning about MDPs as Transformers of Probability Distributions. QEST (2010)
YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul Agha
Resilient localization for sensor networks in outdoor environments. ACM Trans. Sens. Networks 7 (1) (2010)
YoungMin Kwon, Gul Agha
Passive Localization: Large Size Sensor Network Localization Based on Environmental Events. IPSN (2008)
YoungMin Kwon, Gul Agha
LTLC: Linear Temporal Logic for Control. HSCC (2008)
YoungMin Kwon, Gul Agha
A Markov Reward Model for Software Reliability. IPDPS (2007)
YoungMin Kwon, Gul Agha
Scalable Modeling and Performance Evaluation of Wireless Sensor Networks. IEEE Real Time Technology and Applications Symposium (2006)
YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, Gul Agha
ActorNet: an actor platform for wireless sensor networks. AAMAS (2006)
YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul A. Agha
Resilient Localization for Sensor Networks in Outdoor Environments. ICDCS (2005)
YoungMin Kwon, Gul A. Agha
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. QEST (2005)
YoungMin Kwon, Gul Agha
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. ICFEM (2004)
Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, Gul Agha
Cooperative tracking with binary-detection sensor networks. SenSys (2003)