YoungMin Kwon
YoungMin Kwon
Associate Professor of Computer Science, The State University of New York at Korea
Verified email at sunykorea.ac.kr
Title
Cited by
Cited by
Year
Cooperative tracking with binary-detection sensor networks
K Mechitov, S Sundresh, Y Kwon, G Agha
Proceedings of the 1st international conference on Embedded networked sensor …, 2003
2152003
Resilient localization for sensor networks in outdoor environments
YM Kwon, K Mechitov, S Sundresh, W Kim, G Agha
25th IEEE International Conference on Distributed Computing Systems (ICDCS …, 2005
1462005
ActorNet: An actor platform for wireless sensor networks
YM Kwon, S Sundresh, K Mechitov, G Agha
Proceedings of the fifth international joint conference on Autonomous agents …, 2006
1142006
Passive localization: Large size sensor network localization based on environmental events
YM Kwon, G Agha
2008 International Conference on Information Processing in Sensor Networks …, 2008
372008
Reasoning about MDPs as transformers of probability distributions
VA Korthikanti, M Viswanathan, G Agha, YM Kwon
2010 Seventh International Conference on the Quantitative Evaluation of …, 2010
332010
LTLC: Linear temporal logic for control
YM Kwon, G Agha
International Workshop on Hybrid Systems: Computation and Control, 316-329, 2008
332008
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
YM Kwon, G Agha
International conference on formal engineering methods, 194-208, 2004
302004
Scalable modeling and performance evaluation of wireless sensor networks
YM Kwon, G Agha
12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2006
242006
A markov reward model for software reliability
YM Kwon, G Agha
2007 IEEE International Parallel and Distributed Processing Symposium, 1-6, 2007
182007
Model checking MDPs with a unique compact invariant set of distributions
R Chadha, VA Korthikanti, M Viswanathan, G Agha, Y Kwon
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
162011
Resilient localization for sensor networks in outdoor environments
Y Kwon, K Mechitov, S Sundresh, W Kim, G Agha
ACM Transactions on Sensor Networks (TOSN) 7 (1), 1-30, 2010
142010
Coordination services for wireless sensor networks
S Sundresh, G Agha, K Mechitov, WY Kim, YM Kwon
International Workshop on Advanced Sensors, Structural Health Monitoring and …, 2003
142003
Verifying the evolution of probability distributions governed by a DTMC
YM Kwon, G Agha
IEEE Transactions on Software Engineering 37 (1), 126-141, 2010
132010
iLTLChecker: a probabilistic model checker for multiple DTMCs
YM Kwon, G Agha
Second International Conference on the Quantitative Evaluation of Systems …, 2005
122005
Design and implementation of a mobile actor platform for wireless sensor networks
YM Kwon, K Mechitov, G Agha
Concurrent objects and beyond, 276-316, 2014
92014
Cooperative tracking with binary-detection sensor networks
S Chits, S Sundresh, Y Kwon, G Agha
Technical Report UIUCDCS-R-2003-2379, Computer Science Dept., University of …, 2003
92003
Performance evaluation of sensor networks by statistical modeling and euclidean model checking
Y Kwon, G Agha
ACM Transactions on Sensor Networks (TOSN) 9 (4), 1-38, 2013
82013
Specification and verification of pharmacokinetic models
YM Kwon, E Kim
Advances in Computational Biology, 465-472, 2010
82010
Bounded model checking of hybrid systems for control
YM Kwon, E Kim
IEEE Transactions on Automatic Control 60 (11), 2961-2976, 2015
72015
Adaptive predictive control of a distillation column
TW Yoon, DR Yang, KS Lee, YM Kwon
International Journal of Applied Mathematics and Computer Science 9 (1), 193-206, 1999
71999
The system can't perform the operation now. Try again later.
Articles 1–20