2004 |
9 | EE | Yerang Hur,
Jesung Kim,
Insup Lee,
Jin-Young Choi:
Sound Code Generation from Communicating Hybrid Models.
HSCC 2004: 432-447 |
2003 |
8 | EE | Yerang Hur,
Rafael B. Fierro,
Insup Lee:
Modeling Distributed Autonomous Robots Using CHARON: Formation Control Case Study.
ISORC 2003: 93-98 |
7 | | Rajeev Alur,
Thao Dang,
Joel M. Esposito,
Yerang Hur,
Franjo Ivancic,
Vijay Kumar,
Insup Lee,
Pradyumna Mishra,
George J. Pappas,
Oleg Sokolsky:
Hierarchical modeling and analysis of embedded systems.
Proceedings of the IEEE 91(1): 11-28 (2003) |
2002 |
6 | EE | Yerang Hur,
Insup Lee:
Distributed Simulation of Multi-Agent Hybrid Systems.
Symposium on Object-Oriented Real-Time Distributed Computing 2002: 356-364 |
5 | | Rafael B. Fierro,
Aveek K. Das,
John R. Spletzer,
Joel M. Esposito,
Vijay Kumar,
James P. Ostrowski,
George J. Pappas,
Camillo J. Taylor,
Yerang Hur,
Rajeev Alur,
Insup Lee,
Gregory Z. Grudic,
Ben Southall:
A Framework and Architecture for Multi-Robot Coordination.
I. J. Robotic Res. 21(10-11): 977-998 (2002) |
2001 |
4 | EE | Rajeev Alur,
Thao Dang,
Joel M. Esposito,
Rafael B. Fierro,
Yerang Hur,
Franjo Ivancic,
Vijay Kumar,
Insup Lee,
Pradyumna Mishra,
George J. Pappas,
Oleg Sokolsky:
Hierarchical Hybrid Modeling of Embedded Systems.
EMSOFT 2001: 14-31 |
2000 |
3 | EE | Rajeev Alur,
Radu Grosu,
Yerang Hur,
Vijay Kumar,
Insup Lee:
Modular Specification of Hybrid Systems in CHARON.
HSCC 2000: 6-19 |
2 | EE | Rajeev Alur,
Aveek K. Das,
Joel M. Esposito,
Rafael B. Fierro,
Gregory Z. Grudic,
Yerang Hur,
Vijay Kumar,
Insup Lee,
J. P. Lee,
James P. Ostrowski,
George J. Pappas,
Ben Southall,
John R. Spletzer,
Camillo J. Taylor:
A Framework and Architecture for Multirobot Coordination.
ISER 2000: 303-312 |
1995 |
1 | | 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:
Worst Case Timing Analysis of RISC Processors: R3000/R3010 Case Study.
IEEE Real-Time Systems Symposium 1995: 308-321 |