| 2002 |
|---|
| 8 | EE | 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 | EE | 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 | EE | Jin-Young Choi,
Hee-Hwan Kwak,
Insup Lee:
A Framework for Embedded Real-Time System Design.
IPDPS Workshops 2000: 738-742 |
| 1999 |
|---|
| 3 | EE | 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: (1999) |
| 1998 |
|---|
| 2 | EE | 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 | EE | 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- |
