 | 2007 |
|---|
| 9 |       | Henk Schepers:
Guest editorial: Introduction to the special issue on software and compilers for embedded systems.
ACM Trans. Embedded Comput. Syst. 6(2): (2007) |
| 2004 |
|---|
| 8 |  | Henk Schepers:
Software and Compilers for Embedded Systems, 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings
Springer 2004 |
| 1997 |
|---|
| 7 | | 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 |
| 1994 |
|---|
| 6 | | Henk Schepers:
Compositional Reasoning about Real-Time Distributed Systems with Limited Resources.
PARLE 1994: 809-812 |
| 5 | | Henk Schepers:
Compositional Reasoning about Responsive Systems with Limited Resources.
Real-Time Systems 7(3): 291-313 (1994) |
| 4 | | Henk Schepers,
Jozef Hooman:
A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems.
Theor. Comput. Sci. 128(1&2): 127-157 (1994) |
| 1993 |
|---|
| 3 | | Henk Schepers,
Jozef Hooman:
Trace-Based Compositional Reasoning about Fault Tolerant Systems.
PARLE 1993: 197-208 |
| 2 | | Henk Schepers,
Rob Gerth:
A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems.
SRDS 1993: 34-43 |
| 1990 |
|---|
| 1 | | Henk Schepers:
Towards a formal framework for fault-tolerance.
ACM SIGOPS European Workshop 1990 |
