YoungMin Kwon

41 papers A 3B 3C 3Misc 2Journal 8Unranked 21
YearRankTypeTitle / Venue / Authors
2026 J jnl
A finite state automaton for quantum computing.
Quantum Inf. Process.
YoungMin Kwon, Gul Agha
2026 — conf
Hamiltonian Formulation of a Finite-State Automaton.
Concurrent Programming, Open Systems and Formal Methods
YoungMin Kwon, Gul Agha
2025 J jnl
A Web Application Framework for Battery Health Prediction in Industrial IoT Networks.
J. Web Eng.
Seongseop Kim, Seungwoo Lee, Minsu Kim, YoungMin Kwon
2024 — conf
Anomaly Detection Scheme Using Global and Local Features in Time Series Data.
ICTC
Minsu Kim, Seongseop Kim, Seungwoo Lee, YoungMin Kwon
2023 — conf
A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems.
QEST
YoungMin Kwon, Eunhee Kim, Gul Agha
2023 Misc conf
Bounded Quantum Regular Language Generator.
QCE
YoungMin Kwon, Gul Agha
2022 — conf
Energy Efficient Text Spotting Technique for Mobile Edge Computing.
AICAS
Seonghwan Jeong, YoungMin Kwon
2021 B conf
A Design of GPU-Based Quantitative Model Checking.
VMCAI
YoungMin Kwon, Eunhee Kim
2021 — conf
Keyword-Based Vehicle Retrieval.
CVPR Workshops
Eun-Ju Park, Hoyoung Kim, Seonghwan Jeong, Byungkon Kang, YoungMin Kwon
2021 — conf
The 2020 Low-Power Computer Vision Challenge.
AICAS
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
2020 J jnl
A Metric to Compare Pixel-Wise Interpretation Methods for Neural Networks.
IEEE Access
Jay Hoon Jung, YoungMin Kwon
2020 B conf
Boundaries of Single-Class Regions in the Input Space of Piece-Wise Linear Neural Networks.
ICPR
Jay Hoon Jung, YoungMin Kwon
2020 B conf
Color, Edge, and Pixel-wise Explanation of Predictions Based on Interpretable Neural Network Model.
ICPR
Jay Hoon Jung, YoungMin Kwon
2019 — conf
A Metric to Measure Contribution of Nodes in Neural Networks.
SSCI
Jay Hoon Jung, Yousun Shin, YoungMin Kwon
2019 J jnl
Extension of Convolutional Neural Network with General Image Processing Kernels.
CoRR
Jay Hoon Jung, Yousun Shin, YoungMin Kwon
2019 — conf
Quantitative Model Checking for a Resilient Control System.
SSCI
Jay Hoon Jung, Eunhee Kim, YoungMin Kwon
2019 C conf
Robustness of Piece-Wise Linear Neural Network with Feasible Region Approaches.
ICFEM
Jay Hoon Jung, YoungMin Kwon
2018 C conf
Extension of Convolutional Neural Network with General Image Processing Kernels.
TENCON
Jay Hoon Jung, Yousun Shin, YoungMin Kwon
2018 — conf
Quantitative Model Checking for a Controller Design.
SPIN
YoungMin Kwon, Eunhee Kim
2017 — conf
Quantitative Model Checking for a Smart Grid Pricing.
QEST
YoungMin Kwon, Eunhee Kim, Seonghwan Jeong, Arthur H. Lee
2016 — conf
On Bandwidth-efficient Handoff Scheme for PMIPv6 Networks.
FNC/MobiSPC
Byunghun Song, Junho Shin, YoungMin Kwon, Jongpil Jeong, Yongserk Kim
2016 — conf
On Efficient SC-Based Soft Handoff Scheme in Proxy Mobile IPv6 Networks.
ICCSA (2)
Byung-hun Song, YoungMin Kwon, Hana Jang, Jongpil Jeong, Jun-Dong Cho
2016 — conf
On Multicasting-Based Fast Inter-Domain Handover Scheme in Proxy Mobile IPv6 Networks.
ICIC (3)
Jongpil Jeong, Jun-Dong Cho, Younseok Choi, YoungMin Kwon, Byunghun Song
2015 J jnl
Bounded Model Checking of Hybrid Systems for Control.
IEEE Trans. Autom. Control.
YoungMin Kwon, Eunhee Kim
2014 — conf
Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks.
Concurrent Objects and Beyond
YoungMin Kwon, Kirill Mechitov, Gul A. Agha
2013 J jnl
Performance evaluation of sensor networks by statistical modeling and euclidean model checking.
ACM Trans. Sens. Networks
YoungMin Kwon, Gul Agha
2011 — conf
Model Checking MDPs with a Unique Compact Invariant Set of Distributions.
QEST
Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon
2011 J jnl
Verifying the Evolution of Probability Distributions Governed by a DTMC.
IEEE Trans. Software Eng.
YoungMin Kwon, Gul A. Agha
2010 — conf
Reasoning about MDPs as Transformers of Probability Distributions.
QEST
Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon
2010 J jnl
Resilient localization for sensor networks in outdoor environments.
ACM Trans. Sens. Networks
YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, Wooyoung Kim, Gul Agha
2008 — conf
LTLC: Linear Temporal Logic for Control.
HSCC
YoungMin Kwon, Gul Agha
2008 — conf
Passive Localization: Large Size Sensor Network Localization Based on Environmental Events.
IPSN
YoungMin Kwon, Gul Agha
2007 A conf
A Markov Reward Model for Software Reliability.
IPDPS
YoungMin Kwon, Gul Agha
2006 A conf
ActorNet: an actor platform for wireless sensor networks.
AAMAS
YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, Gul Agha
2006 — conf
Efficient Buffer Management for Retry Mechanism in InfiniBand.
APCCAS
Chungwon Park, Hee Yong Youn, YoungMin Kwon
2006 — —
Probabilistic Modeling and Verification of Large Scale Systems
YoungMin Kwon
2006 — conf
Scalable Modeling and Performance Evaluation of Wireless Sensor Networks.
IEEE Real Time Technology and Applications Symposium
YoungMin Kwon, Gul Agha
2005 A conf
Resilient Localization for Sensor Networks in Outdoor Environments.
ICDCS
YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, Wooyoung Kim, Gul A. Agha
2005 — conf
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs.
QEST
YoungMin Kwon, Gul A. Agha
2004 C conf
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains.
ICFEM
YoungMin Kwon, Gul Agha
2003 Misc conf
Cooperative tracking with binary-detection sensor networks.
SenSys
Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, Gul Agha