Follow
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
2302003
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
1552005
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
1252006
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
502010
LTLC: Linear temporal logic for control
YM Kwon, G Agha
International Workshop on Hybrid Systems: Computation and Control, 316-329, 2008
412008
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
412004
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
402008
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
Model checking MDPs with a unique compact invariant set of distributions
R Chadha, VA Korthikanti, M Viswanathan, G Agha, YM Kwon
2011 Eighth International Conference on Quantitative Evaluation of SysTems …, 2011
232011
Verifying the evolution of probability distributions governed by a DTMC
YM Kwon, G Agha
IEEE Transactions on Software Engineering 37 (1), 126-141, 2010
192010
A markov reward model for software reliability
YM Kwon, G Agha
2007 IEEE International Parallel and Distributed Processing Symposium, 1-6, 2007
192007
Coordination services for wireless sensor networks
S Sundresh, G Agha, K Mechitov, WY Kim, Y Kwon
International Workshop on Advanced Sensors, Structural Health Monitoring and …, 2003
172003
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
162010
iLTLChecker: a probabilistic model checker for multiple DTMCs
YM Kwon, G Agha
Second International Conference on the Quantitative Evaluation of Systems …, 2005
152005
Keyword-based vehicle retrieval
EJ Park, H Kim, S Jeong, B Kang, YM Kwon
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2021
122021
Extension of convolutional neural network with general image processing kernels
JH Jung, Y Shin, YM Kwon
TENCON 2018-2018 IEEE Region 10 Conference, 1436-1439, 2018
122018
Bounded model checking of hybrid systems for control
YM Kwon, E Kim
IEEE Transactions on Automatic Control 60 (11), 2961-2976, 2015
102015
Design and implementation of a mobile actor platform for wireless sensor networks
YM Kwon, K Mechitov, G Agha
Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the …, 2014
102014
Specification and verification of pharmacokinetic models
YM Kwon, E Kim
Advances in Computational Biology, 465-472, 2010
102010
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
The system can't perform the operation now. Try again later.
Articles 1–20