Please check the INDEX file(s) for a detailed listing of the technical reports including abstracts.

• Lukai Cai, Andreas Gerstlauer, Daniel D. Gajski, "Retargetable Profiling for Rapid, Early System-Level Design Space Exploration," Proceedings of the Design Automation Conference, San Diego, CA, June 2004.
• Haobo Yu, Rainer Dömer, Daniel D. Gajski, "Embedded Software Generation from System Level Design Languages," Proceedings of the Asia and South Pacific Design Automation Conference, Yokohama, Japan, January 2004.
• Dongwan Shin, Samar Abdi, Daniel D. Gajski, "Automatic Generation of Bus Functional Models from Transaction level Models," Proceedings of the Asia and South Pacific Design Automation Conference, Yokohama, Japan, January 2004.
• Lucai Cai, Haobo Yu, Daniel D. Gajski, "A Novel Memory Size Model for Variable-Mapping In System Level Design," Proceedings of the Asia and South Pacific Design Automation Conference, Yokohama, Japan, January 2004.
• Haobo Yu, Andreas Gerstlauer, Daniel Gajski, "RTOS Scheduling in Transaction Level Models," Proceedings of the International Conference on Hardware/Software Codesign & System Synthesis, Newport Beach, CA, October 2003.
• Lucai Cai and Daniel Gajski, "Transaction Level Modeling: An Overview," Proceedings of the International Conference on Hardware/Software Codesign & System Synthesis, Newport Beach, CA, October 2003.
• Samar Abdi, Dongwan Shin, Daniel D. Gajski, "Automatic Communication Refinement for System Level Design," Proceedings of the Design Automation Conference, Anaheim, CA, June 2003.
• Andreas Gerstlauer, Haobo Yu, Daniel D. Gajski, "RTOS Modeling for System-Level Design," Proceedings of Design, Automation & Test in Europe, Munich, Germany, March 2003.
• Andreas Gerstlauer and Daniel D. Gajski, "System-Level Abstraction Semantics," Proceedings of International Symposium on System Synthesis, Kyoto, Japan, October 2002.
• Junyu Peng and Daniel D. Gajski, "Optimal Message-Passing for Data Coherency in Distributed Architecture," Proceedings of International Symposium on System Synthesis, Kyoto, Japan, October 2002.
• W. Mueller, R. Dömer, A. Gerstlauer, "The Formal Execution Semantics of SpecC," Proceedings of International Symposium on System Synthesis, Kyoto, Japan, October 2002.
• Slim Ben Saoud, Daniel D. Gajski, Andreas Gerstlauer, "Co-design of Emulators for Power electric Processes Using SpecC Methodology," Proceedings 28th Annual Conference of the IEEE Industrial Electronics Society, Sevilla, Spain, November 2002.
• Slim Ben Saoud, Daniel D. Gajski, Andreas Gerstlauer, "Co-design of Embedded Controllers for Power Electronics and Electric Systems," Proceedings International Symposium on Intelligent Control, Vancouver, Canada, October 2002.
• Slim Ben Saoud, Daniel D. Gajski, Andreas Gerstlauer, "Seamless approach for the design of control systems for Power Electronics and Electric Drives," Proceedings International Conference on Systems, Man and Cybernetics, Hammamet, Tunisia, October 2002.
• Slim Ben Saoud, Daniel D. Gajski, Rainer Dömer, "Specification and Validation of New Control Algorithms for Electric Drives Using SpecC Language," Proceedings International Conference on Systems, Man and Cybernetics, Hammamet, Tunisia, October 2002.
• R. Dömer, A. Gerstlauer, D. Gajski, "SpecC Methodology for High-Level Modeling," 9th IEEE/DATC Electronic Design Processes Workshop, Monterey, April 2002.
• Rainer Dömer, "The SpecC System-Level Design Language and Methodology, Part 1," Embedded Systems Conference, San Francisco, March 2002.
• R. Dömer, A. Gerstlauer, P. Kritzinger, M. Olivarez, "The SpecC System-Level Design Language and Methodology, Part 2," Embedded Systems Conference, San Francisco, March 2002.
• A. Gerstlauer, S. Zhao, D. Gajski, A. Horak, "SpecC System-Level Design Methodology Applied to the Design of a GSM Vocoder," Proceedings of the Ninth Workshop on Synthesis and System Integration of Mixed Technologies, Kyoto, Japan, April 2000.
• Rainer Dömer and Daniel D. Gajski, "Reuse and Protection of Intellectual Property in the SpecC System," Proceedings of the Asia and South Pacific Design Automation Conference, Yokohama, Japan, January 2000.
• Nong Fang, Viraphol Chaiyakul, Daniel D. Gajski, "Usage-Based Characterization of Complex Functional Blocks for Reuse in Behavioral Synthesis," Proceedings of the Asia and South Pacific Design Automation Conference, Yokohama, Japan, January 2000.