Towards a formal framework for fault-tolerance. - Henk Schepers (ACM SIGOPS European Workshop, 1990)

Trace-Based Compositional Reasoning about Fault Tolerant Systems. - Henk Schepers; Jozef Hooman (PARLE, 1993)

A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems. - Henk Schepers; Rob Gerth (SRDS, 1993)

Compositional Reasoning about Real-Time Distributed Systems with Limited Resources. - Henk Schepers (PARLE, 1994)

Compositional Reasoning about Responsive Systems with Limited Resources. - Henk Schepers (Real Time Syst., 1994)

A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems. - Henk Schepers; Jozef Hooman (Theor. Comput. Sci., 1994)

OCEANS: Optimizing Compilers for Embedded Applications. - Bas Aarts; Michel Barreteau; François Bodin; Peter Brinkhaus; Zbigniew Chamski; Henri-Pierre Charles; Christine Eisenbeis; John R. Gurd; Jan Hoogerbrugge; Ping Hu; William Jalby; Peter M. W. Knijnenburg; et al. (Euro-Par, 1997)

Guest editorial: Introduction to the special issue on software and compilers for embedded systems. - Henk Schepers (ACM Trans. Embed. Comput. Syst., 2007)