Towards verification-based development of in-vehicle safety critical software: a case study. - Martijn M. H. P. van den Heuvel; Reinder J. Bril; Peter van de Velde; Johan J. Lukkien (EDCC-CARS, 2010)

Protocol-transparent resource sharing in hierarchically scheduled real-time systems. - Martijn M. H. P. van den Heuvel; Reinder J. Bril; Johan J. Lukkien (ETFA, 2010)

Exploiting harmonic periods to improve linearly approximated response-time upper bounds. - Chidiebere G. U. Okwudire; Martijn M. H. P. van den Heuvel; Reinder J. Bril; Johan J. Lukkien (ETFA, 2010)

Dynamic resource allocation for real-time priority processing applications. - Martijn M. H. P. van den Heuvel; Reinder J. Bril; Stefan Schiemenz; Christian Hentschel (IEEE Trans. Consumer Electron., 2010)

Dependable Resource Sharing for Compositional Real-Time Systems. - Martijn M. H. P. van den Heuvel; Reinder J. Bril; Johan J. Lukkien (RTCSA (1), 2011)

An engineering approach to synchronization based on overrun for compositional real-time systems. - Ugur Keskin; Martijn M. H. P. van den Heuvel; Reinder J. Bril; Johan J. Lukkien; Moris Behnam; Thomas Nolte (SIES, 2011)

Real-time priority processing on an embedded CE device. - Martijn M. H. P. van den Heuvel; Reinder J. Bril; Stefan Schiemenz; Christian Hentschel; Coen Tempelaars (IEEE Trans. Consumer Electron., 2011)

Constant bandwidth supply for priority processing. - Martijn M. H. P. van den Heuvel; Mike Holenderski; Reinder J. Bril; Johan J. Lukkien (IEEE Trans. Consumer Electron., 2011)

RTOS Support for Mixed Time-triggered and Event-triggered Task Sets. - Martijn M. H. P. van den Heuvel; Reinder J. Bril; Johan J. Lukkien; Damir Isovic; Gowri Sankar Ramachandran (CSE, 2012)

Generalized Fixed-Priority Scheduling with Limited Preemptions. - Reinder J. Bril; Martijn M. H. P. van den Heuvel; Ugur Keskin; Johan J. Lukkien (ECRTS, 2012)

Towards RTOS support for mixed time-triggered and event-triggered task sets. - Martijn M. H. P. van den Heuvel; Reinder J. Bril; Johan J. Lukkien; Damir Isovic; Gowri Sankar Ramachandran (ETFA, 2012)

Dependable partitioning for autonomous agents in adaptive lighting environments. - Sunder A. B. Rao; Tanir Ozcelebi; Martijn M. H. P. van den Heuvel; Richard Verhoeven; Johan J. Lukkien (ICCE, 2012)

Transparent Synchronization Protocols for Compositional Real-Time Systems. - Martijn M. H. P. van den Heuvel; Reinder J. Bril; Johan J. Lukkien (IEEE Trans. Ind. Informatics, 2012)

Limited preemptive scheduling of mixed time-triggered and event-triggered tasks. - Martijn M. H. P. van den Heuvel; Reinder J. Bril; Xiaodi Zhang; Syed Md Jakaria Abdullah; Damir Isovic (ETFA, 2013)

Resource-usage modes detection for run-time resource prediction of video components. - Ionut David; Martijn M. H. P. van den Heuvel; Rudolf H. Mak; Johan J. Lukkien (ICCE, 2013)

Improved feasibility of fixed-priority scheduling with deferred preemption using preemption thresholds for preemption points. - Reinder J. Bril; Martijn M. H. P. van den Heuvel; Johan J. Lukkien (RTNS, 2013)

Virtual scheduling for compositional real-time guarantees. - Martijn M. H. P. van den Heuvel; Reinder J. Bril; Johan J. Lukkien (SIES, 2013)

Guidelines and challenges for composing and synchronizing real-time software components through virtual platforms in vehicular systems. - Martijn M. H. P. van den Heuvel (ETFA, 2014)

Performance evaluation of analysis methods for arbitrating non-preemptive resource access in compositional real-time systems. - Martijn M. H. P. van den Heuvel; Reinder J. Bril; Johan J. Lukkien; Thomas Nolte (ETFA, 2014)

Towards an interoperable framework for mixed real-time simulations of industrial embedded systems. - Amir Soltani Nezhad; Luis F. B. Ferreira; Martijn M. H. P. van den Heuvel; Richard Verhoeven; Johan J. Lukkien; Rudolf H. Mak; Eric Korff de Gidts (ETFA, 2014)

Optimal and fast composition of resource-sharing components in hierarchical real-time systems. - Martijn M. H. P. van den Heuvel; Moris Behnam; Reinder J. Bril; Johan J. Lukkien; Thomas Nolte (RTCSA, 2014)

Integrating Cache-Related Pre-Emption Delays into Analysis of Fixed Priority Scheduling with Pre-Emption Thresholds. - Reinder J. Bril; Sebastian Altmeyer; Martijn M. H. P. van den Heuvel; Robert I. Davis 001; Moris Behnam (RTSS, 2014)

Mode-based resource-usage prediction for runtime resource reservations of video components. - Ionut David; Rudolf H. Mak; Martijn M. H. P. van den Heuvel; Johan J. Lukkien (IEEE Trans. Consumer Electron., 2014)

Composing and synchronizing real-time software through virtual platforms in vehicular systems. - Martijn M. H. P. van den Heuvel (ICCE-Berlin, 2015)

Budget allocations for hierarchical fixed-priority scheduling of sporadic tasks with deferred preemptions upon EDP resources. - Martijn M. H. P. van den Heuvel; Reinder J. Bril; Johan J. Lukkien (SIGBED Rev., 2015)

An Approach for Systematic In-the-Loop Simulations for Development and Test of a Complex Mechatronic Embedded System. - Amir Soltani Nezhad; Johan J. Lukkien; Rudolf H. Mak; Richard Verhoeven; Martijn M. H. P. van den Heuvel (SAFECOMP Workshops, 2016)

Extending ExSched with Mixed Criticality Support - An Experience Report. - Tarun Gupta 001; Erik J. Luit; Martijn M. H. P. van den Heuvel; Reinder J. Bril (ICSA Workshops, 2017)

Fixed priority scheduling with pre-emption thresholds and cache-related pre-emption delays: integrated analysis and evaluation. - Reinder J. Bril; Sebastian Altmeyer; Martijn M. H. P. van den Heuvel; Robert I. Davis 001; Moris Behnam (Real Time Syst., 2017)

Experience Report: Towards Extending an OSEK-Compliant RTOS with Mixed Criticality Support. - Tarun Gupta 001; Erik J. Luit; Martijn M. H. P. van den Heuvel; Reinder J. Bril (e Informatica Softw. Eng. J., 2018)