- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 9 |      | Jincao Zhu, Hyogon Kim, Hee-Hwan Kwak: A Linear-Complexity Burst Packing Scheme for IEEE 802.16e OFDMA Downlink Frames. VTC Spring 2009 |
| 2002 | ||
| 8 | | In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley: Simplifying Circuits for Formal Verification Using Parametric Representation. FMCAD 2002: 52-69 |
| 7 | | Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple: Combinational equivalence checking through function transformation. ICCAD 2002: 526-533 |
| 6 | | Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky: Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. Sci. Comput. Program. 42(1): 49-60 (2002) |
| 2001 | ||
| 5 |  | Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky: A Family of Resource-Bound Real-Time Process Algebras. FORTE 2001: 443-458 |
| 2000 | ||
| 4 | | Jin-Young Choi, Hee-Hwan Kwak, Insup Lee: A Framework for Embedded Real-Time System Design. IPDPS Workshops 2000: 738-742 |
| 1999 | ||
| 3 | | Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky: Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. Electr. Notes Theor. Comput. Sci. 25: 38-49 (1999) |
| 1998 | ||
| 2 | | Oleg Sokolsky, Mohamed F. Younis, Insup Lee, Hee-Hwan Kwak, Jeffrey X. Zhou: Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. IEEE Real Time Technology and Applications Symposium 1998: 220-229 |
| 1 | | Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky: Symbolic Schedulability Analysis of Real-Time Systems. IEEE Real-Time Systems Symposium 1998: 409- |
| 1 | Jin-Young Choi | [1] [4] [5] |
| 2 | Hyogon Kim | [9] |
| 3 | James H. Kukula | [7] [8] |
| 4 | Insup Lee | [1] [2] [3] [4] [5] [6] |
| 5 | In-Ho Moon | [7] [8] |
| 6 | Anna Philippou | [1] [5] |
| 7 | Carl Pixley | [8] |
| 8 | Thomas R. Shiple | [7] [8] |
| 9 | Oleg Sokolsky | [1] [2] [3] [5] [6] |
| 10 | Mohamed F. Younis (Mohamed Younis) | [2] |
| 11 | Jeffrey X. Zhou | [2] |
| 12 | Jincao Zhu | [9] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page