Henk Schepers

According to our database, Henk Schepers authored at least 8 papers between 1990 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Guest editorial: Introduction to the special issue on software and compilers for embedded systems.

Henk Schepers

ACM Trans. Embed. Comput. Syst., 2007

1997

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, Michael F. P. O'Boyle, Erven Rohou, Rizos Sakellariou, Henk Schepers, André Seznec, Elena Stöhr, Marco Verhoeven, Harry A. G. Wijshoff

Proceedings of the Euro-Par '97 Parallel Processing, 1997

1994

A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems.

Henk Schepers, Jozef Hooman

Theor. Comput. Sci., 1994

Compositional Reasoning about Responsive Systems with Limited Resources.

Henk Schepers

Real Time Syst., 1994

Compositional Reasoning about Real-Time Distributed Systems with Limited Resources.

Henk Schepers

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

1993

A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems.

Henk Schepers, Rob Gerth

Proceedings of the 12th Symposium on Reliable Distributed Systems, 1993

Trace-Based Compositional Reasoning about Fault Tolerant Systems.

Henk Schepers, Jozef Hooman

Proceedings of the PARLE '93, 1993

1990

Towards a formal framework for fault-tolerance.

Henk Schepers

Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990