Publication_category Books

Per Larsen, Stefan Brunthaler, Lucas Davi, Ahmad-Reza Sadeghi, and Michael Franz, Automated Software Diversity, December 2015

Michael T. Goodrich, Roberto Tamassia, Algorithm Designs and Applications, October 2015

Michael T. Goodrich, Roberto Tamassia, Michael H. Goldwasser, Data Structures and Algorithms in Java 6/e, January 2014

Vipul Jain and Payam Heydari, Automotive Sensors in Silicon Technologies, Springer Verlag Publishing, 2013

Vipul Jain and Payam Heydari, Automotive Radar Sensors in Silicon Technologies, Spring Verlag Publishing, 2013

D. D. Gajski, S. Abdi, A. Gerstlauer, and G. Schirner, Embedded System Design: Modeling, Synthesis, Verification, Springer, ISBN 978-1-4419-0503-1, July 2009.

W. Ecker, W. Mueller, R. Doemer, Hardware-dependent Software - Principles and Practice. Springer, Boston, January 2009.

Sudeep Pasricha, Nikil Dutt. On-Chip Communication Architectures: System on Chip Interconnect. Morgan Kaufmann, Systems on Silicon Series 2008.

Frank Vahid and Roman Lysecky, VHDL for Digital Design, WIley, ISBN 978-0470052631, March 2007.

Prabhat Mishra and Nikil D. Dutt, Functional Verification of Programmable Embedded Architectures: A Top-Down Approach, ISBN 978-0-387-26143-0, 2005.

Sudeep Gupta, Nikil Dutt, Rajesh Gupta, and Alex Nicolau. SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits. Kluwer Academic Publishers, Norwell, MA, March 2004.

Aminghasem Safarian and Payam Heydari, Silicon-Based RF Front-Ends for Ultra Wideband Radios, Spring-Verlag New York, LLC, January 2008

Peter Grun, Nikil Dutt, and Alex Nicolau. Memory Architecture Exploration for Programmable Embedded Systems. Kluwer Academic Publishers, Norwell, MA, January 2003.

Frank Vahid and Tony Givargis. Embedded System Design: A Unified Hardware/Software Introduction. John Wiley and Sons, Inc., October 2001.

Andreas Gerstlauer, Rainer Doemer, Junyu Peng, and Daniel Gajski. System Design: A Practical Guide with SpecC. Kluwer Academic Publishers, May 2001.

Daniel D. Gajski, Jianwen Zhu, Rainer Doemer, Andreas Gerstlauer, and Shuqing Zhao, SpecC: Specification Language and Methodology, Springer, ISBN 978-0792378228, March 2000.