The following publications are possibly variants of this publication:
- Synthesis of real-time embedded software with local and global deadlinesPao-Ann Hsiung, Cheng-Yi Lin. codes 2003: 114-119 [doi]
- 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]
- Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri NetsPao-Ann Hsiung, Chuen-Hau Gao. ENTCS, 65(6):140-159, 2002. [doi]
- Extended quasi-static scheduling for formal synthesis and code generation of embedded softwareFeng-Shi Su, Pao-Ann Hsiung. codes 2002: 211-216 [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]