Henk Schepers

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

Henk Schepers (Ed.): Software and Compilers for Embedded Systems, 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings. Lecture Notes in Computer Science 3199, Springer 2004, isbn 3-540-23035-1

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, Michael F. P. O'Boyle, Erven Rohou, Rizos Sakellariou, Henk Schepers, André Seznec, Elena Stöhr, Marco Verhoeven, Harry A. G. Wijshoff: OCEANS: Optimizing Compilers for Embedded Applications. Euro-Par 1997: 1351-1356

Henk Schepers: Compositional Reasoning about Responsive Systems with Limited Resources. Real-Time Systems 7(3): 291-313 (1994)

Henk Schepers, Jozef Hooman: A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems. Theor. Comput. Sci. 128(1&2): 127-157 (1994)

Henk Schepers: Compositional Reasoning about Real-Time Distributed Systems with Limited Resources. PARLE 1994: 809-812

Henk Schepers, Jozef Hooman: Trace-Based Compositional Reasoning about Fault Tolerant Systems. PARLE 1993: 197-208

Henk Schepers, Rob Gerth: A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems. SRDS 1993: 34-43

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