prof.dr. K.G.W. (Kees) Goossens - Publications

Goossens, prof.dr. K.G.W.
Address :
Technische Universiteit Eindhoven
P.O. Box 513
5600 MB EINDHOVEN
Chair :
Real-time Embedded Systems
Department :
Department of Electrical Engineering
Section :
Electronic Systems
Positioncategory :
Professor (HGL)
Position :
Full Professor
Room :
FLX 4.133
Tel :
+31 40-247 3404
Tel (internal) :
3404
Email :
k.g.w.goossens@tue.nl

Publications

Article

Scientific peer reviewed
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2005
2003
2002

Chapter

Scientific peer reviewed
2017
2005
  • Goossens, K.G.W., Gonzalez Pestana, S., Dielissen, J.T.M.H., Gangwal, O.P., Meerbergen, van, J., Radulescu, A., Rijpkema, E. & Wielage, P. (2005). Service-based design of systems on chip and networks on chip. In P. Stok, van der & F. Tolenaar (Eds.), Dynamic and Robust Streaming Between Connected Consumer-Electronic Devices. (pp. 37-60). (Philips research book series, No. 3). Dordrecht: Springer.

2003
Scientific not peer reviewed
2010
2008
2006
2005
2004

Conference contribution

Scientific peer reviewed
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
1998
1995
1993
1992
  • Goossens, K.G.W. (1992). Operational semantics based formal symbolic simulation. In L. Claesen & M. Gordon (Eds.), Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92, 21-24 September 1992, Leuven, Belgium (pp. 487-506). (IFIP Transactions A : Computer science and technology, No. 20). Amsterdam: North-Holland Publishing Company.

1991
Scientific not peer reviewed
2012
2010

Paper

Other research output

Poster

Other research output
2015

Patent

Other research output
2012

Book

Scientific
2014
2011

Book editing

Scientific not peer reviewed
2007
2006

Report

Scientific
2016
2010

Phd Thesis 1 (Research TU/e / Graduation TU/e)

Scientific
2016
2015
2014
2013
2010
2009

Phd Thesis 3 (Research TU/e / Graduation NOT TU/e)

Scientific
2014

Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Scientific
2014
2012
2011
2010
1992

Pd Eng Thesis

Other research output
2013
2005