Technical Reports

Patricia Lee,  Shireesh Verma and Ian G. Harris, “A Comparison of Error Detection Between Simulation-based Validation and Model Checking,” TR 13-12.  Posted October 9, 2013.  download pdf


Guantao Liu and Rainer Dömer, “A Hybrid Thread Library for Efficient Electronic System Level Simulation,” TR 13-11. Posted October 8, 2013.  download pdf


Fereidoun Ahourai, Mohammad Abdullah Al Faruque, “Grid Impact Analysis of a Residential Microgrid under Various EV Penetration Rates in GridLab-D,” TR 13-08. July 30, 2013. Posted July 31, 2013.  download pdf



Guantao Liu and Rainer Dömer, “A User-level Thread Library Built on Linux Context Functions for Efficient ESL Simulation,” TR 13-07.  Posted June 7, 2013. download pdf


Santanu Sarma, N. Dutt, N. Venkatasubramanian, A. Nicolau, P. Gupta, “Cyber Physical-System-On-Chip (CPSoC):  Sensor-Actuator Rich Self-Aware Computational Platform”  CECS TR 13-06. Revised June 26, 2014.  Download pdf



Han Xu, Rainer Dömer, “An Extended Eclipse Platform for Recoding System-Level Models,”  TR 13-04.  April 30, 2013. Posted May 1, 2013. download pdf



Rainer Dömer, “RIDE: Recoding Integrated Development Environment,” TR 13-02.  Posted April 29, 2013. download pdf


Volkan Gunes, Tony Givargis, “XGRID: A Scalable Many-Core Embedded Processor,” TR 13-03.  April 22, 2013.  Posted on April 23, 2013.  Revision posted on July 1, pdf



Hao Peng, Rainer Dömer, “Towards A Unified Hardware Abstraction Layer Architecture for Embedded Systems,” TR 12-14.  November 26, 2012.  Posted November 27, 2012. download pdf



Xu Han, Yasaman and Rainer Doemer, “System-Level Modeling and Refinement of a Canny Edge Detector,” TR 12-13. November 7, 2012. Posted November 9, 2012. download pdf



Guantao Liu and Rainer Doemer, “Performance Evaluation and Optimization of A Custom Native Linux Threads Library,” TR 12-11. October 3, 2012. Posted October 5, 2012. download pdf



Gu-Min Jeong, DOng-Byeong Kang, Sung-Soo Lim and Nikil D. Dutt, “Mobile Embedded Software with Android: Course Design and Experience,” TR 12-10. October 1, 2012. Posted October 2, 2012. pdf download



Samy Zoynoun, “Development of a Fast Error Aware Model for Arithmetic and Logic Circuits,” TR 12-08. August 3, 2012. Posted August August 6, 2012. download pdf



Pyung Soo Kim, “An Architecture for Home-oriented IPTV Service Platform on Residential Gateway,” TR 12-07. Augst 1, 2012. Posted August 10, 2012. download pdf



Luis Angel D. Bathen and Nikil Dutt, “An Embedded Hybrid-Memory-Aware Virtualization Layer for Chip-Multiprocessor,”  TR 12-03. March 27, 2012. Posted August 10, 2012. download pdf