Ralf Henke

According to our database, Ralf Henke authored at least 6 papers between 1996 and 1998.

Collaborative distances:

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

1998

Automatische Protokollimplementierung unter Verwendung der Activity Threads.

Ralf Henke, Hartmut König, Andreas Mitschele-Thiel

Prax. Inf.verarb. Kommun., 1998

Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDL.

Ralf Henke, Andreas Mitschele-Thiel, Hartmut König

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

1997

Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads.

Ralf Henke, Hartmut König, Andreas Mitschele-Thiel

Proceedings of the SDL '97 Time for Testing, 1997

On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications.

Ralf Henke, Andreas Mitschele-Thiel, Hartmut König

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

Efficient Implementation Strategies for SDL.

Ralf Henke, Andreas Mitschele-Thiel

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996

Design and Optimization of High-Performance Protocols with the DO-IT Toolbox.

Andreas Mitschele-Thiel, Peter Langendörfer, Ralf Henke

Proceedings of the Formal Description Techniques IX: Theory, 1996