YoungMin Kwon
youngmin.kwon@sunykorea.ac.kr
 
 
Research Interests

  • Distributed and Cyber Physical Systems: Developing middleware services and computing environments for Cyber Physical Systems.

  • Quantitative Analysis Techniques: Developing quantitative model checking techniques for physical and hybrid systems.
 
Education
 
  • Ph.D. : Computer Science, University of Illinois at Urbana-Champaign
    • Advisor: Professor Gul Agha
    • Research focus: Model Checking Physical Systems, Network Embedded Systems, and Distributed Systems.
    • PhD Thesis: "Probabilistic Modeling and Verification of Large Scale Systems," May 2006.
  • M.E. : Mechatronics, Korea University
    • Advisor: Professor Tae-Woong Yoon 
    • Research focus: Automatic Control
  • B.E. : Electrical Engineering, Korea University
 
 Journal Publications
 
  • YoungMin Kwon and Eunhee Kim
    "Bounded Model Checking of Hybrid Systems for Control,"
    IEEE Transactions on Automatic Control (TAC), Volume 60, Issue 11, Pages 2961-2976, Nov. 2015. link
  • IF: 3.167, Journal Rank: 24/248 (9.639%) by 2013 JCR*

  • YoungMin Kwon, Kirill Mechitov, and Gul Agha
    "Design and Implementation of a Mobil Actor Platform for Wireless Sensor Networks,"
    Concurrent Objects and Beyond (Festschrift for Prof. Yonezawa)
    Lecture Notes in Computer Science (LNCS), Springer, Volume 8665, Pages 276-316, Sep. 2014. link

  • YoungMin Kwon and Gul Agha
    "Performance Evaluation of Sensor Networks by Statistical Modeling and Euclidean Model Checking,"
    ACM Transactions on Sensor Networks (TOSN), Volume 9, Issue 4, Pages 1-38, July 2013. link
    IF: 2.287, Journal Rank: 7/80 (8.750%) by 2010 JCR*

  • YoungMin Kwon and Gul Agha
    "Verifying the Evolution of Probability Distributions Governed by a DTMC,"
    IEEE Transactions on Software Engineering (TSE), Volume 37, Issue 1, Pages 126-141, Jan. 2011. pdf link
    IF: 3.569, Journal Rank: 2/86 (2.326%) by 2008 JCR*

  • YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, Wooyoung Kim, and Gul Agha
    "Resilient localization for sensor networks in outdoor environments,"
    ACM Transactions on Sensor Networks (TOSN), Volume 7, Issue 1, Pages 1-30,  Aug. 2010. link
    IF: 1.938, Journal Rank: 11/77(14.286%) by 2009 JCR*

  • YoungMin Kwon and Eunhee Kim
    "Specification and Verification of Pharmacokinetic Models,"
    Computational Biology and Bioinformatics in book series
    Advances in Experimental Medicine and Biology (AEMB), Springer, Volume 680, Chapter 52, Pages 463-472, Sep. 2010. pdf link
    IF: 2.02, Journal Rank: 47/93 (50.538%) by 2009 JCR*

    *: IF (Impact Factor) and Journal Rank are based on paper submission time.

Conference Publications
 
  •  Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, and YoungMin Kwon
    "Model Checking MDPs With A Unique Invariant Set of Distributions,"
    International Conference on Quantitative Evaluation of SysTems (QEST), Pages 121-130, 2011. pdf link
  • Vijay Anand Korthikanti, Mahesh Viswanathan, YoungMin Kwon, and Gul Agha
    "Reasoning About MDPs as Transformers of Probability Distribution,"
    International Conference on Quantitative Evaluation of SysTems (QEST), Pages 199-208, 2010. pdf link

  • YoungMin Kwon and Gul Agha
    "Passive Localization: Large Size Sensor Network Localization Based on Environmental Events,"
    International Conference on Information Processing in Sensor Networks (IPSN), Pages 3-14, 2008. (acceptance rate 23%) pdf link

  • YoungMin Kwon and Gul Agha
    "LTLC: Linear Temporal Logic for Control,"
    11th International Conference on Hybrid Systems: Computation and Control (HSCC), Pages 316-329, 2008. pdf link

  • YoungMin Kwon and Gul Agha
    "A Markov Reward Model for Software Reliability,"
    The Next Generation Software (NGS) Workshop at International Parallel and Distributed Processing Symposium (IPDPS), Pages 1-6, 2007. pdf link
  •  YoungMin Kwon and Gul Agha
    "Scalable Modeling and Performance Evaluation of Wireless Sensor Networks,"
    Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE Computer Society, Pages 49-58, 2006. (acceptance rate 29%, nominated for the best paper) pdf link

  • YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, and Gul Agha
    "ActorNet: An Actor Platform for Wireless Sensor Networks,"
    International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Pages 1297-1300, 2006. link UIUCTechReport

  • YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, WooYoung-Kim, and Gul Agha
    "Resilient Localization for Sensor Networks in Outdoor Environments,"
    International Conference on Distributed Computing Systems (ICDCS), IEEE Computer Society, Pages 643-652, 2005. (acceptance rate 13%) pdf link

  • YoungMin Kwon and Gul Agha
    "iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs,"
    International Conference on the Quantitative Evaluation of Systems (QEST) IEEE Computer Society, pp. 245-246, 2005. pdf link

  • YoungMin Kwon and Gul Agha
    "Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains,"
    International Conference on Formal Engineering Methods (ICFEM), Lecture Notes in Computer Science, vol. 3308, Pages 194-208, 2004. (acceptance rate: 27%) pdf link

  • Kirill Mechitov, Sameer Sundresh, YoungMin Kwon, and Gul Agha
    "Cooperative Tracking with Binary-Detection Sensor Networks,"
    First International Conference on Embedded Networked Sensor Systems (SenSys), Pages 332-333, 2003. pdf

  • Sameer Sundresh, Gul Agha, Kirill Mechitov, WooYoung Kim, and YoungMin Kwon
    "Coordination Services for Wireless Sensor Networks,"
    International Workshop on Advanced Sensors, Structural Health Monitoring and Smart Structures, 7 pages, 2003. pdf

Software
Links
Misc.
  • Work Experience
ċ
ActorNet-1.0(SourceCode).tar.gz
(28k)
YoungMin Kwon,
Aug 8, 2011, 6:10 PM
ċ
LTLCChecker_v0.8.161227.exe.RemoveThisExtension
(75k)
YoungMin Kwon,
Dec 27, 2016, 12:23 AM
ċ
iLTL_v1.0(ModelCheckerSourceCode).zip
(40k)
YoungMin Kwon,
Aug 8, 2011, 6:10 PM