Symbolic model checking of process networks using interval diagram techniques. - Karsten Strehl; Lothar Thiele (ICCAD, 1998)

Scheduling hardware/software systems using symbolic techniques. - Karsten Strehl; Lothar Thiele; Dirk Ziegenbein; Rolf Ernst; Jürgen Teich (CODES, 1999)

Interval Diagram Techniques for Symbolic Model Checking of Petri Nets. - Karsten Strehl; Lothar Thiele (DATE, 1999)

FunState - an internal design representation for codesign. - Lothar Thiele; Karsten Strehl; Dirk Ziegenbein; Rolf Ernst; Jürgen Teich (ICCAD, 1999)

Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification. - Karsten Strehl (RTCSA, 1999)

Fuzzy Decision Diagrams for the Representation, Analysis and Optimization of Rule Bases. - Karsten Strehl; Claudio Moraga; Karl-Heinz Temme; Radomir S. Stankovic (ISMVL, 2000)

Regular state machines. - Lothar Thiele; Jürgen Teich; Karsten Strehl (Parallel Algorithms Appl., 2000)

Interval diagrams for efficient symbolic verification of processnetworks. - Karsten Strehl; Lothar Thiele (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000)

Symbolic methods applied to formal verification and synthesis in embedded systems design. - Karsten Strehl (Shaker, 2000)

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)

SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme. - Christian Haubelt; Marek Jersak; Kai Richter 001; Karsten Strehl; Dirk Ziegenbein; Rolf Ernst; Jürgen Teich; Lothar Thiele (GI Jahrestagung (2), 2005)