Inhaltsverzeichnis

Ehemaliger Mitarbeiter (08/2003 - 12/2005)

Prof. Dr. Karsten Wolf, geb. Schmidt (Privatdozent)

wissenschaftlicher Mitarbeiter am Lehrstuhl Theorie der Programmierung

Adresse Humboldt-Universität zu Berlin
Institut für Informatik
Unter den Linden 6
10099 Berlin
Sitz Humboldt-Universitiät zu Berlin
Institut für Informatik
Haus IV, 4. Etage, Raum 412

Rudower Chaussee 25
12489 Berlin
Sprechstunde
Telefon +49 30 2093-3083
Fax +49 30 2093-3067
E-Mail kschmidt @ informatik.hu-berlin.de

Lehrveranstaltungen

Lebenslauf

Sep. 1988 -
Apr. 1993 		Studium der Informatik an der Humboldt-Universität zu Berlin;
Abschluß als Diplom-Informatiker
Mai 1993 -
Apr. 1996 		Wiss. Mitarbeiter bei Prof. Starke (Gebiet Automaten und Systemtheorie) an der Humboldt-Universität zu Berlin, Promotion zum Dr. rer. nat.
Mai 1996 -
Dez. 1996 		Stipendiat des DAAD , später Forscher im Digital Systems Laboratory der Helsinki University of Technology
Jan. 1997 -
Sep. 1997 		Postdoc.-Stipendiat im Graduiertenkolleg Spezifikation diskreter Prozesse und Prozeßsysteme durch operationelle Modelle und Logiken an der TU Dresden
Okt. 1997 -
Nov. 2003 		Wiss. Mitarbeiter bei Prof. Starke (Gebiet Automaten und Systemtheorie) an der Humboldt-Universität zu Berlin
Okt. 2000 -
Okt. 2001 		Visiting researcher bei Prof. Ed Clarke an der Carnegie Mellon University Pittsburgh PA, School of Computer Science
Okt. 2002 -
Jul. 2003 		Vertretung des Gebiets Automaten und Systemtheorie als Gastdozent/Gastprofessor am Institut für Informatik der Humboldt-Universität zu Berlin
Nov. 2002 Habilitation im Fach Informatik
Jul. 2003 Verleihung der Lehrbefugnis
seit Nov. 2003 Wiss. Mitarbeiter am Lehrstuhl

Forschungsprojekte

  • Petrinetze * Explizite Zustandsraumanalyse mit leistungsfähigen Reduktionstechniken für Low-Level-Petrinetze: LoLA * Verifikation von Real-Time-Systemen
  • Verifikation von Web-Services

Publikationen

Pflichtarbeiten

  • Karsten Schmidt:

Implementation der Umgebung eines Programms zur Prüfung und Berechnung von Invarianten algebraischer Petri-Netze. Diplomarbeit. Humboldt-Universität zu Berlin, Fachbereich Informatik (1993). 82 Seiten.

  • Karsten Schmidt:

Symbolische Analysemethoden für algebraische Petri-Netze.

  • Karsten Schmidt:

Explicit State Space Verification.

Publikationen in Zeitschriften (begutachtet)

Konferenzbeiträge (mit Begutachtungsprozess)

  • Karsten Schmidt:
    On the Computation of Place Invariants for Algebraic Petri Nets. In J. Desel (Ed.): Workshop on Structures in Concurrency Theory (STRICT), Berlin (1995), pp. 310-325. Workshops in Computing. Springer.
  • Karsten Schmidt:
    Parameterized Reachability Trees for Algebraic Petri Nets. In G. de Michelis, M. Diaz (Eds.): Proc. 16th Int. Conf. Application and Theory of Petri Nets, Torino, Italy (1995), pp. 392-411. Lecture Notes in Computer Science 935, Springer.

Beiträge auf Workshops (ohne Begutachtung); Technische Berichte

  • Karsten Schmidt und Peter Starke:
    An Algorithm to Compute the Symmetries of Petri Nets. In: Petri Net Newsletter 40 (1991), pp. 25-30.
  • Karsten Schmidt:
    Symmetries of Petri Nets. Workshop Concurrency, Specification and Programming, Berlin (1992). In: Petri Net Newsletter 43 (1993), pp. 9-25.
  • Karsten Schmidt:
    Computation of Invariants for Algebraic Petri Nets. In H.-D. Burkhard, L. Czaja, P. Starke (Eds.): Workshop on Concurrency, Specification and Programming, Nieborow (1993), pp. 196-218.
  • Karsten Schmidt:
    Symmetries of Petri Nets. Informatik-Bericht 33, Humboldt-Universität zu Berlin (1994)
  • Karsten Schmidt: T-Invariants of Algebraic Petri Nets. Informatik-Bericht 31, Humboldt-Universität zu Berlin (1994).
  • Karsten Schmidt:
    Symbolische Analysemethoden für algebraische Petri-Netze. In J. Desel, A. Oberweis, W. Reisig (Eds.): Workshop Algorithmen und Werkzeuge für Petrinetze, Berlin (1994), pp. 55-60.
  • Karsten Schmidt:
    Parameterized Reachability Trees for Algebraic Petri Nets. In L. Czaja, H,-D. Burkhard, P. Starke (Eds.): Workshop Concurrency, Specification and Programming, Berlin (1994), pp. 90-99.
  • Karsten Schmidt:
    Symmetry Calculation. Workshop on Concurrency, Specification and Programming, Warsaw (1995). pp. 147 - 162
  • Karsten Schmidt:
    Symmetrieberechnung. Workshop Algorithmen und Werkzeuge für Petri-Netze, Oldenburg (1995).
  • Karsten Schmidt:
    Siphons and Traps for Algebraic Petri nets.
  • Karsten Schmidt:
    Ein Verfahren zur Verifikation von „Immer möglich“ und „Möglich, daß immer“-Eigenschaften.
  • Karsten Schmidt:
    How to Calculate Symbolically Siphons and Traps of Algebraic Petri Nets.
  • Karsten Schmidt:
    Modelchecking with Coverability Graphs.
  • Karsten Schmidt:
    Applying Reduction Rules to Algebraic Petri nets.
  • Karsten Schmidt:
    Modelchecking on Symbolic Reachability Graphs of Petri nets.
  • Karsten Schmidt:
    Goal-Oriented Stubborn Sets.
  • Klaus-Peter Neuendorf, Karsten Schmidt, Dimitris Kiritsis, Paul Xirouchakis:
    Workflow Modelling and Analysis with Chameleon Nets
  • Karsten Schmidt:
    Symmetrien in der Erreichbarkeitsanalyse.
  • Karsten Schmidt:
    Stubborn Sets for Modelchecking the EF/AG-Fragment of CTL.
  • Karsten Schmidt:
    LoLA wird Pfadfinder.
  • Karsten Schmidt:
    Integrating Low Level Symmetries into Reachability Analysis.
  • Karsten Schmidt:
    Flexible net Inscriptions with LoLA.
  • Karsten Schmidt:
    Narrowing the state space of Petri nets using the state equation.
  • Karsten Schmidt:
    Using invariants for state space reduction.
  • K. Schmidt and Ch. Stahl
    A Petri net semantic for BPEL4WS - validation and application.
  • K. Schmidt:
    Distributed Usability of Web Services.
  • P. Massuthe, K. Schmidt:
    Operating Guidelines - an Alternative to Public View.
  • W. Reisig, K. Schmidt, Ch. Stahl:
    Verteilte Geschäftsprozesse modellieren und analysieren.