dblp.uni-trier.dewww.uni-trier.de

YoungMin Kwon Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Gul A. Agha (Gul Agha) [1] [2] [3] [4] [5] [6] [7] [8] [9]
2WooYoung Kim [4]
3Kirill Mechitov [1] [4] [6]
4Sameer Sundresh [1] [4] [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)