Worst Case Timing Analysis of RISC Processors: R3000/R3010 Case Study. - Yerang Hur; Young Hyun Bae; Sung-Soo Lim; Sung-Kwan Kim; Byung-Do Rhee; Sang Lyul Min; Chang Yun Park; Heonshik Shin; Chong-Sang Kim (RTSS, 1995)

Modular Specification of Hybrid Systems in CHARON. - Rajeev Alur; Radu Grosu; Yerang Hur; Vijay Kumar 001; Insup Lee 001 (HSCC, 2000)

A Framework and Architecture for Multirobot Coordination. - Rajeev Alur; Aveek K. Das; Joel M. Esposito; Rafael Fierro; Gregory Z. Grudic; Yerang Hur; Vijay Kumar 001; Insup Lee 001; J. P. Lee; James P. Ostrowski; George J. Pappas; Ben Southall; et al. (ISER, 2000)

Hierarchical Hybrid Modeling of Embedded Systems. - Rajeev Alur; Thao Dang 001; Joel M. Esposito; Rafael Fierro; Yerang Hur; Franjo Ivancic; Vijay Kumar 001; Insup Lee 001; Pradyumna Mishra; George J. Pappas; Oleg Sokolsky (EMSOFT, 2001)

Distributed Simulation of Multi-Agent Hybrid Systems. - Yerang Hur; Insup Lee 001 (Symposium on Object-Oriented Real-Time Distributed Computing, 2002)

A Framework and Architecture for Multi-Robot Coordination. - Rafael Fierro; Aveek K. Das; John R. Spletzer; Joel M. Esposito; Vijay Kumar 001; James P. Ostrowski; George J. Pappas; Camillo J. Taylor; Yerang Hur; Rajeev Alur; Insup Lee 001; Gregory Z. Grudic; et al. (Int. J. Robotics Res., 2002)

Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study. - Yerang Hur; Rafael Fierro; Insup Lee 001 (ISORC, 2003)

Hierarchical modeling and analysis of embedded systems. - Rajeev Alur; Thao Dang 001; Joel M. Esposito; Yerang Hur; Franjo Ivancic; Vijay Kumar 001; Insup Lee 001; Pradyumna Mishra; George J. Pappas; Oleg Sokolsky (Proc. IEEE, 2003)

Sound Code Generation from Communicating Hybrid Models. - Yerang Hur; Jesung Kim; Insup Lee 001; Jin-Young Choi (HSCC, 2004)

Capacity estimation and TCP performance enhancement over mobile WiMAX networks. - Bong-Ho Kim; Jungnam Yun; Yerang Hur; Chakchai So-In; Raj Jain; Abdel Karim Al Tamimi (IEEE Commun. Mag., 2009)

Ensuring Sound Numerical Simulation of Hybrid Automata. - Yerang Hur; Jae-Hwan Sim; Jesung Kim; Jin-Young Choi (J. Comput. Sci. Eng., 2009)

Generating Reliable Code from Hybrid-Systems Models. - Madhukar Anand; Sebastian Fischmeister; Yerang Hur; Jesung Kim; Insup Lee 001 (IEEE Trans. Computers, 2010)