Karsten Strehl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1998–2005
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | GI | SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme. | Christian Haubelt, Marek Jersak, Kai Richter, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jrgen Teich, Lothar Thiele |
| 1999 | DATE | Interval Diagram Techniques for Symbolic Model Checking of Petri Nets. | Karsten Strehl, Lothar Thiele |
| 1999 | ICCAD | FunState - an internal design representation for codesign. | Lothar Thiele, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jrgen Teich |
| 1999 | RTCSA | Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification. | Karsten Strehl |
| 1998 | ICCAD | Symbolic model checking of process networks using interval diagram techniques. | Karsten Strehl, Lothar Thiele |