| 2008 |
|---|
| 9 | EE | YoungMin Kwon,
Gul Agha:
LTLC: Linear Temporal Logic for Control.
HSCC 2008: 316-329 |
| 8 | EE | YoungMin Kwon,
Gul Agha:
Passive Localization: Large Size Sensor Network Localization Based on Environmental Events.
IPSN 2008: 3-14 |
| 2007 |
|---|
| 7 | EE | YoungMin Kwon,
Gul Agha:
A Markov Reward Model for Software Reliability.
IPDPS 2007: 1-6 |
| 2006 |
|---|
| 6 | EE | YoungMin Kwon,
Sameer Sundresh,
Kirill Mechitov,
Gul Agha:
ActorNet: an actor platform for wireless sensor networks.
AAMAS 2006: 1297-1300 |
| 5 | EE | YoungMin Kwon,
Gul Agha:
Scalable Modeling and Performance Evaluation of Wireless Sensor Networks.
IEEE Real Time Technology and Applications Symposium 2006: 49-58 |
| 2005 |
|---|
| 4 | EE | YoungMin Kwon,
Kirill Mechitov,
Sameer Sundresh,
WooYoung Kim,
Gul A. Agha:
Resilient Localization for Sensor Networks in Outdoor Environments.
ICDCS 2005: 643-652 |
| 3 | EE | YoungMin Kwon,
Gul A. Agha:
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs.
QEST 2005: 245-246 |
| 2004 |
|---|
| 2 | EE | YoungMin Kwon,
Gul Agha:
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains.
ICFEM 2004: 194-208 |
| 2003 |
|---|
| 1 | EE | Kirill Mechitov,
Sameer Sundresh,
YoungMin Kwon,
Gul Agha:
Cooperative tracking with binary-detection sensor networks.
SenSys 2003: 332-333 |
