Jelena Trajkovic and Daniel Gajski, "Generation of Custom Co-processor Structure from C-Code," TR 08-05, June 27, 2008. download pdf
Lochi Yu, Samar Abdi, Daniel Gajski, "A Tool for Equivalence Verification of TLMs using Model Algebra", TR 08-04, February 28, 2008. download pdf
Siwen Sun, Rainer Doemer, "A Convolutional Encoder and Decoder Model in SpecC", TR 08-03, February 27, 2008. download pdf
Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Kyoungwoo Lee, Nikil Dutt, Nalini Venkatasubramanian, "Iterative System Tuning for Proactive Systems by Formal Verification and System Prototype: System Prototype Program Interface", TR 07-02, January 2007....
Lochi Yu, Samar Abdi, Daniel Gajski, "Transaction Level Platform Modeling in SystemC for Multi-Processor Designs", TR 07-01 January 2007 download pdf