Cooperative tracking with binary-detection sensor networks. - Kirill Mechitov; Sameer Sundresh; YoungMin Kwon; Gul Agha (SenSys, 2003)

Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. - YoungMin Kwon; Gul Agha (ICFEM, 2004)

iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. - YoungMin Kwon; Gul A. Agha (QEST, 2005)

ActorNet: an actor platform for wireless sensor networks. - YoungMin Kwon; Sameer Sundresh; Kirill Mechitov; Gul Agha (AAMAS, 2006)

Scalable Modeling and Performance Evaluation of Wireless Sensor Networks. - YoungMin Kwon; Gul Agha (IEEE Real Time Technology and Applications Symposium, 2006)

Probabilistic Modeling and Verification of Large Scale Systems - YoungMin Kwon (2006)

A Markov Reward Model for Software Reliability. - YoungMin Kwon; Gul Agha (IPDPS, 2007)

LTLC: Linear Temporal Logic for Control. - YoungMin Kwon; Gul Agha (HSCC, 2008)

Passive Localization: Large Size Sensor Network Localization Based on Environmental Events. - YoungMin Kwon; Gul Agha (IPSN, 2008)

Reasoning about MDPs as Transformers of Probability Distributions. - Vijay Anand Korthikanti; Mahesh Viswanathan 001; Gul Agha; YoungMin Kwon (QEST, 2010)

Resilient localization for sensor networks in outdoor environments. - YoungMin Kwon; Kirill Mechitov; Sameer Sundresh; WooYoung Kim; Gul Agha (ACM Trans. Sens. Networks, 2010)

Model Checking MDPs with a Unique Compact Invariant Set of Distributions. - Rohit Chadha; Vijay Anand Korthikanti; Mahesh Viswanathan 001; Gul Agha; YoungMin Kwon (QEST, 2011)

Verifying the Evolution of Probability Distributions Governed by a DTMC. - YoungMin Kwon; Gul A. Agha (IEEE Trans. Software Eng., 2011)

Performance evaluation of sensor networks by statistical modeling and euclidean model checking. - YoungMin Kwon; Gul Agha (ACM Trans. Sens. Networks, 2013)

Design and Implementation of a Mobile Actor Platform for Wireless Sensor Networks. - YoungMin Kwon; Kirill Mechitov; Gul A. Agha (Concurrent Objects and Beyond, 2014)

Bounded Model Checking of Hybrid Systems for Control. - YoungMin Kwon; Eunhee Kim (IEEE Trans. Autom. Control., 2015)

Quantitative Model Checking for a Smart Grid Pricing. - YoungMin Kwon; Eunhee Kim; Seonghwan Jeong; Arthur H. Lee (QEST, 2017)

Quantitative Model Checking for a Controller Design. - YoungMin Kwon; Eunhee Kim (SPIN, 2018)

Extension of Convolutional Neural Network with General Image Processing Kernels. - Jay Hoon Jung; Yousun Shin; YoungMin Kwon (TENCON, 2018)

Robustness of Piece-Wise Linear Neural Network with Feasible Region Approaches. - Jay Hoon Jung; YoungMin Kwon (ICFEM, 2019)

Quantitative Model Checking for a Resilient Control System. - Jay Hoon Jung; Eunhee Kim; YoungMin Kwon (SSCI, 2019)

A Metric to Measure Contribution of Nodes in Neural Networks. - Jay Hoon Jung; Yousun Shin; YoungMin Kwon (SSCI, 2019)

Color, Edge, and Pixel-wise Explanation of Predictions Based on Interpretable Neural Network Model. - Jay Hoon Jung; YoungMin Kwon (ICPR, 2020)

Boundaries of Single-Class Regions in the Input Space of Piece-Wise Linear Neural Networks. - Jay Hoon Jung; YoungMin Kwon (ICPR, 2020)

A Metric to Compare Pixel-Wise Interpretation Methods for Neural Networks. - Jay Hoon Jung; YoungMin Kwon (IEEE Access, 2020)

The 2020 Low-Power Computer Vision Challenge. - Xiao Hu 004; Ming-Ching Chang; Yuwei Chen; Rahul Sridhar; Zhenyu Hu; Yunhe Xue; Zhenyu Wu 002; Pengcheng Pi; Jiayi Shen; Jianchao Tan; Xiangru Lian; Ji Liu 002; et al. (AICAS, 2021)

Keyword-Based Vehicle Retrieval. - Eun-Ju Park; Hoyoung Kim; Seonghwan Jeong; Byungkon Kang; YoungMin Kwon (CVPR Workshops, 2021)

A Design of GPU-Based Quantitative Model Checking. - YoungMin Kwon; Eunhee Kim (VMCAI, 2021)

Energy Efficient Text Spotting Technique for Mobile Edge Computing. - Seonghwan Jeong; YoungMin Kwon (AICAS, 2022)

Bounded Quantum Regular Language Generator. - YoungMin Kwon; Gul Agha (QCE, 2023)

A Bounded Model Checking Technique for Discrete-Time Nonlinear Systems. - YoungMin Kwon; Eunhee Kim; Gul Agha (QEST, 2023)