Henk Schepers

Publication Activity (10 Years)

Years Active: 1990-2007
Publications (10 Years): 0

Publications

Henk Schepers
Guest editorial: Introduction to the special issue on software and compilers for embedded systems. ACM Trans. Embed. Comput. Syst. 6 (2) (2007)
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)
Henk Schepers, Jozef Hooman
A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems. Theor. Comput. Sci. 128 (1&2) (1994)
Henk Schepers
Compositional Reasoning about Responsive Systems with Limited Resources. Real Time Syst. 7 (3) (1994)
Henk Schepers
Compositional Reasoning about Real-Time Distributed Systems with Limited Resources. PARLE (1994)
Henk Schepers, Rob Gerth
A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems. SRDS (1993)
Henk Schepers, Jozef Hooman
Trace-Based Compositional Reasoning about Fault Tolerant Systems. PARLE (1993)
Henk Schepers
Towards a formal framework for fault-tolerance. ACM SIGOPS European Workshop (1990)