Using static analysis for coverage extraction fromemulation/prototyping platforms. - Viraj Athavale; Sam Hertz; Darshan Jetly; Vijay Ganesan; Jim Krysl; Shobha Vasudevan (CODES+ISSS, 2012)

Development of Drive Systems Based on Electromagnetic Microactuators. - Vijay Ganesan; Karsten Wiedmann; Gerd Janssen; Bernd Ponick; Axel Mertens (IEEE Trans. Ind. Electron., 2012)