| 2004 |
|---|
| 7 | EE | Grace Tsai,
Shuhua Wang:
Using Program Transformations to Provide Safety Properties for Real-Time Systems.
Real-Time Systems 27(2): 191-207 (2004) |
| 6 | EE | Shuhua Wang,
Grace Tsai:
Specification and Timing Analysis of Real-Time Systems.
Real-Time Systems 28(1): 69-90 (2004) |
| 2002 |
|---|
| 5 | | Wolfgang A. Halang,
Nihal Kececi,
Grace Tsai:
Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems.
DIPES 2002: 153-162 |
| 1999 |
|---|
| 4 | EE | Mohamed F. Younis,
Thomas J. Marlowe,
Alexander D. Stoyen,
Grace Tsai:
Statically Safe Speculative Execution for Real-Time Systems.
IEEE Trans. Software Eng. 25(5): 701-721 (1999) |
| 1996 |
|---|
| 3 | EE | Mohamed F. Younis,
Thomas J. Marlowe,
Grace Tsai,
Alexander D. Stoyenko:
Toward Compiler Optimization of Distributed Real-Time Processes.
ICECCS 1996: 35-42 |
| 1995 |
|---|
| 2 | EE | Mohamed F. Younis,
Grace Tsai,
Thomas J. Marlowe,
Alexander D. Stoyenko:
Using speculative execution for fault tolerance in a real-time system.
ICECCS 1995: 349-356 |
| 1 | EE | Grace Tsai,
M. Insall,
Bruce M. McMillin:
Ensuring the satisfaction of a temporal specification at run-time.
ICECCS 1995: 397-404 |
