Y. Hur

Most-cited papers

Modular Specification of Hybrid Systems in CHARON
R. Alur, R. Grosu, Y. Hur, Vijay R. Kumar +1 more
2000International Conference on Hybrid Systems: Computation and Control222 citations
Semantic Scholar
A Framework and Architecture for Multi-Robot Coordination
R. Fierro, Aveek K. Das, J. Spletzer, J. Esposito +9 more
2002Int. J. Robotics Res.204 citations Open access
Semantic Scholar
Hierarchical modeling and analysis of embedded systems
R. Alur, T. Dang, J. Esposito, Y. Hur +6 more
2003Proceedings of the IEEE195 citations Open access
Semantic Scholar
Hierarchical Hybrid Modeling of Embedded Systems
R. Alur, T. Dang, J. Esposito, R. Fierro +7 more
2001International Conference on Embedded Software114 citations
Semantic Scholar
Worst case timing analysis of RISC processors: R3000/R3010 case study
Y. Hur, Young Hyun Bae, Sung-Soo Lim, Sung-Kwan Kim +6 more
1995Proceedings 16th IEEE Real-Time Systems Symposium51 citations
Semantic Scholar
Capacity estimation and TCP performance enhancement over mobile WiMAX networks
Bong-Ho Kim, Jungnam Yun, Y. Hur, C. So-In +2 more
2009IEEE Communications Magazine40 citations
Semantic Scholar
A Framework and Architecture for Multirobot Coordination
Rajeev Alur, Aveek K. Das, J. Esposito, Rafael Fierro +10 more
2000International Symposium on Experimental Robotics32 citations Open access
Semantic Scholar
Distributed simulation of multi-agent hybrid systems
Y. Hur, Insup Lee
2002Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 200225 citations Open access
Semantic Scholar
Sound Code Generation from Communicating Hybrid Models
Y. Hur, Jesung Kim, Insup Lee, Jin-Young Choi
2004International Conference on Hybrid Systems: Computation and Control15 citations Open access
Semantic Scholar
Generating Reliable Code from Hybrid-Systems Models
M. Anand, S. Fischmeister, Y. Hur, Jesung Kim +1 more
2010IEEE transactions on computers12 citations
Semantic Scholar
Modeling distributed autonomous robots using CHARON: formation control case study
Y. Hur, R. Fierro, Insup Lee
2003Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.12 citations
Semantic Scholar
Charon : a Language for Modular Spe i ation of Hybrid Systems
R. Alur, R. Grosu, Y. Hur, V. Kumar +2 more
20004 citations
Semantic Scholar
Ensuring Sound Numerical Simulation of Hybrid Automata
Y. Hur, Jae-Hwan Sim, Jesung Kim, Jin-Young Choi
2009Journal of Computing Science and Engineering2 citations Open access
Semantic Scholar
Generating Reliable Code from Hybrid-Systems Models
M. Anand, S. Fischmeister, Y. Hur, Insup Lee
20210 citations
Semantic Scholar
9-1-2010 Generating Reliable Code from Hybrid-Systems Models
M. Anand, S. Fischmeister, Y. Hur, Insup Lee
20150 citations
Semantic Scholar
18. WiMAX System Performance
B. Kim, Jungnam Yun, Y. Hur
20110 citations
Semantic Scholar
Modeling the Simplex Architecture using Charon
R. Fierro, Y. Hur, Insup Lee, L. Sha
20070 citations
Semantic Scholar
Clarification of CDMA Handover Ranging Process
Hai-Ming Huang, Ke-Min Li, Titus K. Y. Lo, Y. Hur +4 more
20040 citations
Semantic Scholar
St. Louis from AWG of
B. Kim, Jungnam Yun, Y. Hur, R. Jain +1 more
0 citations
Semantic Scholar