Verifiable Embedded Real-Time Application Framework. - Pao-Ann Hsiung; Feng-Shi Su; Chuen-Hau Gao; Shu-Yu Cheng; Yu-Ming Chang (IEEE Real Time Technology and Applications Symposium, 2001)

Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling. - Pao-Ann Hsiung; Trong-Yen Lee; Feng-Shi Su (APSEC, 2002)

Extended quasi-static scheduling for formal synthesis and code generation of embedded software. - Feng-Shi Su; Pao-Ann Hsiung (CODES, 2002)

RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology. - Trong-Yen Lee; Pao-Ann Hsiung; I-Mu Wu; Feng-Shi Su (RTCSA, 2003)

Synthesis of Real-Time Embedded Software by Timed Quasi-Static Scheduling. - Pao-Ann Hsiung; Feng-Shi Su (VLSI Design, 2003)