Disclaimer -- Permission to make digital/hard copy of all or part of any of the following publications and technical reports for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. To copy otherwise, to republish, to post on servers, or to redistribute to lists requires prior specific permission.

• Gunar Schirner, Andreas Gerstlauer, Rainer Dömer, "Automatic Generation of Hardware dependent Software for MPSoCs from Abstract System Specifications," Proceedings of the Asia and South Pacific Design Automation Conference, Seoul, Korea, January 2008.
• Gunar Schirner, Andreas Gerstlauer, Rainer Dömer, "Abstract, Multifaceted Modeling of Embedded Processors for System Level Design," Proceedings of the Asia and South Pacific Design Automation Conference, Yokohama, Japan, January 2007.
• Dongwan Shin, Andreas Gerstlauer, Junyu Peng, Rainer Dömer, Daniel D. Gajski, "Automatic Generation of Transaction-Level Models for Rapid Design Space Exploration," Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, Seoul, Korea, October 2006.
• Rainer Dömer, Andreas Gerstlauer, Dongwan Shin, "Cycle-accurate RTL Modeling with Multi-Cycled and Pipelined Components," Proceedings of the International SoC Design Conference, Seoul, Korea, October 2006.
• Dongwan Shin, Andreas Gerstlauer, Rainer Dömer, Daniel D. Gajski, "Automatic Network Generation for System-On-Chip Communication Design," Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, Jersey City, NJ, September 2005.
• Andreas Gerstlauer, Dongwan Shin, Rainer Dömer, Daniel D. Gajski, "System-Level Communication Modeling for Network-On-Chip Synthesis," Proceedings of the Asia and South Pacific Design Automation Conference, Shanghai, China, January 2005.
• Lukai Cai, Andreas Gerstlauer, Daniel D. Gajski, "Multi-Metric and Multi-Entity Characterization of Applications for Early System Design Exploration," Proceedings of the Asia and South Pacific Design Automation Conference, Shanghai, China, January 2005.

• 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.

• Jianwen Zhu and Daniel D. Gajski, "Soft Scheduling in High Level Synthesis," Proceedings of Design Automation Conferenc, New Orleans, USA, June, 1999.
• Jianwen Zhu and Daniel D. Gajski, "A Unified Formal Model for ISA and FSMD," 7th International Workshop on Hardware/Software Codesign, Rome, Italy, May, 1999.
• Jianwen Zhu and Daniel D. Gajski, "A Retargetable, Ultra-fast Instruction Set Simulator," Proceedings of Design Automation and Test Conference in Europe, Munich, Germany, March, 1999.
• Jianwen Zhu and Daniel D. Gajski, "OpenJ: An Extensible System Level Design Language," Proceedings of Design Automation and Test Conference in Europe, Munich, Germany, March, 1999.
• Jianwen Zhu, Rainer Doemer and Daniel D. Gajski, "Syntax and Semantics of the SpecC Language," Proceedings of the Synthesis and System Integration of Mixed Technologies 1997, Osaka, Japan, December 1997.
• Jianwen Zhu, Poonam Agrawal, Daniel D. Gajski, "RT Level Power Analysis," Proceeding of Asia and South Pacific Design Automation Conference, February, 1997.
• Y.-S. Hong, C.-H. Cho, D. D. Gajski, "A Quantitative Analysis for Optimizing Primary Allocation," Proc. ASP-DAC, Chiba, Japan, January 28-31, 1997, pp. 239-245.
• S. Bakshi, D. D. Gajski, "Hardware/Software Partitioning and Pipelining," Proc. DA Design Automation Conference, Anaheim, CA, June 9-13, 1997, pp. 713-716.
• S. Bakshi, D. D. Gajski, "A Scheduling and Pipelining Algorithm for Hardware/Software Systems," 10th International Symposium on System Synthesis, Antwerp, Belgium, September 17-19, 1997.

• Smita Bakshi and Daniel D. Gajski, "Design Exploation for High-Performance Pipelines," International Conference of Computer Aided Design, San Jose, Nov. 1994
• Daniel D. Gajski, Frank Vahid and Sanjiv Narayan, "A System-Design Methodology: Executable-Specification Refinement," European Conference on Design Automation, Paris, France, Feb. 1994.
• Sanjiv Narayan and Daniel D. Gajski, "Synthesis of System-Level Bus Interfaces," European Conference on Design Automation, Paris, France, Feb. 1994
• Sanjiv Narayan and Daniel D. Gajski, "Features Supporting System-Level Specification in HDLs," Presented at the 2nd EuroDAC/EuroVHDL, Hamburg, 1993
• Frank Vahid and Daniel D. Gajski, "Specification Partitioning for System Design," Proceedings of the 29th Design Autiomation Conference, Anaheim, 1992
• Pradip K. Jha and Nikil D. Dutt, "Rapid Estimation for Parametrized Components in High-Level Synthesis," 6th International Workshop on High-Level Synthesis, December 1992, 11 pages.
• Sanjiv Narayan, Frank Vahid Daniel D. Gajski, "System Specification and Synthesis with the SpecCharts Language," International Conference on Computer Aided Design (ICCAD), Santa Clara, 1991
• Sanjiv Narayan, Frank Vahid Daniel D. Gajski, "Translating System Specifications to VHDL," European Conference on Design Automation (EDAC), Amsterdam, 1991.