CV - Electronic Systems
CV - Electronic Systems
CV - Electronic Systems
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
paper award (3rd place).<br />
• 2010 Progress poster (“Impact of process variations on the throughput<br />
of real-time applications in multiprocessor systems-on-chip”): best poster<br />
award.<br />
• 2010 DAC paper (“The Aethereal network on chip after ten years: Goals,<br />
evolution, lessons, and future.”) received the HiPEAC Paper Award.<br />
• 2012 DAC paper (“Run-time power-down strategies for real-time SDRAM<br />
memory controllersXS.”) received the HiPEAC Paper Award.<br />
4.9 Press Coverage<br />
Reports on my research, or quoting me.<br />
1. “Networks on Processors Improve On-Chip Communications” by David<br />
Geer. Computer Volume 42, Issue 3, March 2009.<br />
2. “SoC stumbling blocks cataloged at DATE” by Nicolas Mokhoff and Chris<br />
Edwards. EE Times of coverage of “network on chip” hot topic at DATE,<br />
March 2002.<br />
3. “Networking concepts inspire next-gen SoCs” by Richard Goering. EE<br />
Times coverage of MPSOC, 2002.<br />
4. Article on networks on chip, with details on the Æthereal network. In<br />
Japanese by Masahide Kimura, Nikkei Microdevices, pp 21–29, August<br />
2003.<br />
5. “Design View from Japan: ST, Philips Steal Show at DATE 06” by Ikutaro<br />
Kojima. NE Asia online, May 2006. Coverage of our DATE article on<br />
high-end consumer-electronics TV system architectures.<br />
4.10 Technical Notes<br />
1. K. G. W. Goossens. Embedding a CHDDL in a proof system. LFCS Report<br />
Series ECS-LFCS-91-155, LFCS, Department of Computer Science,<br />
University of Edinburgh, May 1991.<br />
2. K. G. W. Goossens. Operational semantics based formal symbolic simulation.<br />
LFCS Report Series ECS-LFCS-92-231, LFCS, Department of<br />
Computer Science, University of Edinburgh, September 1992.<br />
3. K. G. W. Goossens. The formalisation of a hardware description language<br />
in a proof system: Motivation and applications. LFCS Report Series<br />
ECS-LFCS-93-269, LFCS, Department of Computer Science, University<br />
of Edinburgh, June 1993.<br />
4. K. G. W. Goossens. Structure and behaviour in hardware verification.<br />
LFCS Report Series ECS-LFCS-93-273, LFCS, Department of Computer<br />
Science, University of Edinburgh, July 1993.<br />
5. K. G. W. Goossens. Reasoning about VHDL using operational and observational<br />
semantics. Rapporto di Ricerca SI/RR 95/06, Dipartimento di<br />
Scienze dell’Informazione, Università di Roma “La Sapienza”, April 1995.<br />
22