IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 28, no. 4, page. 568 - 581, 2009-04
DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, vol. 11, no. 4, page. 223 - 247, 2007-12
DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, vol. 11, no. 2-3, page. 167 - 191, 2007-09
INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, vol. 1, no. 1-2, 2006-01
DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, vol. 8, no. 2-3, page. 119 - 138, 2003-06
MICROELECTRONICS JOURNAL, vol. 33, no. 11, page. 891 - 898, 2002-11
IEEE DESIGN & TEST OF COMPUTERS, vol. 19, no. 6, page. 52 - 63, 2002-11
Technique et Science Informatiques, 2002-03
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 20, no. 11, page. 1293 - 1301, 2001-11
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, vol. 8, no. 5, page. 492 - 502, 2000-10
DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, vol. 5, no. 2, page. 129 - 152, 2000-06