|
|
|
| About |
|---|
|
 |
I received my PhD degree from Computer Science Department of
University of Illinois at Urbana-Champaign in May 2006 under the guidance of
Professor Gul Agha. I received
my Masters degree from Department of Mechatronics of Korea University under the
guidance of Professor Tae-Woong Yoon, in 1998. I
received my undergraduate degree from Department of Electrical Engineering of
Korea University, in 1996.
|
|
| Addresses |
|---|
|
Office Address:
Microsoft Corporation, Building 50/1201
One Microsoft Way
Redmond, WA 98052
Phone: +1-425-706-9870
Email: ykwon4@cs.uiuc.edu
|
Home Address:
9210 Redmond-Woodinville Rd
APT A304
Redmond, WA 98052, USA
Phone: +1-217-390-4374
|
|
| Research Interests |
|---|
- Wireless Sensor Networks:
Programming languages and computation platforms to
simplify building applications on wireless sensor networks.
- Probabilistic Model Checking:
Performance evaluations of large scale systems,
in particular, Wireless Sensor Networks.
- Hybrid Systems:
Temporal logics for physical systems.
|
|
| Software |
|---|
- LTLC Checker:
Properties of linear systems can be specified in LTLC (Linear Temporal Logic
for Control) and model checked by LTLC checker. LTLC can also be used for
control of linear systems: part of a counter example of a negated control
objective written in LTLC is a sequence of input that can drive the system
to meet the objective.
- iLTL Checker:
iLTLChecker is a probabilistic model checking tool for concurrent runs
of multiple Markov Processes. Because, iLTL specifies expected rewards on
transitions of probability mass functions, it is a suitable logic for evaluating
performances of large scale systems.
- ActorNet-1.0:
ActorNet is a mobile agent platform for Wireless Sensor Networks (WSNs).
It provides a scheme-like simple syntax, coordination services, and many useful
library of modules so that applications for WSNs can be easily developed.
|
|
| Selected Publications |
|---|
-
"Probabilistic Modeling and Verification of Large Scale Systems,"
PhD Thesis, 2006 May
-
"Passive Localization: Large Size Sensor Network Localization Based on Environmental Events,"
YoungMin Kwon and Gul Agha
International Conference on Information Processing in Sensor Networks (IPSN)
pp. 3-14, 2008 (Acceptance rate 20%).
-
"LTLC: Linear Temporal Logic for Control,"
YoungMin Kwon and Gul Agha
11th International Conference on Hybrid Systems: Computation and Control (HSCC)
pp. 316-329, 2008.
-
"A Markov Reward Model for Software Reliability,"
YoungMin Kwon and Gul Agha
The Next Generation Software (NGS) Workshop at International Parallel and Distributed Processing Symposium
(IPDPS), pp. 1-6, 2007.
-
"Scalable Modeling and Performance Evaluation of Wireless Sensor Networks,"
YoungMin Kwon and Gul Agha
Real-Time and Embedded Technology and Applications Symposium (RTAS),
IEEE Computer Society, pp. 49-58, 2006 (Acceptance rate 29%).
-
"ActorNet: An Actor Platform for Wireless Sensor Networks,"
YoungMin Kwon, Sameer Sundresh, Kirill Mechitov, and Gul Agha
International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS),
pp. 1297-1300, 2006. (Short paper)
-
"Resilient Localization for Sensor Networks in Outdoor Environments,"
YoungMin Kwon, Kirill Mechitov, Sameer Sundresh, and Gul Agha
International Conference on Distributed Computing Systems (ICDCS),
IEEE Computer Society, pp. 643-652, 2005 (Acceptance rate 13%).
-
"iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs,"
YoungMin Kwon and Gul Agha
International Conference on the Quantitative Evaluation of Systems (QEST)
IEEE Computer Society, pp. 245-246, 2005.
-
"Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains,"
YoungMin Kwon and Gul Agha
International Conference on Formal Engineering Methods (ICFEM),
Lecture Notes in Computer Science, vol. 3308, pp. 194-208, 2004 (Acceptance rate 27%).
-
"Cooperative Tracking with Binary-Detection Sensor Networks,"
Mechitov, Kirill, Sameer Sundresh, YoungMin Kwon, Gul Agha
First International Conference on Embedded Networked Sensor Systems (SenSys),
pp. 332-333, 2003 (Poster).
- more...
|
|
|
|