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

Pramod Chandraiah, Rainer Doemer, "Assessment of Productivity Gains Achieved through Automated Source Re-Coding", TR 08-02, February 15, 2008.
download pdf

Weiwei Chen, Rainer Doemer, "System Specification of a DES Cipher Chip", TR 08-01, January 28, 2008.
download pdf