| Since 02/18 | Director Solution Development for Connected E-Mobility Solutions with Robert Bosch GmbH, Stuttgart, Germany. |
| 03/13 - 01/18 | Chief Consultant "Agile Development" and Corporate Setting Owner with Robert Bosch GmbH, Stuttgart, Germany. |
| 06/00 - 02/13 | Several software engineering and management positions with the ETAS Group, Stuttgart, Germany, part of the Bosch Group. From 04/10 on, Head of Project Management for all product engineering projects. Previously, Product Line Manager for Software Engineering Tools, responsible for overall software development of the ASCET and INTECRIO product families for the development of embedded software and production code generation for automotive embedded control units. |
| 03/00 - 05/00 | Consultant with eCommerce start-up. |
| 02/00 | PhD exam leading to Dr. sc. techn. degree. Thesis awarded the ETH Medal. |
| 04/97 - 05/00 | Research assistant at the Computer Engineering and Networks Lab (TIK) at the Swiss Federal Institute of Technology (ETH) Zurich, Switzerland, in conjunction with doctorate supervised by Prof. Dr.-Ing. Thiele. |
| 04/95 - 03/97 | Student research assistant at the Computer Science Research Center (FZI), Karlsruhe, Germany, Electronic Systems and Microsystems (ESM) Research Department, headed by Prof. Dr.-Ing. Mueller-Glaser. |
| 10/92 - 03/97 | Studies of Electrical Engineering at the University of Karlsruhe (today: Karlsruhe Institute of Technology, KIT), Germany, course of study "Information Processing Technology" (today "Systems Engineering") at the Institute for Information Processing Technology (ITIV). At the same time student teaching assistant and several jobs and internships, e.g., at Tecmath, Opel, and Isdata. Received Dipl.-Ing. degree (with distinction), corresponding to MS.
1995 admission to the Siemens International Students Circle. Received the 1994/95 Kronmueller Award of the Institute of Process Measurement and Control Technology, the 1997 Award of the Faculty of Electrical Engineering, and the 1997 Siemens Information and Communication Award. |
| [...] |
Journals |
||||||
| [STG+01] | Karsten Strehl, Lothar Thiele, Matthias Gries, Dirk Ziegenbein, Rolf Ernst, and Juergen Teich: FunState - An Internal Design Representation for Codesign. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 9(4):524-544, August 2001. [Postscript, gzip'ed, 406 K] [Postscript, raw, 1.26 M] |
|||||
| [TTS00] | Lothar Thiele, Juergen Teich, and Karsten Strehl: Regular State Machines. Journal of Parallel Algorithms and Applications, Special Issue on Advanced Regular Array Design, 15:265-300, 2000. [Postscript, gzip'ed, 393 K] [Postscript, raw, 1.24 M] |
|||||
| [ST00] | Karsten Strehl and Lothar Thiele: Interval Diagrams for Efficient Symbolic Verification of Process Networks. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 19(8):939-956, August 2000. [Postscript, gzip'ed, 361 K] [Postscript, raw, 1.59 M] |
|||||
Proceedings |
||||||
| [HJR+05] | Christian Haubelt, Marek Jersak, Kai Richter, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Lothar Thiele, and Juergen Teich: SPI-Workbench - Modellierung, Analyse und Optimierung. Proceedings of INFORMATIK 2005 - Informatik LIVE!, Bonn, Germany, pages 693-697, September 19-22, 2005. [PDF, raw, 1.16 M] |
|||||
| [JZW+00] | Marek Jersak, Dirk Ziegenbein, Fabian Wolf, Rolf Ernst, Frank Cieslok, Juergen Teich, Karsten Strehl, and Lothar Thiele: Embedded System Design Using the SPI Workbench. Proceedings of the Forum on Design Languages (FDL 2000), Tübingen, Germany, September 4-8, 2000. [Postscript, gzip'ed, 269 K] [Postscript, raw, 3.72 M] |
|||||
| [MTSS00] | Claudio Moraga, Karl-Heinz Temme, Karsten Strehl, and Radomir Stankovic: Decision Diagrams Applied to Mamdani Fuzzy Systems. Proceedings of the International Workshop on Spectral Transforms and Logic Design for Future Digital Systems (SPECLOG 2000), Tampere, Finland, invited paper, June 2-3, 2000. [Postscript, gzip'ed, 89.3 K] [Postscript, raw, 685 K] |
|||||
| [SMTS00] | Karsten Strehl, Claudio Moraga, Karl-Heinz Temme, and Radomir Stankovic: Fuzzy Decision Diagrams for the Representation, Analysis, and Optimization of Rule Bases. Proceedings of the 30th International Symposium on Multiple-Valued Logic (ISMVL 2000), Portland, Oregon, pages 127-132, May 23-25, 2000. [Postscript, gzip'ed, 88.5 K] [Postscript, raw, 556 K] |
|||||
| [Str99] | Karsten Strehl: Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification. Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA '99), Hong Kong, pages 488-491, December 13-15, 1999. [Postscript, gzip'ed, 87.6 K] [Postscript, raw, 372 K] |
|||||
| [TSZ+99] | Lothar Thiele, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, and Juergen Teich: FunState - An Internal Design Representation for Codesign. Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD-99), San Jose, California, pages 558-565, November 7-11, 1999. [Postscript, gzip'ed, 279 K] [Postscript, raw, 889 K] |
|||||
| [ST99b] | Karsten Strehl and Lothar Thiele: Interval Diagram Techniques and Their Applications. Proceedings of the 8th International Workshop on Post-Binary ULSI Systems, Freiburg im Breisgau, Germany, invited paper, pages 23-24, May 19, 1999. [Postscript, gzip'ed, 40.8 K] [Postscript, raw, 138 K] |
|||||
| [STZ+99] | Karsten Strehl, Lothar Thiele, Dirk Ziegenbein, Rolf Ernst, and Juergen Teich: Scheduling Hardware/Software Systems Using Symbolic Techniques. Proceedings of the 7th International Workshop on Hardware/Software Codesign (CODES '99), Rome, Italy, pages 173-177, May 3-5, 1999. [Postscript, gzip'ed, 181 K] [Postscript, raw, 657 K] |
|||||
| [ST99a] | Karsten Strehl and Lothar Thiele: Interval Diagram Techniques for Symbolic Model Checking of Petri Nets. Proceedings of the Design, Automation and Test in Europe Conference (DATE99), Munich, Germany, pages 756-757, March 9-12, 1999. [Postscript, gzip'ed, 39.3 K] [Postscript, raw, 200 K] |
|||||
| [ST98b] | Karsten Strehl and Lothar Thiele: Symbolic Model Checking of Process Networks Using Interval Diagram Techniques. Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD-98), San Jose, California, pages 686-692, November 8-12, 1998. [Postscript, gzip'ed, 109 K] [Postscript, raw, 464 K] |
|||||
Technical Reports |
||||||
| [SMTS99] | Karsten Strehl, Claudio Moraga, Karl-Heinz Temme, and Radomir Stankovic: Fuzzy Decision Diagrams for the Representation, Analysis, and Optimization of Rule Bases. Technical Report TIK-77, Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich, Gloriastrasse 35, CH-8092 Zurich, September 1999. [Postscript, gzip'ed, 113 K] [Postscript, raw, 999 K] |
|||||
| [STZE99] | Karsten Strehl, Lothar Thiele, Dirk Ziegenbein, and Rolf Ernst: Scheduling Hardware/Software Systems Using Symbolic Techniques. Technical Report TIK-67, Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich, Gloriastrasse 35, CH-8092 Zurich, January 1999. [Postscript, gzip'ed, 270 K] [Postscript, raw, 987 K] |
|||||
| [Str98] | Karsten Strehl: Using Interval Diagram Techniques for the Symbolic Verification of Timed Automata. Technical Report TIK-53, Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich, Gloriastrasse 35, CH-8092 Zurich, July 1998. [Postscript, gzip'ed, 157 K] [Postscript, raw, 629 K] |
|||||
| [ST98a] | Karsten Strehl and Lothar Thiele: Symbolic Model Checking Using Interval Diagram Techniques. Technical Report TIK-40, Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich, Gloriastrasse 35, CH-8092 Zurich, February 1998. [Postscript, gzip'ed, 308 K] [Postscript, raw, 1.41 M] |
|||||
| [TTN+98] | Lothar Thiele, Juergen Teich, Martin Naedele, Karsten Strehl, and Dirk Ziegenbein: FunState – Functions Driven by State Machines, aka SCF – State Machine Controlled Flow Diagrams. Technical Report TIK-33, Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich, Gloriastrasse 35, CH-8092 Zurich, January 1998. [Postscript, gzip'ed, 158 K] [Postscript, raw, 578 K] |
|||||
Miscellaneous |
||||||
| [Str00] | Karsten Strehl: Symbolic Methods Applied to Formal Verification and Synthesis in Embedded Systems Design. PhD thesis, Swiss Federal Institute of Technology (ETH) Zurich, February 17, 2000. Diss. ETH No. 13572. Supervised by Lothar Thiele and Rolf Ernst. Awarded the ETH Medal. Published as: TIK Publications Series No. 36, Shaker Verlag, Aachen, Germany, ISBN 3-8265-7193-2, March 2000. [Postscript, gzip'ed, 1.59 M] [Postscript, raw, 5.60 M] |
|||||
| [Str97] | Karsten Strehl: Design and Implementation of a Predictive, Optimistic Synchronization Kernel for the Cosimulation Environment SimBa. Diploma thesis, Electronic Systems and Microsystems (ESM) Research Department, Computer Science Research Center (FZI), Karlsruhe, and Institute for Information Processing Technology (ITIV), University of Karlsruhe, March 1997. Awarded the 1997 Siemens Information and Communication Award. |
|||||
| [Str96] | Karsten Strehl: Design and Implementation of the Coupling of the CASE Tool Statemate to the Cosimulation Environment SimBa. Term paper, Electronic Systems and Microsystems (ESM) Research Department, Computer Science Research Center (FZI), Karlsruhe, and Institute for Information Processing Technology (ITIV), University of Karlsruhe, July 1996. |
|||||
| [Str93] | Karsten Strehl: Fields. A program for the calculation and simulation of particle trajectories. CoMet, Publishers for Educational Software, Duisburg, later: Cornelsen Software, Berlin, 1993. ISBN 3-89418-717-4. |
|||||