Mailing address:	9210 Redmond-Woodinville Rd. APT A304, Redmond WA 98052
Office phone:	425-706-9870
E-mail:	ykwon4csuiucedu
Home page:	http://osl.cs.uiuc.edu/~ykwon4

Select publications

Kwon, YoungMin, Gul Agha. "LTLC: Linear Temporal Logic for Control," 11th International Conference on Hybrid Systems: Computation and Control (HSCC) (to appear), 2008. [pdf] [bib]
Kwon, YoungMin, Gul Agha. "Passive Localization: Large Size Sensor Network Localization Based on Environmental Events," International Conference on Information Processing in Sensor Networks (IPSN) (to appear), 2008. [pdf] [bib]
Kwon, YoungMin, 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] [ps] [bib]
Kwon, YoungMin, Sameer Sundresh, Kirill Mechitov, Gul Agha. "ActorNet: An Actor Platform for Wireless Sensor Networks," Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pages 1297-1300, 2006. [pdf] [ps] [bib]
Kwon, YoungMin. "Probabilistic Modeling and Verification of Large Scale Systems," Technical Report, UIUCDCS-R-2006-2687, Department of Computer Science, University of Illinois at Urbana Champaign, 2006. [pdf] [ps] [bib]
Kwon, YoungMin, Gul Agha. "Scalable Modeling and Performance Evaluation of Wireless Sensor Networks," Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE pages 49-58, 2006. [pdf] [ps] [bib]
Kwon, YoungMin, Sameer Sundresh, Kirill Mechitov, Gul Agha. "ActorNet: An Actor Platform for Wireless Sensor Networks," Technical Report UIUCDCS-R-2005-2595, Department of Computer Science, University of Illinois at Urbana-Champaign, 2005. [pdf] [ps] [bib]
Kwon, YoungMin, Gul Agha. "iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs," 2nd International Conference on the Quantitative Evaluation of Systems, IEEE, (Tool paper), 2005. [pdf] [ps] [bib]
Sundresh, Sameer, YoungMin Kwon, Kirill Mechitov, WooYoung Kim, Gul Agha. "Localization of Sparse Sensor Networks Using Layout Information," Technical Report UIUCDCS-R-2005-2525, Department of Computer Science, University of Illinois at Urbana-Champaign, 2005. [pdf] [ps] [bib]
Kwon, YoungMin, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul Agha. "Resilient Localization for Sensor Networks in Outdoor Environments," 25th International Conference on Distributed Computing Systems (ICDCS), pages 643-652, 2005. [pdf] [bib]
Kwon, YoungMin, Gul Agha. "Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains," International Conference on Formal Engineering Methods (ICFEM), 2004. [pdf] [ps] [bib]
Kwon, YoungMin, Kirill Mechitov, Sameer Sundresh, WooYoung Kim, Gul Agha. "Resilient Localization for Sensor Networks in Outdoor Environments," Technical Report UIUCDCS-R-2004-2449, Department of Computer Science, University of Illinois at Urbana Champaign, 2004. [pdf] [bib]
Mechitov, Kirill, Sameer Sundresh, YoungMin Kwon, Gul Agha. "Cooperative Tracking with Binary-Detection Sensor Networks," Technical Report UIUCDCS-R-2003-2379, Department of Computer Science, University of Illinois at Urbana-Champaign, 2003. [pdf] [ps] [bib]
Mechitov, Kirill, Sameer Sundresh, YoungMin Kwon, Gul Agha. "Cooperative Tracking with Binary-Detection Sensor Networks," First International Conference on Embedded Networked Sensor Systems (SenSys), 2003. [pdf] [bib]
Sundresh, Sameer, Gul Agha, Kirill Mechitov, WooYoung Kim, YoungMin Kwon. "Coordination Services for Wireless Sensor Networks," International Workshop on Advanced Sensors, Structural Health Monitoring and Smart Structures, 2003. [doc] [pdf] [bib]
Agha, Gul, WooYoung Kim, YoungMin Kwon, Kirill Mechitov, Sameer Sundresh. "Evaluation of Localization Services (Preliminary Report)," DARPA NEST Program, 2003. [pdf] [bib]