Karsten Lüth

According to our database, Karsten Lüth authored at least 4 papers between 1998 and 2001.

Collaborative distances:

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

2001

Visual temporal logic as a rapid prototyping tool.

Martin Fränzle, Karsten Lüth

Comput. Lang., 2001

1998

HW/SW Cosynthesis Using Statecharts and Symbolic Timing Diagrams.

Karsten Lüth, Jürgen Niehaus, Thomas Peikenkamp

Proceedings of the Ninth IEEE International Workshop on Rapid System Prototyping (RSP 1998), 1998

The ICOS Synthesis Environment.

Karsten Lüth

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Compiling Graphical Real-Time Specifications into Silicon.

Martin Fränzle, Karsten Lüth

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998