Karsten Strehl

According to our database, Karsten Strehl authored at least 11 papers between 1998 and 2005.

Collaborative distances:

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

2005

SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme.

Christian Haubelt, Marek Jersak, Kai Richter, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich, Lothar Thiele

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005

2001

FunState-an internal design representation for codesign.

Karsten Strehl, Lothar Thiele, Matthias Gries, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich

IEEE Trans. Very Large Scale Integr. Syst., 2001

2000

Symbolic methods applied to formal verification and synthesis in embedded systems design.

Karsten Strehl

PhD thesis, 2000

Interval diagrams for efficient symbolic verification of processnetworks.

Karsten Strehl, Lothar Thiele

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000

Regular state machines.

Lothar Thiele, Jürgen Teich, Karsten Strehl

Parallel Algorithms Appl., 2000

Fuzzy Decision Diagrams for the Representation, Analysis and Optimization of Rule Bases.

Karsten Strehl, Claudio Moraga, Karl-Heinz Temme, Radomir S. Stankovic

Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic, 2000

1999

Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification.

Karsten Strehl

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

FunState - an internal design representation for codesign.

Lothar Thiele, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich

Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999

Interval Diagram Techniques for Symbolic Model Checking of Petri Nets.

Karsten Strehl, Lothar Thiele

Proceedings of the 1999 Design, 1999

Scheduling hardware/software systems using symbolic techniques.

Karsten Strehl, Lothar Thiele, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich

Proceedings of the Seventh International Workshop on Hardware/Software Codesign, 1999

1998

Symbolic model checking of process networks using interval diagram techniques.

Karsten Strehl, Lothar Thiele

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998