Operational Semantics Based on Formal Symbolic Simulation. - Kees G. W. Goossens (TPHOLs, 1992)

Embedding hardware description languages in proof systems. - Kees G. W. Goossens (1993)

Stucture and Behaviour in Hardware Verification. - Kees G. W. Goossens (HUG, 1993)

Reasoning about VHDL using operational and observational semantics. - Kees G. W. Goossens (CHARME, 1995)

The petrol approach to high-level power estimation. - Rafael Peset Llopis; Kees Goossens (ISLPED, 1998)

A protocol and memory manager for on-chip communication. - Kees G. W. Goossens (ISCAS (2), 2001)

The Cost of Communication Protocols and Coordination Languages in Embedded Systems. - Kees G. W. Goossens; Om Prakash Gangwal (COORDINATION, 2002)

Networks on Silicon: Combining Best-Effort and Guaranteed Services. - Kees Goossens; Paul Wielage; Ad M. G. Peeters; Jef L. van Meerbergen (DATE, 2002)

Networks on Silicon: Blessing or Nightmare? - Paul Wielage; Kees Goossens (DSD, 2002)

C-HEAP: A Heterogeneous Multi-Processor Architecture Template and Scalable and Flexible Protocol for the Design of Embedded Signal Processing Systems. - André Nieuwland; Jeffrey Kang; Om Prakash Gangwal; Ramanathan Sethuraman; Natalino G. Busá; Kees Goossens; Rafael Peset Llopis; Paul E. R. Lippens (Des. Autom. Embed. Syst., 2002)

Guaranteeing the Quality of Services in Networks on Chip. - Kees Goossens; John Dielissen; Jef L. van Meerbergen; Peter Poplavko; Andrei Radulescu; Edwin Rijpkema; Erwin Waterlander; Paul Wielage (Networks on Chip, 2003)

Trade Offs in the Design of a Router with Both Guaranteed and Best-Effort Services for Networks on Chip. - Edwin Rijpkema; Kees G. W. Goossens; Andrei Radulescu; John Dielissen; Jef L. van Meerbergen; Paul Wielage; Erwin Waterlander (DATE, 2003)

Bringing communication networks on a chip: test and verification implications. - Bart Vermeulen; John Dielissen; Kees Goossens; Calin Ciordas (IEEE Commun. Mag., 2003)

Cost-Performance Trade-Offs in Networks on Chip: A Simulation-Based Approach. - Santiago González Pestana; Edwin Rijpkema; Andrei Radulescu; Kees Goossens; Om Prakash Gangwal (DATE, 2004)

An Efficient On-Chip Network Interface Offering Guaranteed Services, Shared-Memory Abstraction, and Flexible Network Configuration. - Andrei Radulescu; John Dielissen; Kees Goossens; Edwin Rijpkema; Paul Wielage (DATE, 2004)

An event-based network-on-chip monitoring service. - Calin Ciordas; Twan Basten; Andrei Radulescu; Kees Goossens; Jef L. van Meerbergen (HLDVT, 2004)

Formal Methods for Networks on Chips. - Kees Goossens (ACSD, 2005)

Deadlock Prevention in the Æthereal Protocol. - Biniam Gebremichael; Frits W. Vaandrager; Miaomiao Zhang; Kees Goossens; Edwin Rijpkema; Andrei Radulescu (CHARME, 2005)

A unified approach to constrained mapping and routing on network-on-chip architectures. - Andreas Hansson 001; Kees Goossens; Andrei Radulescu (CODES+ISSS, 2005)

A Design Flow for Application-Specific Networks on Chip with Guaranteed Performance to Accelerate SOC Design and Verification. - Kees Goossens; John Dielissen; Om Prakash Gangwal; Santiago González Pestana; Andrei Radulescu; Edwin Rijpkema (DATE, 2005)

Æthereal Network on Chip: Concepts, Architectures, and Implementations. - Kees Goossens; John Dielissen; Andrei Radulescu (IEEE Des. Test Comput., 2005)

An efficient on-chip NI offering guaranteed services, shared-memory abstraction, and flexible network configuration. - Andrei Radulescu; John Dielissen; Santiago González Pestana; Om Prakash Gangwal; Edwin Rijpkema; Paul Wielage; Kees Goossens (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005)

An event-based monitoring service for networks on chip. - Calin Ciordas; Twan Basten; Andrei Radulescu; Kees Goossens; Jef L. van Meerbergen (ACM Trans. Design Autom. Electr. Syst., 2005)

Mapping and configuration methods for multi-use-case networks on chips. - Srinivasan Murali; Martijn Coenen; Andrei Radulescu; Kees Goossens; Giovanni De Micheli (ASP-DAC, 2006)

A buffer-sizing algorithm for networks on chip using TDMA and credit-based end-to-end flow control. - Martijn Coenen; Srinivasan Murali; Andrei Radulescu; Kees Goossens; Giovanni De Micheli (CODES+ISSS, 2006)

A methodology for mapping multiple use-cases onto networks on chips. - Srinivasan Murali; Martijn Coenen; Andrei Radulescu; Kees Goossens; Giovanni De Micheli (DATE, 2006)

Networks on chips for high-end consumer-electronics TV system architectures. - Frits Steenhof; Harry Duque; Björn Nilsson; Kees Goossens; Rafael Peset Llopis (DATE Designers' Forum, 2006)

Wrapper Design for the Reuse of Networks-on-Chip as Test Access Mechanism. - Alexandre M. Amory; Kees Goossens; Erik Jan Marinissen; Marcelo Lubaszewski; Fernando Moraes 001 (ETS, 2006)

NoC monitoring: impact on the design flow. - Calin Ciordas; Kees Goossens; Andrei Radulescu; Twan Basten (ISCAS, 2006)

Transaction Monitoring in Networks on Chip: The On-Chip Run-Time Perspective. - Calin Ciordas; Kees Goossens; Twan Basten; Andrei Radulescu; Andre Boon (IES, 2006)

Comparison of An Æthereal Network on Chip and A Traditional Interconnect for A Multi-Processor DVB-T System on Chip. - Chris Bartels; Jos Huisken; Kees Goossens; Patrick Groeneveld; Jef L. van Meerbergen (VLSI-SoC, 2006)

Comparison of an Æthereal Network on Chip and Traditional Interconnects - Two Case Studies. - Arno Moonen; Chris Bartels; Marco Bekooij; René van den Berg; Harpreet Bhullar; Kees Goossens; Patrick Groeneveld; Jos Huisken; Jef L. van Meerbergen (VLSI-SoC (Selected Papers), 2006)

Predator: a predictable SDRAM memory controller. - Benny Akesson; Kees Goossens; Markus Ringhofer (CODES+ISSS, 2007)

Channel trees: reducing latency by sharing time slots in time-multiplexed networks on chip. - Andreas Hansson 001; Martijn Coenen; Kees Goossens (CODES+ISSS, 2007)

Congestion-controlled best-effort communication for networks-on-chip. - Jan Willem van den Brand; Calin Ciordas; Kees Goossens; Twan Basten (DATE, 2007)

Undisrupted quality-of-service during reconfiguration of multiple applications in networks on chip. - Andreas Hansson 001; Martijn Coenen; Kees Goossens (DATE, 2007)

Communication-Centric SoC Debug Using Transactions. - Bart Vermeulen; Kees Goossens; Remco van Steeden; Martijn T. Bennebroek (ETS, 2007)

Transaction-Based Communication-Centric Debug. - Kees Goossens; Bart Vermeulen; Remco van Steeden; Martijn T. Bennebroek (NOCS, 2007)

Trade-offs in the Configuration of a Network on Chip for Multiple Use-Cases. - Andreas Hansson 001; Kees Goossens (NOCS, 2007)

Wrapper design for the reuse of a bus, network-on-chip, or other functional interconnect as test access mechanism. - Alexandre M. Amory; Kees Goossens; Erik Jan Marinissen; Marcelo Lubaszewski; Fernando Moraes 001 (IET Comput. Digit. Tech., 2007)

Avoiding Message-Dependent Deadlock in Network-Based Systems on Chip. - Andreas Hansson 001; Kees Goossens; Andrei Radulescu (VLSI Design, 2007)

A Unified Approach to Mapping and Routing on a Network-on-Chip for Both Best-Effort and Guaranteed Service Traffic. - Andreas Hansson 001; Kees Goossens; Andrei Radulescu (VLSI Design, 2007)

You can catch more bugs with transaction level honey. - Miron Abramovici; Kees Goossens; Bart Vermeulen; Jack Greenbaum; Neal Stollon; Adam Donlin (CODES+ISSS, 2008)

Bandwidth Analysis for Reusing Functional Interconnect as Test Access Mechanism. - Ardy van den Berg; Pengwei Ren; Erik Jan Marinissen; Georgi Gaydadjiev; Kees Goossens (ETS, 2008)

Impact of power-management granularity on the energy-quality trade-off for soft and hard real-time applications. - Aleksandar Milutinovic; Kees Goossens; Gerard J. M. Smit (SoC, 2008)

Hardwired Networks on Chip in FPGAs to Unify Functional and Con?guration Interconnects. - Kees Goossens; Martijn T. Bennebroek; Jae Young Hur; Muhammad Aqeel Wahlah (NOCS, 2008)

Applying Dataflow Analysis to Dimension Buffers for Guaranteed Performance in Networks on Chip. - Andreas Hansson 001; Maarten Wiggers; Arno Moonen; Kees Goossens; Marco Bekooij (NOCS, 2008)

Debugging Distributed-Shared-Memory Communication at Multiple Granularities in Networks on Chip. - Bart Vermeulen; Kees Goossens; Siddharth Umrani (NOCS, 2008)

Real-Time Scheduling Using Credit-Controlled Static-Priority Arbitration. - Benny Akesson; Liesbeth Steffens; Eelke Strooisma; Kees Goossens (RTCSA, 2008)

A monitoring-aware network-on-chip design flow. - Calin Ciordas; Andreas Hansson 001; Kees Goossens; Twan Basten (J. Syst. Archit., 2008)

An on-chip interconnect and protocol stack for multiple communication paradigms and programming models. - Andreas Hansson 001; Kees Goossens (CODES+ISSS, 2009)

A high-level debug environment for communication-centric debug. - Kees Goossens; Bart Vermeulen; Ashkan Beyranvand Nejad (DATE, 2009)

Aelite: A flit-synchronous Network on Chip with composable and predictable services. - Andreas Hansson 001; Mahesh Subburaman; Kees Goossens (DATE, 2009)

Composable Resource Sharing Based on Latency-Rate Servers. - Benny Akesson; Andreas Hansson 001; Kees Goossens (DSD, 2009)

Internet-Router Buffered Crossbars Based on Networks on Chip. - Kees Goossens; Lotfi Mhamdi; Iria Varela Senin (DSD, 2009)

Conservative Dynamic Energy Management for Real-Time Dataflow Applications Mapped on Multiple Processors. - Anca Mariana Molnos; Kees Goossens (DSD, 2009)

Efficient Multicast Support in Buffered Crossbars using Networks on Chip. - Iria Varela Senin; Lotfi Mhamdi; Kees Goossens (GLOBECOM, 2009)

Modeling reconfiguration in a FPGA with a hardwired network on chip. - Muhammad Aqeel Wahlah; Kees Goossens (IPDPS, 2009)

Dynamic workload peak detection for slack management. - Aleksandar Milutinovic; Kees Goossens; Gerard J. M. Smit (SoC, 2009)

Composable and Persistent-State Application Swapping on FPGAs Using Hardwired Network on Chip. - Muhammad Aqeel Wahlah; Kees Goossens (ReConFig, 2009)

Efficient Service Allocation in Hardware Using Credit-Controlled Static-Priority Arbitration. - Benny Akesson; Liesbeth Steffens; Kees Goossens (RTCSA, 2009)

Networks on chips [editorial]. - Davide Bertozzi; Kees Goossens (IET Comput. Digit. Tech., 2009)

Enabling application-level performance guarantees in network-based systems on chip by applying dataflow analysis. - Andreas Hansson 001; Maarten Wiggers; Arno Moonen; Kees Goossens; Marco Bekooij (IET Comput. Digit. Tech., 2009)

CoMPSoC: A template for composable and predictable multi-processor system on chips. - Andreas Hansson 001; Kees Goossens; Marco Bekooij; Jos Huisken (ACM Trans. Design Autom. Electr. Syst., 2009)

Buffered Crossbar Fabrics Based on Networks on Chip. - Lotfi Mhamdi; Kees Goossens; Iria Varela Senin (CNSR, 2010)

The aethereal network on chip after ten years: goals, evolution, lessons, and future. - Kees Goossens; Andreas Hansson 001 (DAC, 2010)

Composable Dynamic Voltage and Frequency Scaling and Power Management for Dataflow Applications. - Kees Goossens; Dongrui She; Aleksandar Milutinovic; Anca Mariana Molnos (DSD, 2010)

Conservative application-level performance analysis through simulation of MPSoCs. - Andrew Nelson 001; Andreas Hansson 001; Henk Corporaal; Kees Goossens (ESTIMedia, 2010)

A distributed architecture to check global properties for post-silicon debug. - Erik Larsson; Bart Vermeulen; Kees Goossens (ETS, 2010)

Obtaining consistent global state dumps to interactively debug systems on chip with multiple clocks. - Bart Vermeulen; Kees Goossens (HLDVT, 2010)

Classification and Analysis of Predictable Memory Patterns. - Benny Akesson; Williston Hayes Jr.; Kees Goossens (RTCSA, 2010)

On-chip network interfaces supporting automatic burst write creation, posted writes and read prefetch. - Radu Andrei Stefan; Jason de Windt; Kees Goossens (ICSAMOS, 2010)

Bandwidth Analysis of Functional Interconnects Used as Test Access Mechanism. - Ardy van den Berg; Pengwei Ren; Erik Jan Marinissen; Georgi Gaydadjiev; Kees Goossens (J. Electron. Test., 2010)

Composability and Predictability for Independent Application Development, Verification, and Execution. - Benny Akesson; Anca Mariana Molnos; Andreas Hansson 001; Jude Angelo Ambrose; Kees Goossens (Multiprocessor System-on-Chip, 2011)

Composable local memory organisation for streaming applications on embedded MPSoCs. - Jude Angelo Ambrose; Anca Mariana Molnos; Andrew Nelson 001; Sorin Cotofana; Kees Goossens; Ben H. H. Juurlink (Conf. Computing Frontiers, 2011)

Memory controllers for high-performance and real-time MPSoCs: requirements, architectures, and future trends. - Benny Akesson; Po-Chun Huang; Fabien Clermidy; Denis Dutoit; Kees Goossens; Yuan-Hao Chang 001; Tei-Wei Kuo; Pascal Vivet; Drew Wingard (CODES+ISSS, 2011)

Architectures and modeling of predictable memory controllers for improved system integration. - Benny Akesson; Kees Goossens (DATE, 2011)

An FPGA bridge preserving traffic quality of service for on-chip network-based systems. - Ashkan Beyranvand Nejad; Matias Escudero Martinez; Kees Goossens (DATE, 2011)

Optimal scheduling of switched FlexRay networks. - Thijs Schenkelaars; Bart Vermeulen; Kees Goossens (DATE, 2011)

Improved Power Modeling of DDR SDRAMs. - Karthik Chandrasekar 001; Benny Akesson; Kees Goossens (DSD, 2011)

A Unified Execution Model for Data-Driven Applications on a Composable MPSoC. - Ashkan Beyranvand Nejad; Anca Mariana Molnos; Kees Goossens (DSD, 2011)

Power Minimisation for Real-Time Dataflow Applications. - Andrew Nelson 001; Orlando Moreira; Anca Mariana Molnos; Sander Stuijk; Ba Thang Nguyen; Kees Goossens (DSD, 2011)

PUMA: Placement Unification with Mapping and Guaranteed Throughput Allocation on an FPGA Using a Hardwired NoC. - Muhammad Aqeel Wahlah; Kees Goossens (DSD, 2011)

A Non-Intrusive Online FPGA Test Scheme Using a Hardwired Network on Chip. - Muhammad Aqeel Wahlah; Kees Goossens (DSD, 2011)

Time-predictable and composable architectures for dependable embedded systems. - Saddek Bensalem; Kees Goossens; Christoph M. Kirsch; Roman Obermaisser; Edward A. Lee; Joseph Sifakis (EMSOFT, 2011)

An improved algorithm for slot selection in the Æthereal network-on-chip. - Radu Andrei Stefan; Kees Goossens (INA-OCMC@HiPEAC, 2011)

Enhancing the security of time-division-multiplexing networks-on-chip through the use of multipath routing. - Radu Andrei Stefan; Kees Goossens (NoCArc@MICRO, 2011)

Automatic Generation of Efficient Predictable Memory Patterns. - Benny Akesson; Williston Hayes Jr.; Kees Goossens (RTCSA (1), 2011)

Resource-Efficient Real-Time Scheduling Using Credit-Controlled Static-Priority Arbitration. - Firew Siyoum; Benny Akesson; Sander Stuijk; Kees Goossens; Henk Corporaal (RTCSA (1), 2011)

Composable power management with energy and power budgets per application. - Andrew Nelson 001; Anca Mariana Molnos; Kees Goossens (ICSAMOS, 2011)

Special Issue on Networks-on-Chips: Design Flows and Case Studies. - Kees Goossens; Radu Marculescu (Des. Autom. Embed. Syst., 2011)

A quantitative evaluation of a Network on Chip design flow for multi-core consumer multimedia applications. - Andreas Hansson 001; Kees Goossens (Des. Autom. Embed. Syst., 2011)

Interactive Debug of SoCs with Multiple Clocks. - Bart Vermeulen; Kees Goossens (IEEE Des. Test Comput., 2011)

Design and implementation of an operating system for composable processor sharing. - Andreas Hansson 001; Marcus Ekerhult; Anca Mariana Molnos; Aleksandar Milutinovic; Andrew Nelson 001; Jude Angelo Ambrose; Kees Goossens (Microprocess. Microsystems, 2011)

A TDM slot allocation flow based on multipath routing in NoCs. - Radu Andrei Stefan; Kees Goossens (Microprocess. Microsystems, 2011)

Hardware / Software Virtualization for the Reconfigurable Multicore Platform. - Max Ferger; Muhammed Al Kadi; Michael Hübner 001; Martijn Koedam; Shubhendu Sinha; Kees Goossens; Gabriel Marchesan Almeida; José Rodrigo Azambuja; Jürgen Becker 001 (CSE, 2012)

Run-time power-down strategies for real-time SDRAM memory controllers. - Karthik Chandrasekar 001; Benny Akesson; Kees Goossens (DAC, 2012)

DRAM selection and configuration for real-time mobile systems. - Manil Dev Gomony; Christian Weis; Benny Akesson; Norbert Wehn; Kees Goossens (DATE, 2012)

Memory-map selection for firm real-time SDRAM controllers. - Sven Goossens; Tim Kouters; Benny Akesson; Kees Goossens (DATE, 2012)

A TDM NoC supporting QoS, multicast, and fast connection set-up. - Radu Andrei Stefan; Anca Mariana Molnos; Jude Angelo Ambrose; Kees Goossens (DATE, 2012)

Composable Virtual Memory for an Embedded SoC. - Cor Meenderinck; Anca Mariana Molnos; Kees Goossens (DSD, 2012)

A Predictor-Based Power-Saving Policy for DRAM Memories. - Gervin Thomas; Karthik Chandrasekar 001; Benny Akesson; Ben H. H. Juurlink; Kees Goossens (DSD, 2012)

Power versus quality trade-offs for adaptive real-time applications. - Andrew Nelson 001; Benny Akesson; Anca Mariana Molnos; Sjoerd te Pas; Kees Goossens (ESTIMedia, 2012)

Embedded computer architecture laboratory: a hands-on experience programming embedded systems with resource and energy constraints. - Andrew Nelson 001; Anca Molnos; Ashkan Beyranvand Nejad; Davit Mirzoyan; Sorin Cotofana; Kees Goossens (WESE, 2012)

Online allocation for contention-free-routing NoCs. - Radu Andrei Stefan; Ashkan Beyranvand Nejad; Kees Goossens (INA-OCMC@HiPEAC, 2012)

Architecture and design flow for a debug event distribution interconnect. - Arnaldo Azevedo; Bart Vermeulen; Kees Goossens (ICCD, 2012)

Process-variation aware mapping of real-time streaming applications to MPSoCs for improved yield. - Davit Mirzoyan; Benny Akesson; Kees Goossens (ISQED, 2012)

Hardware design and implementation of a Network-on-Chip based load balancing switch fabric. - Turhan Karadeniz; Lotfi Mhamdi; Kees Goossens; J. J. Garcia-Luna-Aceves (ReConFig, 2012)

Towards future adaptive multiprocessor systems-on-chip: An innovative approach for flexible architectures. - Fabrice Lemonnier; Philippe Millet; Gabriel Marchesan Almeida; Michael Hübner 001; Jürgen Becker 001; Sébastien Pillement; Olivier Sentieys; Martijn Koedam; Shubhendu Sinha; Kees Goossens; Christian Piguet; Marc-Nicolas Morgan; et al. (ICSAMOS, 2012)

Decoupled inter- and intra-application scheduling for composable and robust embedded MPSoC platforms. - Anca Mariana Molnos; Ashkan Beyranvand Nejad; Ba Thang Nguyen; Sorin Cotofana; Kees Goossens (Map2MPSoC/SCOPES, 2012)

Comparative analysis of soft and hard on-chip interconnects for field-programmable gate arrays. - Jae Young Hur; Kees Goossens; Lotfi Mhamdi; Muhammad Aqeel Wahlah (IET Comput. Digit. Tech., 2012)

Customisation of on-chip network interconnects and experiments in field-programmable gate arrays. - Jae Young Hur; Todor P. Stefanov; Stephan Wong; Kees Goossens (IET Comput. Digit. Tech., 2012)

A reconfigurable real-time SDRAM controller for mixed time-criticality systems. - Sven Goossens; Jasper Kuijsten; Benny Akesson; Kees Goossens (CODES+ISSS, 2013)

Towards variation-aware system-level power estimation of DRAMs: an empirical approach. - Karthik Chandrasekar 001; Christian Weis; Benny Akesson; Norbert Wehn; Kees Goossens (DAC, 2013)

System and circuit level power modeling of energy-efficient 3D-stacked wide I/O DRAMs. - Karthik Chandrasekar 001; Christian Weis; Benny Akesson; Norbert Wehn; Kees Goossens (DATE, 2013)

Architecture and optimal configuration of a real-time multi-channel memory controller. - Manil Dev Gomony; Benny Akesson; Kees Goossens (DATE, 2013)

Conservative open-page policy for mixed time-criticality memory controllers. - Sven Goossens; Benny Akesson; Kees Goossens (DATE, 2013)

A General Framework for Average-Case Performance Analysis of Shared Resources. - Sahar Foroutan; Benny Akesson; Kees Goossens; Frédéric Pétrot (DSD, 2013)

Router Designs for an Asynchronous Time-Division-Multiplexed Network-on-Chip. - Evangelia Kasapaki; Jens Sparsø; Rasmus Bo Sørensen; Kees Goossens (DSD, 2013)

Run-Time Slack Distribution for Real-Time Data-Flow Applications on Embedded MPSoC. - Pavel G. Zaykov; Georgi Kuzmanov; Anca Mariana Molnos; Kees Goossens (DSD, 2013)

Throughput analysis and Voltage-Frequency Island partitioning for streaming applications under process variation. - Davit Mirzoyan; Sander Stuijk; Benny Akesson; Kees Goossens (ESTIMedia, 2013)

The CompSOC design flow for virtual execution platforms. - Sven Goossens; Benny Akesson; Martijn Koedam; Ashkan Beyranvand Nejad; Andrew Nelson 001; Kees Goossens (FPGAworld, 2013)

A software-based technique enabling composable hierarchical preemptive scheduling for time-triggered applications. - Ashkan Beyranvand Nejad; Anca Mariana Molnos; Kees Goossens (RTCSA, 2013)

Throughput-constrained voltage and frequency scaling for real-time heterogeneous multiprocessors. - Pengcheng Huang 001; Orlando Moreira; Kees Goossens; Anca Mariana Molnos (SAC, 2013)

A unified execution model for multiple computation models of streaming applications on a composable MPSoC. - Ashkan Beyranvand Nejad; Anca Mariana Molnos; Kees Goossens (J. Syst. Archit., 2013)

TeMNOT: A test methodology for the non-intrusive online testing of FPGA with hardwired network on chip. - Muhammad Aqeel Wahlah; Kees Goossens (Microprocess. Microsystems, 2013)

A hardware/software platform for QoS bridging over multi-chip NoC-based systems. - Ashkan Beyranvand Nejad; Anca Mariana Molnos; Matias Escudero Martinez; Kees Goossens (Parallel Comput., 2013)

Virtual execution platforms for mixed-time-criticality systems: the CompSOC architecture and design flow. - Kees Goossens; Arnaldo Azevedo; Karthik Chandrasekar 001; Manil Dev Gomony; Sven Goossens; Martijn Koedam; Yonghui Li 002; Davit Mirzoyan; Anca Mariana Molnos; Ashkan Beyranvand Nejad; Andrew Nelson 001; Shubhendu Sinha (SIGBED Rev., 2013)

Exploiting expendable process-margins in DRAMs for run-time performance optimization. - Karthik Chandrasekar 001; Sven Goossens; Christian Weis; Martijn Koedam; Benny Akesson; Norbert Wehn; Kees Goossens (DATE, 2014)

Coupling TDM NoC and DRAM controller for cost and performance optimization of real-time systems. - Manil Dev Gomony; Benny Akesson; Kees Goossens (DATE, 2014)

CoMik: A predictable and cycle-accurately composable real-time microkernel. - Andrew Nelson 001; Ashkan Beyranvand Nejad; Anca Mariana Molnos; Martijn Koedam; Kees Goossens (DATE, 2014)

Composable and Predictable Dynamic Loading for Time-Critical Partitioned Systems. - Shubhendu Sinha; Martijn Koedam; Rob van Wijk; Andrew Nelson 001; Ashkan Beyranvand Nejad; Marc Geilen; Kees Goossens (DSD, 2014)

Dynamic Command Scheduling for Real-Time Memory Controllers. - Yonghui Li 002; Benny Akesson; Kees Goossens (ECRTS, 2014)

Hardware Task-Status Manager for an RTOS with FIFO communication. - Pavel G. Zaykov; Georgi Kuzmanov; Anca Mariana Molnos; Kees Goossens (ReConFig, 2014)

dAElite: A TDM NoC Supporting QoS, Multicast, and Fast Connection Set-Up. - Radu Andrei Stefan; Anca Mariana Molnos; Kees Goossens (IEEE Trans. Computers, 2014)

Process-variation-aware mapping of best-effort and real-time streaming applications to MPSoCs. - Davit Mirzoyan; Benny Akesson; Kees Goossens (ACM Trans. Embed. Comput. Syst., 2014)

A generic, scalable and globally arbitrated memory tree for shared DRAM access in real-time systems. - Manil Dev Gomony; Jamie Garside; Benny Akesson; Neil C. Audsley; Kees Goossens (DATE, 2015)

A Scenario-Aware Dataflow Programming Model. - Reinier van Kampenhout; Sander Stuijk; Kees Goossens (DSD, 2015)

Composable Platform-Aware Embedded Control Systems on a Multi-core Architecture. - Juan Valencia; Dip Goswami; Kees Goossens (DSD, 2015)

Run-time middleware to support real-time system scenarios. - Kees Goossens; Martijn Koedam; Shubhendu Sinha; Andrew Nelson 001; Marc Geilen (ECCTD, 2015)

Distributed power management of real-time applications on a GALS multiprocessor SOC. - Andrew Nelson 001; Kees Goossens (EMSOFT, 2015)

Mode-controlled data-flow modeling of real-time memory controllers. - Yonghui Li 002; Hrishikesh Salunkhe; João Bastos; Orlando Moreira; Benny Akesson; Kees Goossens (ESTIMedia, 2015)

Enhanced Time-Slotted Channel Hopping in WSNs Using Non-intrusive Channel-Quality Estimation. - Rasool Tavakoli; Majid Nabi; Twan Basten; Kees Goossens (MASS, 2015)

Designing applications for heterogeneous many-core architectures with the FlexTiles Platform. - Benedikt Janßen; Fynn Schwiegelshohn; Martijn Koedam; François Duhem; Leonard Masing; Stephan Werner 002; Christophe Huriaux; Antoine Courtay; Emilie Wheatley; Kees Goossens; Fabrice Lemonnier; Philippe Millet; et al. (SAMOS, 2015)

Dataflow formalisation of real-time streaming applications on a Composable and Predictable Multi-Processor SOC. - Andrew Nelson 001; Kees Goossens; Benny Akesson (J. Syst. Archit., 2015)

T-CREST: Time-predictable multi-core architecture for embedded systems. - Martin Schoeberl; Sahar Abbaspour; Benny Akesson; Neil C. Audsley; Raffaele Capasso; Jamie Garside; Kees Goossens; Sven Goossens; Scott Hansen; Reinhold Heckmann; Stefan Hepp; Benedikt Huber; et al. (J. Syst. Archit., 2015)

Composable and predictable dynamic loading for time-critical partitioned systems on multiprocessor architectures. - Shubhendu Sinha; Martijn Koedam; Gabriela Breaban; Andrew Nelson 001; Ashkan Beyranvand Nejad; Marc Geilen; Kees Goossens (Microprocess. Microsystems, 2015)

A Real-Time Multichannel Memory Controller and Optimal Mapping of Memory Clients to Memory Channels. - Manil Dev Gomony; Benny Akesson; Kees Goossens (ACM Trans. Embed. Comput. Syst., 2015)

Maximizing the Number of Good Dies for Streaming Applications in NoC-Based MPSoCs Under Process Variation. - Davit Mirzoyan; Benny Akesson; Sander Stuijk; Kees Goossens (ACM Trans. Embed. Comput. Syst., 2015)

Resource utilization and Quality-of-Control trade-off for a composable platform. - Juan Valencia; E. P. van Horssen; Dip Goswami; W. P. M. H. Heemels; Kees Goossens (DATE, 2016)

An embedded CAN controller for a vehicle networking course project. - Gabriela Breaban; Martijn Koedam; Jeroen Voeten; Kees Goossens (WESE, 2016)

Virtualization and emulation of a CAN device on a Multi-Processor System on Chip. - Gabriela Breaban; Martijn Koedam; Sander Stuijk; Kees Goossens (MECO, 2016)

An Experimental Study of Cross-Technology Interference in In-Vehicle Wireless Sensor Networks. - Rasool Tavakoli; Majid Nabi; Twan Basten; Kees Goossens (MSWiM, 2016)

Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers. - Yonghui Li 002; Benny Akesson; Kai Lampka; Kees Goossens (RTAS, 2016)

RTOS acceleration in an MPSoC with reconfigurable hardware. - Pavel G. Zaykov; Georgi Kuzmanov; Anca Molnos; Kees Goossens (Comput. Electr. Eng., 2016)

Cloud-based Design and Virtual Prototyping Environment for Embedded Systems. - Stephan Werner 002; Andreas Lauber; Martijn Koedam; Jürgen Becker 001; Eric Sax; Kees Goossens (Int. J. Online Eng., 2016)

Architecture and analysis of a dynamically-scheduled real-time memory controller. - Yonghui Li 002; Benny Akesson; Kees Goossens (Real Time Syst., 2016)

Power/Performance Trade-Offs in Real-Time SDRAM Command Scheduling. - Sven Goossens; Karthik Chandrasekar 001; Benny Akesson; Kees Goossens (IEEE Trans. Computers, 2016)

Argo: A Real-Time Network-on-Chip Architecture With an Efficient GALS Implementation. - Evangelia Kasapaki; Martin Schoeberl; Rasmus Bo Sørensen; Christoph Thomas Muller; Kees Goossens; Jens Sparsø (IEEE Trans. Very Large Scale Integr. Syst., 2016)

Efficient synchronization methods for LET-based applications on a Multi-Processor System on Chip. - Gabriela Breaban; Sander Stuijk; Kees Goossens (DATE, 2017)

Programming and analysing scenario-aware dataflow on a multi-processor platform. - Reinier van Kampenhout; Sander Stuijk; Kees Goossens (DATE, 2017)

An analytical model for interdependent setup/hold-time characterization of flip-flops. - Hadi Ahmadi Balef; Hailong Jiao; José Pineda de Gyvez; Kees Goossens (ISQED, 2017)

Time synchronization for an emulated CAN device on a Multi-Processor System on Chip. - Gabriela Breaban; Martijn Koedam; Sander Stuijk; Kees Goossens (Microprocess. Microsystems, 2017)

A Globally Arbitrated Memory Tree for Mixed-Time-Criticality Systems. - Manil Dev Gomony; Jamie Garside; Benny Akesson; Neil C. Audsley; Kees Goossens (IEEE Trans. Computers, 2017)

NoC-Based Multiprocessor Architecture for Mixed-Time-Criticality Applications. - Kees Goossens; Martijn Koedam; Andrew Nelson 001; Shubhendu Sinha; Sven Goossens; Yonghui Li 002; Gabriela Breaban; Reinier van Kampenhout; Rasool Tavakoli; Juan Valencia; Hadi Ahmadi Balef; Benny Akesson; et al. (Handbook of Hardware/Software Codesign, 2017)

Fault-Tolerant Deployment of Dataflow Applications Using Virtual Processors. - Reinier van Kampenhout; Sander Stuijk; Kees Goossens (DSD, 2018)

Effective In-Situ Chip Health Monitoring with Selective Monitor Insertion Along Timing Paths. - Hadi Ahmadi Balef; Hamed Fatemi; Kees Goossens; José Pineda de Gyvez (ACM Great Lakes Symposium on VLSI, 2018)

A Unified Programming Model for Time- and Data-Driven Embedded Applications. - Gabriela Breaban; Sander Stuijk; Kees Goossens (PDP, 2018)

Hybrid Timeslot Design for IEEE 802.15.4 TSCH to Support Heterogeneous WSNs. - Rasool Tavakoli; Majid Nabi; Twan Basten; Kees Goossens (PIMRC, 2018)

A Generic Method for a Bottom-Up ASIL Decomposition. - Alessandro Frigerio; Bart Vermeulen; Kees Goossens (SAFECOMP, 2018)

Guard-Time Design for Symmetric Synchronization in IEEE 802.15.4 Time-Slotted Channel Hopping. - Rasool Tavakoli; Majid Nabi; Twan Basten; Kees Goossens (VTC Spring, 2018)

Dependable Interference-Aware Time-Slotted Channel Hopping for Wireless Sensor Networks. - Rasool Tavakoli; Majid Nabi; Twan Basten; Kees Goossens (ACM Trans. Sens. Networks, 2018)

Delay-based Design of Feedforward Tracking Control for Predictable Embedded Platforms. - Mojtaba Haghi; Wenguang Feng; Dip Goswami; Kees Goossens (ACC, 2019)

Chip Health Tracking Using Dynamic In-Situ Delay Monitoring. - Hadi Ahmadi Balef; Kees Goossens; José Pineda de Gyvez (DATE, 2019)

Model-Based Processor-in-the-Loop Framework for Composable Multi-core Platforms. - Mojtaba Haghi; Martijn Koedam; Dip Goswami; Kees Goossens (DSD, 2019)

Component-Level ASIL Decomposition for Automotive Architectures. - Alessandro Frigerio; Bart Vermeulen; Kees Goossens (DSN Workshops, 2019)

Optimization of Cell-Aware ATPG Results by Manipulating Library Cells' Defect Detection Matrices. - Zhan Gao; Min-Chun Hu 002; Joe Swenton; Santosh Malagi; Jos Huisken; Kees Goossens; Erik Jan Marinissen (ITC-Asia, 2019)

Application of Cell-Aware Test on an Advanced 3nm CMOS Technology Library. - Zhan Gao; Santosh Malagi; Min-Chun Hu 002; Joe Swenton; Rogier Baert; Jos Huisken; Bilal Chehab; Kees Goossens; Erik Jan Marinissen (ITC, 2019)

Defect-Location Identification for Cell-Aware Test. - Zhan Gao; Santosh Malagi; Erik Jan Marinissen; Joe Swenton; Jos Huisken; Kees Goossens (LATS, 2019)

A Scalable and Fast Model for Performance Analysis of IEEE 802.15.4 TSCH Networks. - Hamideh Hajizadeh; Majid Nabi; Rasool Tavakoli; Kees Goossens (PIMRC, 2019)

Topology Management and TSCH Scheduling for Low-Latency Convergecast in In-Vehicle WSNs. - Rasool Tavakoli; Majid Nabi; Twan Basten; Kees Goossens (IEEE Trans. Ind. Informatics, 2019)

Comparing Platform-aware Control Design Flows for Composable and Predictable TDM-based Execution Platforms. - Juan Valencia; Dip Goswami; Kees Goossens (ACM Trans. Design Autom. Electr. Syst., 2019)

Timing Speculation With Optimal In Situ Monitoring Placement and Within-Cycle Error Prevention. - Hadi Ahmadi Balef; Hamed Fatemi; Kees Goossens; José Pineda de Gyvez (IEEE Trans. Very Large Scale Integr. Syst., 2019)

A Distributed Safety Mechanism using Middleware and Hypervisors for Autonomous Vehicles. - Tjerk Bijlsma; Andrii Buriachevskyi; Alessandro Frigerio; Yuting Fu; Kees Goossens; Ali Osman Örs; Pieter J. van der Perk; Andrei Sergeevich Terechko; Bart Vermeulen (DATE, 2020)

Parallel Implementation of Iterative Learning Controllers on Multi-core Platforms. - Mojtaba Haghi; Yusheng Yao; Dip Goswami; Kees Goossens (DATE, 2020)

A Performance Analysis Framework for Real-Time Systems Sharing Multiple Resources. - Shayan Tabatabaei Nikkhah; Marc Geilen; Dip Goswami; Kees Goossens (DATE, 2020)

Tightening the Mesh Size of the Cell-Aware ATPG Net for Catching All Detectable Weakest Faults. - Min-Chun Hu 002; Zhan Gao; Santosh Malagi; Joe Swenton; Jos Huisken; Kees Goossens; Cheng-Wen Wu; Erik Jan Marinissen (ETS, 2020)

Approximated Pareto Analysis for Fast Optimization of Large IEEE 802.15.4 TSCH Networks. - Hamideh Hajizadeh; Rasool Tavakoli; Majid Nabi; Kees Goossens (PIMRC, 2020)

Modeling, implementation, and analysis of XRCE-DDS applications in distributed multi-processor real-time embedded systems. - Saeid Dehnavi; Dip Goswami; Martijn Koedam; Andrew Nelson 001; Kees Goossens (DATE, 2021)

A Deployment Framework for Quality-Sensitive Applications in Resource-Constrained Dynamic Environments. - Shayan Tabatabaei Nikkhah; Marc Geilen; Dip Goswami; Martijn Koedam; Andrew Nelson 001; Kees Goossens (DSD, 2021)

Hardware Implementation of Iterative Projection-Aggregation Decoding of Reed-Muller Codes. - Marzieh Hashemipour-Nazari; Kees Goossens; Alexios Balatsoukas-Stimming (ICASSP, 2021)

CompROS: A composable ROS2 based architecture for real-time embedded robotic development. - Saeid Dehnavi; Martijn Koedam; Andrew Nelson 001; Dip Goswami; Kees Goossens (IROS, 2021)

Analyzable Publish-Subcribe Communication Through a Wait-Free FIFO Channel for MPSoC Real-Time Applications. - Saeid Dehnavi; Dip Goswami; Kees Goossens (MCSoC, 2021)

Isolation of redundant and mixed-critical automotive applications: effects on the system architecture. - Alessandro Frigerio; Bart Vermeulen; Kees Goossens (VTC Spring, 2021)

Automotive Architecture Topologies: Analysis for Safety-Critical Autonomous Vehicle Applications. - Alessandro Frigerio; Bart Vermeulen; Kees G. W. Goossens (IEEE Access, 2021)

Run-Time Recovery and Failure Analysis of Time-Triggered Traffic in Time Sensitive Networks. - Weijiang Kong; Majid Nabi; Kees Goossens (IEEE Access, 2021)

Reducing Library Characterization Time for Cell-aware Test while Maintaining Test Quality. - Zhan Gao; Min-Chun Hu 002; Santosh Malagi; Joe Swenton; Jos Huisken; Kees Goossens; Erik Jan Marinissen (J. Electron. Test., 2021)

Interface Modeling for Quality and Resource Management. - Martijn Hendriks; Marc Geilen; Kees Goossens; Rob de Jong; Twan Basten (Log. Methods Comput. Sci., 2021)

An Evaluation Framework for Vision-in-the-Loop Motion Control Systems. - Chaitanya Jugade; Daniel Hartgers; Phan Dúc Anh; Sajid Mohamed; Mojtaba Haghi; Dip Goswami; Andrew Nelson 001; Gijs van der Veen; Kees Goossens (ETFA, 2022)

SynAVB: Route and Slope Synthesis Ensuring Guaranteed Service in Ethernet AVB. - Weijiang Kong; Majid Nabi; Kees Goossens (ETFA, 2022)

Multi-Factor Pruning for Recursive Projection-Aggregation Decoding of RM Codes. - Marzieh Hashemipour-Nazari; Kees Goossens; Alexios Balatsoukas-Stimming (SiPS, 2022)

Run-time Per-Class Routing of AVB Flows in In-Vehicle TSN via Composable Delay Analysis. - Weijiang Kong; Majid Nabi; Kees Goossens (VTC Spring, 2022)

Recursive/Iterative unique Projection-Aggregation of RM codes. - Marzieh Hashemipour-Nazari; Renate Debets; Kees Goossens; Alexios Balatsoukas-Stimming (CoRR, 2022)

State-based switching multi-rate controller for improving resource utilization on predictable and composable platforms. - Mojtaba Haghi; Shengru Yu; Dip Goswami; Kees Goossens; Martijn Koedam; Andrew Nelson 001 (Microprocess. Microsystems, 2022)

NPTSN: RL-Based Network Planning with Guaranteed Reliability for In-Vehicle TSSDN. - Weijiang Kong; Majid Nabi; Kees Goossens (DSN, 2023)

Improved Positioning Precision using a Multi-rate Multi-sensor in Industrial Motion Control Systems. - Chaitanya Jugade; Daniel Hartgers; Sajid Mohamed; Dip Goswami; Andrew Nelson 001; Gijs van der Veen; Kees Goossens (ECC, 2023)

Recursive/Iterative Unique Projection-Aggregation Decoding of Reed-Muller Codes. - Marzieh Hashemipour-Nazari; Renate Debets; Kees Goossens; Alexios Balatsoukas-Stimming (ICASSP, 2023)

Decentralized Configuration of TSCH-Based IoT Networks for Distinctive QoS: A Deep Reinforcement Learning Approach. - Hamideh Hajizadeh; Majid Nabi; Kees Goossens (IEEE Internet Things J., 2023)

Pipelined Architecture for Soft-Decision Iterative Projection Aggregation Decoding for RM Codes. - Marzieh Hashemipour-Nazari; Yuqing Ren; Kees Goossens; Alexios Balatsoukas-Stimming (IEEE Trans. Circuits Syst. I Regul. Pap., 2023)

Predictable Multi-Core Implementation of Multi-Rate Sensor Fusion for High-Precision Positioning Systems. - Chaitanya Jugade; Sajid Mohamed; Dip Goswami; Andrew Nelson 001; Gijs van der Veen; Kees Goossens (ACC, 2024)

Cell-Aware Test on Various Circuits in an Advanced 3-nm Technology. - Zhan Gao; Min-Chun Hu 002; Rogier Baert; Bilal Chehab; Joe Swenton; Santosh Malagi; Jos Huisken; Kees Goossens; Erik Jan Marinissen (IEEE Des. Test, 2024)

Hardware Implementation of Projection-Aggregation Decoders for Reed-Muller Codes. - Marzieh Hashemipour-Nazari; Andrea Nardi-Dei; Kees Goossens; Alexios Balatsoukas-Stimming (IEEE Trans. Circuits Syst. I Regul. Pap., 2025)