Karsten Strehl

Publication Activity (10 Years)

Years Active: 1998-2005
Publications (10 Years): 0

ETH Zurich, Zürich, Switzerland (PHD)

Education History

ETH Zurich, Zürich, Switzerland

PHD

Publications

Christian Haubelt, Marek Jersak, Kai Richter, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich, Lothar Thiele
SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme. GI Jahrestagung (2) (2005)
Karsten Strehl, Lothar Thiele, Matthias Gries, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich
FunState-an internal design representation for codesign. IEEE Trans. Very Large Scale Integr. Syst. 9 (4) (2001)
Lothar Thiele, Jürgen Teich, Karsten Strehl
Regular state machines. Parallel Algorithms Appl. 15 (3-4) (2000)
Karsten Strehl, Lothar Thiele
Interval diagrams for efficient symbolic verification of processnetworks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19 (8) (2000)
Karsten Strehl, Claudio Moraga, Karl-Heinz Temme, Radomir S. Stankovic
Fuzzy Decision Diagrams for the Representation, Analysis and Optimization of Rule Bases. ISMVL (2000)
Karsten Strehl, Lothar Thiele
Interval Diagram Techniques for Symbolic Model Checking of Petri Nets. DATE (1999)
Karsten Strehl
Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification. RTCSA (1999)
Lothar Thiele, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich
FunState - an internal design representation for codesign. ICCAD (1999)
Karsten Strehl, Lothar Thiele, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich
Scheduling hardware/software systems using symbolic techniques. CODES (1999)
Karsten Strehl, Lothar Thiele
Symbolic model checking of process networks using interval diagram techniques. ICCAD (1998)

Karsten Strehl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Karsten Strehl