Concepedia

Karsten Strehl

KS

Statistics

Publications

9

Citations

270

H-Index

9

Active since

1998

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

Paderborn University

Technische Universität Braunschweig

Karsten Strehl is an author at École Polytechnique Fédérale de Lausanne specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringVerificationComputer EngineeringSystem SoftwareProgram AnalysisDesign

Publications per year

1998–2003

9

Publications

9

FunState-an internal design representation for codesign

Karsten Strehl, Lothar Thiele, Matthias Gries et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 2001 · 74 citations

Petri Net, Engineering, Verification +22

Symbolic model checking of process networks using interval diagram techniques

Karsten Strehl, Lothar Thiele · 1998 · 42 citations · Full text

FunState—an internal design representation for codesign

Lothar Thiele, Karsten Strehl, Dirk Ziegenbein et al. · International Conference on Computer Aided Design · 1999 · 37 citations

Petri Net, Engineering, Verification +21

Scheduling hardware/software systems using symbolic techniques

Karsten Strehl, Lothar Thiele, Dirk Ziegenbein et al. · 1999 · 33 citations · Full text

Scheduling hardware/software systems using symbolic techniques

Karsten Strehl, Lothar Thiele, Dirk Ziegenbein et al. · 2003 · 19 citations

Engineering, System Programming, Computer Architecture +23

1–5 of 9