Former Group Member (08/2003 - 12/2005)

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

Research associate at the Theory of Programming group.

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

Rudower Chaussee 25
12489 Berlin
Germany
Sprechstunde please contact (e-mail preferred)
Telefon +49 30 2093-3083
Fax +49 30 2093-3067
E-Mail kschmidt @ informatik.hu-berlin.de

Lectures

Curriculum Vitae

Sep. 1988 -
Apr. 1993
Student of Computer Science at the Humboldt-Universität zu Berlin
Mai 1993 -
Apr. 1996
Assistent to Prof. Starke (Group Automata und Information Systems) at Humboldt-Universität zu Berlin
Mai 1996 -
Dez. 1996
Scholarship founded by German Academic Exchange Service (DAAD), later Researcher at Digital Systems Laboratory of Helsinki University of Technology
Jan. 1997 -
Sep. 1997
Scholarship within the Postgraduate program Specification of discrete processes and systems of processes by operational models and logics at University of Technology in Dresden
Okt. 1997 -
Nov. 2003
Assistent to Prof. Starke (Group Automata und Information Systems]) at [[http://www.rz.hu-berlin.de/indexe.html|Humboldt-Universität zu Berlin
Okt. 2000 -
Okt. 2001
Visiting research scholar to Prof. Ed Clarke at Carnegie Mellon University Pittsburgh PA, School of Computer Science
Okt. 2002 -
Jul. 2003
Guest Professor for Automata and Information Systems at Humboldt-University Berlin
since Nov. 2003 research assistant at the chair

Research Projects

  • Analysis tool for low level Petri nets: LoLA
  • verification of real time systems
  • verification of web services

Publications

obligated work

  • 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.

Publications in journals (peer-reviewed)

Conference paper (peer-reviewed)

  • 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.

Papers for Workshops (non peer-reviewed); Technical Reports

  • 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.