Henk Schepers

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
Guest editorial: Introduction to the special issue on software and compilers for embedded systems.
ACM Trans. Embedded Comput. Syst., 2007

1997

1994
A Trace-Based Compositional Proof Theory for Fault Tolerant Distributed Systems.
Theor. Comput. Sci., 1994

Compositional Reasoning about Responsive Systems with Limited Resources.
Real-Time Systems, 1994

Compositional Reasoning about Real-Time Distributed Systems with Limited Resources.
Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

1993
A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems.
Proceedings of the 12th Symposium on Reliable Distributed Systems, 1993

Trace-Based Compositional Reasoning about Fault Tolerant Systems.
Proceedings of the PARLE '93, 1993

1990
Towards a formal framework for fault-tolerance.
Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990


  Loading...