The following publications are possibly variants of this publication:
- Synthesis of Real-Time Embedded Software by Timed Quasi-Static SchedulingPao-Ann Hsiung, Feng-Shi Su. vlsid 2003: 579-584 [doi]
- Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static SchedulingPao-Ann Hsiung, Trong-Yen Lee, Feng-Shi Su. apsec 2002: 395-404 [doi]
- Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global DeadlinesPao-Ann Hsiung, Cheng-Yi Lin, Trong-Yen Lee. rtcsa 2004: 229-243 [doi]
- Formal synthesis and code generation of embedded real-time softwarePao-Ann Hsiung. codes 2001: 208-213 [doi]
- Automatic Synthesis and Verification of Real-Time Embedded SoftwarePao-Ann Hsiung, Shang-Wei Lin. euc 2004: 12-21 [doi]
- RESS: Real-Time Embedded Software Synthesis and Prototyping MethodologyTrong-Yen Lee, Pao-Ann Hsiung, I-Mu Wu, Feng-Shi Su. rtcsa 2004: 529-544 [doi]
- Synthesis of real-time embedded software with local and global deadlinesPao-Ann Hsiung, Cheng-Yi Lin. codes 2003: 114-119 [doi]