Here is a 50 word and 120 word research biography.
Here is a list of my publications, in reverse chronological order. Note that the copyright on some of the files below may not be owned by me, please comply with the owner's conditions. Let me know if you have problems retrieving a file.
@Article{Vermeulen03a,
author = {Bart Vermeulen and John Dielissen and Kees Goossens and Calin Ciordas},
title = {Bringing Communication Networks On Chip: Test and Verification Implications},
journal = {{IEEE} Communications Magazine},
year = {2003},
OPTkey = {},
OPTvolume = {},
OPTnumber = {},
OPTpages = {},
month = sep,
note = {Guest editors: Dimitris Gizopoulos and Rob Aitken},
annote = {Special issue ``Testing and Verification of Communication System-on-Chip Devices''}
}
@Article{Rijpkema03b,
author = {E. Rijpkema and K. Goossens and A. R\u{a}dulescu, J. Dielissen and J. van Meerbergen and P. Wielage and E. Waterlander},
title = {Trade Offs in the Design of a Router with Both Guaranteed and Best-Effort Services for Networks on Chip (Extended Version)},
journal = {{IEE} Proceedings: Computers and Digital Technique},
year = {2003},
OPTvolume = {},
OPTnumber = {},
OPTpages = {},
month = sep
}
@InProceedings{Radulescu02a,
author = {Andrei R\u{a}dulescu and Kees Goossens},
title = {Communication Services for Networks on Silicon},
booktitle = {Domain-Specific Processors: Systems, Architectures, Modeling, and Simulation},
OPTpages = {},
year = {2003},
editor = {Shuvra Bhattacharyya and Ed Deprettere and Juergen Teich},
OPTmonth = {},
publisher = {Marcel Dekker}
}
@InCollection{Goossens03a,
author = {Kees Goossens and John Dielissen and Jef van Meerbergen and Peter Poplavko and Andrei R\u{a}dulescu and Edwin Rijpkema and Erwin Waterlander and Paul Wielage},
editor = {Axel Jantsch and Hannu Tenhunen},
booktitle = {Networks on Chip},
title = {Guaranteeing The Quality of Services in Networks on Chip},
publisher = {Kluwer},
year = {2003},
pages = {61--82},
publisher = {Kluwer},
year = {2003},
chapter = {4}
}
@InProceedings{Rijpkema03a,
author = {E. Rijpkema and K. G. W. Goossens and A. R\u{a}dulescu and J. Dielissen and J. van Meerbergen and P. Wielage and E. Waterlander},
title = {Trade Offs in the Design of a Router with Both Guaranteed and Best-Effort Services for Networks on Chip},
booktitle = {Proceedings of Design, Automation and Test in Europe Conference},
pages = {350--355},
year = {2003},
month = mar
}
@InProceedings{Wielage02a,
author = {Paul Wielage and Kees Goossens},
title = {Networks on Silicon: Blessing or Nightmare?},
booktitle = {Euromicro Symposium On Digital System Design},
year = {2002},
address = {Dortmund, Germany},
month = sep,
note = {Keynote speech}
}
@Article{Nieuwland02a,
author = {Andr\'e Nieuwland and Jeffrey Kang and Om Prakash Gangwal and Ramanathan Sethuraman and Natalino Bus\'a and Kees Goossens and Rafael Peset Llopis and Paul Lippens},
title = {{C-HEAP}: {A} Heterogeneous Multi-processor Architecture Template and Scalable and Flexible Protocol for the Design of Embedded Signal Processing Systems},
journal = {Design Automation for Embedded Systems},
year = {2002},
volume = {7},
number = {3},
pages = {233--270}
}
@InProceedings{Goossens02b,
author = {K. G. W. Goossens and O. P. Gangwal},
title = {The Cost of Communication Protocols and Coordination Languages in Embedded Systems},
booktitle = {Coordination languages and models},
pages = {174--190},
year = {2002},
editor = {Farhad Arbab and Carolyn Talcott},
number = {2315},
series = {Lecture notes in computer science},
month = apr,
publisher = {Springer Verlag}
}
@InProceedings{Goossens02a,
author = {K. Goossens and J. van Meerbergen and A. Peeters and P. Wielage},
title = {Networks on Silicon: Combining Best-Effort and Guaranteed Services},
booktitle = {Proceedings of the Design, Automation and Test Conference},
pages = {423--425},
year = {2002},
month = mar
}
@inproceedings{Rijpkema01a,
author = {Edwin Rijpkema and Kees Goossens and Paul Wielage},
title = {A Router Architecture for Networks on Silicon},
booktitle = {Proceedings of Progress 2001, 2nd Workshop on Embedded Systems},
address = {Veldhoven, the Netherlands},
month = oct,
year = {2001}
}
@InProceedings{Smit01a,
author = {Lodewijk T. Smit and Gerard J.M. Smit and Paul J.M. Havinga and Jos A. Huisken and Kees G.W. Goossens and John T.M.H. Dielissen},
title = {Towards A Model for Making A Trade-off Between {QoS} And Costs},
booktitle = {Proceedings of the {CTIT} workshop. Mobile Communications
in perspective},
year = {2001},
month = feb
}
@InProceedings{Goossens01a,
author = {K. G. W. Goossens},
title = {A Protocol And Memory Manager For On-Chip Communication},
booktitle = {International Symposium on Circuits and Systems},
pages = {225--228},
year = {2001},
volume = {II},
address = {Sydney},
month = {May},
organization = {IEEE Circuits and Systems Society}
}
@InProceedings{Llopis98a,
author = "R Peset Llopis and K. G. W. Goossens",
title = "The {Petrol} Approach to High-Level Power Estimation",
booktitle = "International Symposium on Low Power Electronics and Design",
year = "1998",
pages = "130--132",
address = "Monterey, CA",
month = aug
}
@InProceedings{Goossens95b,
author = "K. G. W. Goossens",
title = "Reasoning About {VHDL} Using Operational and Observational Semantics",
editor = "Paolo E. Camurati and Hans Eveking",
volume = "987",
series = "Lecture Notes in Computer Science",
pages = "311--327",
booktitle = "Correct Hardware Design Methodologies",
year = "1995",
publisher = "Springer Verlag",
month = oct
}
@TechReport{Goossens95a,
author = "K. G. W. Goossens",
title = "Reasoning About {VHDL} Using Operational and Observational Semantics",
institution = "Dipartimento di Scienze dell'Informazione, Universit\`a di Roma ``La Sapienza''",
type = "Rapporto di Ricerca",
number = "SI/RR 95/06",
month = apr,
year = "1995"
}
@TechReport{Goossens93g,
author = "K. G. W. Goossens",
title = "Structure and Behaviour in Hardware Verification",
Institution= "LFCS, Department of Computer Science, University of Edinburgh",
Number= "ECS-LFCS-93-273",
Type= "LFCS Report Series",
year= "1993",
month = jul
}
@TechReport{Goossens93f,
author = "K. G. W. Goossens",
title = "The Formalisation of a Hardware Description Language in a Proof System: {M}otivation and Applications",
Institution= "LFCS, Department of Computer Science, University of Edinburgh",
Number= "ECS-LFCS-93-269",
Type= "LFCS Report Series",
year= "1993",
month = jun
}
@InProceedings{Goossens93e,
author = "K. G. W. Goossens",
title = "The Formalisation of a Hardware Description Language in a Proof System: {M}otivation and Applications",
booktitle = "Proceedings of the {XIII} Conference of the Brazilian Computer Society",
year = "1993",
address = "Florianopolis, Brazil",
month = sep
}
@InProceedings{Goossens93d,
author = "K. G. W. Goossens",
title = "Structure and Behaviour in Hardware Verification",
booktitle = "Higher Order Logic Theorem Proving and Its Applications",
year = "1993",
editor = "Jeffrey J. Joyce and Carl-Johan H. Seger",
publisher = "Springer Verlag",
address = "Vancouver, Canada",
month = aug,
note = "Lecture Notes in Computer Science 780. A longer version is available as University of Edinburgh LFCS Report ECS-LFCS-93-273."
}
@PhdThesis{Goossens92g,
author = "K. G. W. Goossens",
title = "Embedding Hardware Description Languages in Proof Systems",
school = "Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh",
year = "1992",
month = dec
}
@TechReport{Goossens92e,
author = "K. G. W. Goossens",
title = "Operational Semantics Based Formal Symbolic Simulation",
Institution= "LFCS, Department of Computer Science, University of Edinburgh",
Number= "ECS-LFCS-92-231",
Type= "LFCS Report Series",
year= "1992",
month = sep,
}
@InProceedings{Goossens92c,
author = "K. G. W. Goossens",
title = "Operational Semantics Based Formal Symbolic Simulation",
booktitle = "Higher Order Logic Theorem Proving and Its Applications",
year = "1992",
editor = "Luc Claesen and Michael Gordon",
month = sep,
note = "A longer version is available as LFCS Report ECS-LFCS-92-231"
}
@Misc{Goossens92d,
author = "K. G. W. Goossens",
title = "Integrating Hardware Description Languages and Proof Systems",
howpublished ="Poster",
year = "1992",
month = sep,
note = "Presented at {IFIP} '92 in Madrid, Spain"
}
@InProceedings{Goossens91b,
author = "K. G. W. Goossens",
title = "Embedding a {CHDDL} in a Proof System",
booktitle = "Advanced Research Workshop on Correct Hardware Design Methodologies",
year = "1991",
editor = "P. Prinetto and P. Camurati",
pages = "359--374",
organization = "ESPRIT CHARME",
publisher = "North Holland",
month = jun,
note = "Also as LFCS Report ECS-LFCS-91-155"
}
@TechReport(Goossens91a,
Author= "K. G. W. Goossens",
Title= "Embedding a {CHDDL} in a Proof System",
Institution= "LFCS, Department of Computer Science, University of Edinburgh",
Number= "ECS-LFCS-91-155",
Type= "LFCS Report Series",
Month= may,
Year= 1991
)
@Unpublished(Goossens90b,
Author= "K. G. W. Goossens",
Title= "Semantics for pico{ELLA}",
Month= jun,
Year= "1990",
Note= "Manuscript"
)
@Unpublished(Goossens89d, Author= "K. G. W. Goossens", Title= "Embedding Computer Hardware Design and Description Languages in Proof Systems", Month= dec, Year= "1989", Note= "Thesis Proposal" )
