%%% ==================================================================== %%% BibTeX-file{ %%% author = "Karsten Strehl", %%% version = "1.03", %%% date = "25 November 2011", %%% time = "16:12:09 MDT", %%% filename = "strehl-karsten.bib", %%% address = " %%% ", %%% telephone = "?n/a?", %%% FAX = "?n/a?", %%% checksum = "64027 206 895 8894", %%% email = "strehl at computer.org (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "", %%% license = "public domain", %%% supported = "yes", %%% docstring = "This is a bibliography of publications of %%% Karsten Strehl. The companion LaTeX file %%% strehl-karsten.ltx can be used to typeset %%% this bibliography. %%% %%% At version 1.03, the year coverage looked %%% like this: %%% %%% 1993 ( 1) 1996 ( 1) 1999 ( 3) %%% 1994 ( 0) 1997 ( 1) %%% 1995 ( 0) 1998 ( 4) %%% %%% Book: 1 %%% InProceedings: 3 %%% MastersThesis: 1 %%% TechReport: 5 %%% %%% Total entries: 10 %%% %%% This file is available as part of the BibNet %%% Project. The master copy is available for %%% public access on ftp.math.utah.edu in the %%% directory tree /pub/bibnet/authors. It is %%% mirrored to netlib.bell-labs.com in the directory %%% tree /netlib/bibnet/authors, from which it is %%% available via anonymous ftp and the Netlib %%% service. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== @Book{Strehl:1993:FEP, author = "Karsten Strehl", title = "Fields. {{\em A program for the calculation and simulation of particle trajectories}}", publisher = "CoMet, Publishers for Educational Software, Duisburg, later: Cornelsen Software, Berlin", year = "1993", ISBN = "3-89418-717-4", ISBN-13 = "978-3-89418-717-0", bibdate = "Tue Dec 22 10:35:58 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib", } @TechReport{Strehl:1996:DIC, author = "Karsten Strehl", title = "Design and Implementation of the Coupling of the {CASE} Tool {Statemate} to the Cosimulation Environment {SimBa}", type = "Term paper", institution = "Electronic Systems and Microsystems (ESM) Research Department, Computer Science Research Center (FZI), Karlsruhe, and Institute for Information Processing Technology (ITIV), University of Karlsruhe", month = jul, year = "1996", bibdate = "Tue Dec 22 10:36:00 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib", } @MastersThesis{Strehl:1997:DIP, author = "Karsten Strehl", title = "Design and Implementation of a Predictive, Optimistic Synchronization Kernel for the Cosimulation Environment {SimBa}", type = "Diploma thesis", school = "Electronic Systems and Microsystems (ESM) Research Department, Computer Science Research Center (FZI), Karlsruhe, and Institute for Information Processing Technology (ITIV), University of Karlsruhe", month = mar, year = "1997", bibdate = "Tue Dec 22 10:36:00 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib", } @TechReport{Strehl:1998:SMCa, author = "Karsten Strehl and Lothar Thiele", title = "Symbolic Model Checking Using Interval Diagram Techniques", type = "Technical Report", number = "40", institution = "Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich", address = "Gloriastrasse 35, CH-8092 Zurich", month = feb, year = "1998", bibdate = "Tue Dec 22 10:36:00 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib", } @InProceedings{Strehl:1998:SMCb, author = "Karsten Strehl and Lothar Thiele", booktitle = "Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD-98)", title = "Symbolic Model Checking of Process Networks Using Interval Diagram Techniques", address = "San Jose, California", pages = "686--692", day = "8--12", month = nov, year = "1998", bibdate = "Tue Dec 22 10:36:00 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib", } @TechReport{Strehl:1998:UID, author = "Karsten Strehl", title = "Using Interval Diagram Techniques for the Symbolic Verification of Timed Automata", type = "Technical Report", number = "53", institution = "Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich", address = "Gloriastrasse 35, CH-8092 Zurich", month = jul, year = "1998", bibdate = "Tue Dec 22 10:36:00 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib", } @TechReport{Thiele:1998:SSM, author = "Lothar Thiele and J{\"u}rgen Teich and Martin Naedele and Karsten Strehl and Dirk Ziegenbein", title = "{SCF}---State Machine Controlled Flow Diagrams", type = "Technical Report", number = "33", institution = "Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich", address = "Gloriastrasse 35, CH-8092 Zurich", month = jan, year = "1998", bibdate = "Tue Dec 22 10:36:00 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib", } @InProceedings{Strehl:1999:IDT, author = "Karsten Strehl and Lothar Thiele", booktitle = "Proceedings of the Design, Automation and Test in Europe Conference (DATE99)", title = "Interval Diagram Techniques for Symbolic Model Checking of {Petri} nets", address = "Munich, Germany", day = "9--12", month = mar, year = "1999", bibdate = "Tue Dec 22 10:36:00 1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib", } @TechReport{Strehl:1999:SHSa, author = "Karsten Strehl and Lothar Thiele and Dirk Ziegenbein and Rolf Ernst", title = "Scheduling Hardware\slash Software Systems Using Symbolic Techniques", type = "Technical Report", number = "TIK-67", institution = "Computer Engineering and Networks Lab (TIK), Swiss Federal Institute of Technology (ETH) Zurich", address = "Gloriastrasse 35, CH-8092 Zurich", month = Jan, year = "1999", bibdate = "Tue Feb 19 19:50:00 1999", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib", } @InProceedings{Strehl:1999:SHSb, author = "Karsten Strehl and Lothar Thiele and Dirk Ziegenbein and Rolf Ernst", booktitle = "Proceedings of the 7th International Workshop on Hardware/Software Codesign (CODES'99), Rome, Italy, 3--5 May, 1999", title = "Scheduling Hardware\slash Software Systems Using Symbolic Techniques", publisher = "????", address = "????", pages = "??--??", year = "1999", ISBN = "????", LCCN = "????", bibdate = "Tue Feb 19 19:50:00 1999", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/s/strehl-karsten.bib", }