YoungMin Kwon
YoungMin Kwon
Associate Professor of Computer Science, The State University of New York at Korea
E-mail confirmado em sunykorea.ac.kr
Título
Citado por
Citado por
Ano
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
2232003
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
1482005
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
1172006
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
392008
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
352010
LTLC: Linear temporal logic for control
YM Kwon, G Agha
International Workshop on Hybrid Systems: Computation and Control, 316-329, 2008
352008
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
352004
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
192007
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
172011
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
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
152010
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
102014
Specification and verification of pharmacokinetic models
YM Kwon, E Kim
Advances in Computational Biology, 465-472, 2010
102010
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
92013
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
Bounded model checking of hybrid systems for control
YM Kwon, E Kim
IEEE Transactions on Automatic Control 60 (11), 2961-2976, 2015
82015
Adaptive predictive control of a distillation column
TW Yoon, DR Yang, KS Lee, YM Kwon
Zielona Góra: Uniwersytet Zielonogórski, 1999
81999
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20