Kees G. W. Goossens

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 1

Top Topics

Safety Critical

Autonomous Vehicles

Agent Architecture

Nuclear Power Plant

Top Venues

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Alessandro Frigerio, Bart Vermeulen, Kees G. W. Goossens
Automotive Architecture Topologies: Analysis for Safety-Critical Autonomous Vehicle Applications. IEEE Access 9 (2021)
Edwin Rijpkema, Kees G. W. Goossens, Andrei Radulescu, John Dielissen, Jef L. van Meerbergen, Paul Wielage, Erwin Waterlander
Trade Offs in the Design of a Router with Both Guaranteed and Best-Effort Services for Networks on Chip. DATE (2003)
Kees G. W. Goossens, Om Prakash Gangwal
The Cost of Communication Protocols and Coordination Languages in Embedded Systems. COORDINATION (2002)
Kees G. W. Goossens
A protocol and memory manager for on-chip communication. ISCAS (2) (2001)
Kees G. W. Goossens
Reasoning about VHDL using operational and observational semantics. CHARME (1995)
Kees G. W. Goossens
Stucture and Behaviour in Hardware Verification. HUG (1993)
Kees G. W. Goossens
Operational Semantics Based on Formal Symbolic Simulation. TPHOLs (1992)