CV - Electronic Systems

More documents

Recommendations

Info

tomation for Embedded Systems (DAEM), 15:87–88, 2011. 19. Jae Young Hur, Todor Stefanov, Stephan Wong, and Kees Goossens. Customization of on-chip network interconnects and experiments in FPGAs. IET Computers & Digital Techniques, 6(1):56–68, January 2012. 20. Radu Stefan, Anca Molnos, and Kees Goossens. dAElite: A TDM NoC supporting QoS, multicast, and fast connection set-up. IEEE Transactions on Computers, 2012. 21. Jae Young Hur, Kees Goossens, Lotfi Mhamdi, and Muhammad Wahlah. Comparative analysis of soft and hard on-chip interconnects for FPGAs. IET Computers & Digital Techniques, 6(1):1–10, December 2012. 4.4 Peer-Reviewed International Conference Articles 1. K. G. W. Goossens. Embedding a CHDDL in a proof system. In P. Prinetto and P. Camurati, editors, Advanced Research Workshop on Correct Hardware Design Methodologies, pages 359–374. ESPRIT CHARME, North Holland, June 1991. Also as University of Edinburgh LFCS Report ECS-LFCS-91-155. 2. K. G. W. Goossens. Operational semantics based formal symbolic simulation. In Luc Claesen and Michael Gordon, editors, Higher Order Logic Theorem Proving and Its Applications, pages 487–506. North-Holland/Elsevier, September 1992. A longer version is available as University of Edinburgh LFCS Report ECS-LFCS-92-231. 3. K. G. W. Goossens. Structure and behaviour in hardware verification. In Jeffrey J. Joyce and Carl-Johan H. Seger, editors, Higher Order Logic Theorem Proving and Its Applications, number 780 in Lecture Notes in Computer Science (LNCS), pages 75–88, London, UK, August 1993. Springer Verlag. A longer version is available as University of Edinburgh LFCS Report ECS-LFCS-93-273. 4. K. G. W. Goossens. The formalisation of a hardware description language in a proof system: Motivation and applications. In Proceedings of the XIII Conference of the Brazilian Computer Society, Florianopolis, Brazil, September 1993. 5. K. G. W. Goossens. Reasoning about VHDL using operational and observational semantics. In Paolo E. Camurati and Hans Eveking, editors, Correct Hardware Design Methodologies, volume 987 of Lecture Notes in Computer Science, pages 311–327, London, UK, October 1995. Springer Verlag. 6. R. Peset Llopis and K.G.W. Goossens. The Petrol approach to high-level power estimation. In Proc. Int’l Symposium on Low Power Electronics and Design (ISLPED), pages 130–132, New York, NY, USA, August 1998. ACM Press. 7. Lodewijk T. Smit, Gerard J.M. Smit, Paul J.M. Havinga, Jos A. Huisken, Kees G.W. Goossens, and John T.M.H. Dielissen. Towards a model for making a trade-off between QoS and costs. In Proceedings of the CTIT workshop on Mobile Communications in perspective, February 2001. 8
8. K. G. W. Goossens. A protocol and memory manager for on-chip communication. In Proc. Int’l Symposium on Circuits and Systems (ISCAS), volume 2, pages 225–228, Sydney, May 2001. IEEE Circuits and Systems Society. 9. K. Goossens, J. van Meerbergen, A. Peeters, and P. Wielage. Networks on silicon: Combining best-effort and guaranteed services. In Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE), pages 423–425, Washington, DC, USA, March 2002. IEEE Computer Society. 10. K. G. W. Goossens and O. P. Gangwal. The cost of communication protocols and coordination languages in embedded systems. In Farhad Arbab and Carolyn Talcott, editors, Coordination languages and models, volume 2315 of Lecture notes in computer science, pages 174–190. Springer Verlag, April 2002. 11. E. Rijpkema, K. G. W. Goossens, A. Rădulescu, J. Dielissen, J. van Meerbergen, P. Wielage, and E. Waterlander. Trade offs in the design of a router with both guaranteed and best-effort services for networks on chip. In Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE), pages 350–355, Washington, DC, USA, March 2003. IEEE Computer Society. 12. John Dielissen, Andrei Rădulescu, Kees Goossens, and Edwin Rijpkema. Concepts and implementation of the Philips network-on-chip. In Workshop on IP-Based System-on-Chip Design. IFIP workshop, November 2003. 13. Andrei Rădulescu, John Dielissen, Kees Goossens, Edwin Rijpkema, and Paul Wielage. An efficient on-chip network interface offering guaranteed services, shared-memory abstraction, and flexible network programming. In Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE), volume 2, pages 878–883, Washington, DC, USA, February 2004. IEEE Computer Society. 14. Santiago González Pestana, Edwin Rijpkema, Andrei Rădulescu, Kees Goossens, and Om Prakash Gangwal. Cost-performance trade-offs in networks on chip: A simulation-based approach. In Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE), pages 764–769, Washington, DC, USA, February 2004. IEEE Computer Society. 15. Călin Ciorda¸s, Twan Basten, Andrei Rădulescu, Kees Goossens, and Jef van Meerbergen. An event-based network-on-chip monitoring service. In Proc. Workshop on High-Level Design Validation and Test (HLDVT), pages 149–154, Washington, DC, USA, November 2004. IEEE Computer Society. 16. Kees Goossens, John Dielissen, Om Prakash Gangwal, Santiago González Pestana, Andrei Rădulescu, and Edwin Rijpkema. A design flow for applicationspecific networks on chip with guaranteed performance to accelerate SOC design and verification. In Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE), pages 1182–1187, Washington, DC, USA, March 2005. IEEE Computer Society. 17. Kees Goossens. Networks on chip for consumer electronics. In Proc. Int’l 9
Page 1 and 2: Curriculum Vitae of Kees Goossens 1
Page 3 and 4: 2 Education 1978 to 1984 Secondary
Page 5 and 6: 3. Koen Bertels, Sorin Cotofana, Ge
Page 7: chip. ACM Transactions on Design Au
Page 11 and 12: 27. Lambert Spaanenburg, Benny Akes
Page 13 and 14: source sharing based on latency-rat
Page 15 and 16: 309-318. IEEE Computer Society, Aug
Page 17 and 18: Efficient 3D-Stacked Wide I/O DRAMs
Page 19 and 20: 8. Andreas Hansson, Maarten Wiggers
Page 21 and 22: Communication of slack availability
Page 23 and 24: 6. P. Lippens, Z. Chamski, B. Kastr
Page 25 and 26: 5 Patents 5.1 Granted patents Note
Page 27 and 28: 10. WO2006117746(A1), EP0715261(A1)
Page 29 and 30: gramme, Austrian Research Promotion
Page 31 and 32: 3. DAC 2006, 2007, 2011 Reviewer fo
Page 33 and 34: 7. CompSOC presentation and demonst
Page 35 and 36: 31. Invited speaker on the panel on
Page 37 and 38: 7. Asadollah Shahbahrami “Avoidin
Page 39 and 40: 9. Jun Zhu, post-doc 7.4 PhD Adviso
Page 41 and 42: 16. Peter Klerks MSc, TUE at on gra
Page 43 and 44: 10. Wouter Loeffen “Automated Gen

CV - Electronic Systems

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?